欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
蜕变测试时经常会出现蜕变关系检错能力低下的情况．基于命题逻辑的推理规则，提出了复合蜕变关系的构造方法，该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系．复合蜕变关系可以把原关系的优点综合起来，具有更强的检错能力．此外，由于将蜕变关系复合后关系数量减少，所以当使用它测试程序时，生成测试用例的数量会大幅度降低．通过2个实例对复合蜕变关系的测试性能进行研究，实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系，以及关系复合的顺序．使用复合蜕变关系可以极大地提高测试效率．
英文摘要：
Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.
同期刊论文项目
同项目期刊论文
An XML query rewriting mechanism with multiple ontologies integration based on complex semantic mapp
期刊信息
位置：