Mutation Analysis Based on Constructed Type Algebra Specification
QU Yu-gui · Dianzi xuebao · 2002
The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing. In this paper,mutation analysis is introduced into the constructed type algebra specification. Several kinds of mutant operators are designed and the method using mutation analysis based on constructed type algebra specification is proposed. This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.