The constructed type algebra specification has been used to specify communication protocols in protocol conformance testing. In this paper

mutation analysis is inlrodaced into the constructed type algebra specification. Several kinds of mntant 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.