1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems最新文献

State-based reproducible testing for CORBA applications 针对CORBA应用程序的基于状态的可重复测试

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779736

Hwan Wook Sohn, D. Kung, P. Hsia

{"title":"State-based reproducible testing for CORBA applications","authors":"Hwan Wook Sohn, D. Kung, P. Hsia","doi":"10.1109/PDSE.1999.779736","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779736","url":null,"abstract":"Reproducible testing approaches have been developed for traditional concurrent programs for over a decade to provide a deterministic way of testing, but those approaches are generally based on the control structure of the program. However in recently revitalized component based software development, state-based testing is more important than control structure based testing because such components are usually implemented using the object-oriented paradigm. We propose a dynamic state-based reproducible testing approach for a component software that each component can change the system state nondeterministically during the concurrent execution in a Common Object Request Broker Architecture (CORBA) environment. We use a replay controller for a given state sequence from a statechart-like model of each component. The replay controller is designed to force the order of the program's execution based on the given state sequence. Unlike the static state analysis of a program, our approach dynamically executes the actual program components under the control of the replay controller for a selected state sequence. With this state-based reproducible testing approach, testers can detect state behavioral errors of a component software dynamically and deterministically.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116524917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 18

Building test cases for use in hypersequential programming 构建用于超顺序编程的测试用例

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779753

Chris Rudram, P. Croll, N. Uchihira

引用次数: 1

Symphony: a Java-based composition and manipulation framework for distributed legacy resources Symphony:用于分布式遗留资源的基于java的组合和操作框架

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779734

Ashish Shah, D. Kafura

引用次数: 15

Building mobile agent applications in HiMAT 在HiMAT中构建移动代理应用

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779749

M. Cremonini, Andrea Omicini, F. Zambonelli

引用次数: 6

Component-based development and verification of safety critical software for a brake-by-wire system with synchronous software components 基于组件的线控制动系统安全关键软件的开发与验证

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779745

M. Gunzert, A. Nägele

引用次数: 33

Multithreaded dependence graphs for concurrent Java programs 并发Java程序的多线程依赖关系图

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779735

Jianjun Zhao

引用次数: 45

Deadlock analysis of synchronous message-passing programs 同步消息传递程序的死锁分析

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779739

Jun Zhou, K. Tai

{"title":"Deadlock analysis of synchronous message-passing programs","authors":"Jun Zhou, K. Tai","doi":"10.1109/PDSE.1999.779739","DOIUrl":"https://doi.org/10.1109/PDSE.1999.779739","url":null,"abstract":"Reachability analysis of a concurrent program involves the derivation of states of the program and the detection of deadlocks and other types of faults. To perform reachability analysis of a concurrent program P, the number of instances of each process type in P needs to be determined. How to select such numbers for P is a difficult issue. If these numbers are large, reachability analysis of P needs huge memory and very long CPU time. If these numbers are small, we have little confidence on whether P is deadlock-free for larger numbers of instances of process types in P. A deadlock cutoff number C for a process type T in P means that if under certain conditions P with C instances of T has no deadlocks, then P has no dead locks for any number of instances of T. We describe methods for finding deadlock cutoff numbers for three types of synchronous message-passing programs. Our methods are based on the theory of Milner's CCS. By applying these methods, the effort for detecting deadlocks in many synchronous message-passing programs can be significantly reduced. Empirical results of applying our methods to solutions to the dining philosophers and readers and writers problems are presented.","PeriodicalId":373753,"journal":{"name":"1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems","volume":"180 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133692219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 13

Evaluation of a methodology for the reverse engineering and parallelization of sequential code 评价逆向工程和顺序代码并行化的方法

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779744

P. Andersen, Joseph Pizzi, Runlin Zhu, Youling Cao, D. Bagert, J. Antonio, Fred Lott, John C. Grieger

引用次数: 5

Specifying and analysing distributed object-oriented systems 指定和分析分布式面向对象系统

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779737

M. Frey, M. Podolsky

引用次数: 0

Automated test sequence generation using sequencing constraints for concurrent programs 使用并行程序的序列约束自动生成测试序列

1999 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems Pub Date : 1999-05-17 DOI: 10.1109/PDSE.1999.779742

B. Karaçali, K. Tai

引用次数: 16