Selective geenration of symmetrical test cases

摘要

In this paper,system symmetries are show n to efficiently reduce the size of the complete test suite requried for checkign the implementation conformance.The reduction is obtained by eliminiating all the symmetical test cases during the geenration of the test suite.The method is applied over the theoretical model of ocnformance testing developed by [Bri88] using the implementation relation conf.In this model,symmetries are defined as bijective renamings of actions which preserve conformance properties,and allow test folding.The symmetries may concern either architectureal propeties,or execution sequenes.or data structures,respectively.By exploiting data or state symmetries,infinite complete test suites may be reduced into ifinite one.