A design of a software system can be built top-down in a sequence of refinements, i.e. constrained additions of some detail. If the implementation is developed in parallel, certain faults become impossible. This allows us to reduce the size of a test set dramatically.
The prototype implementation of the testing method has been built and case studies evaluating its applicability to parts of real systems were successful.
The thesis is available as gzipped postscript or as pdf.
|What was wrong||Where corrected|
|The first phase of the Wp method was not using the united Wi sets.||FATES'2002 paper.|
|Missing requirement for interlevel transitions entering AND-states to either terminate at an AND-state boundary or contain a substate of each substate of those AND-states in that transition's set of target states.||SFEDL'2002 paper|