Building test cases for use in hypersequential programming

A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional software engineering practice, which is to ensure that all unwanted behaviours have been removed. We briefly examine the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We conclude that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.

[1]  Cherri M. Pancake,et al.  Where are we headed? , 1991, CACM.

[2]  Shinichi Honiden,et al.  Hypersequential programming: a new way to develop concurrent programs , 1997, IEEE Concurrency.

[3]  Cherri M. Pancake,et al.  Software Support for Parallel Computing: Where Are We headed? , 1991 .

[4]  Charles E. McDowell,et al.  Debugging concurrent programs , 1989, ACM Comput. Surv..

[5]  J. J. Storey.  From memory to monitor-pixel display architectures , 1992 .

[6]  H. Kawata,et al.  Scenario-based hypersequential programming: concept and example , 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

[7]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

[8]  Naoshi Uchihira,et al.  Engineering safe, real-time distributed control systems , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).

[9]  Antti Valmari,et al.  A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..

[10]  Shinichi Honiden,et al.  Hypersequential programming - a novel paradigm for concurrent programming , 1996, Software Engineering for Parallel and Distributed Systems.

[11]  Patrice Godefroid,et al.  Partial-Order Methods for the Verification of Concurrent Systems , 1996, Lecture Notes in Computer Science.