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.