摘要
针对面向对象软件类级测试中蜕变关系构造不充分的问题,提出一种由错误类型指导面向对象程序蜕变关系构造的方法。首先分析类方法中包含的基本操作,根据错误发生位置和作用效果将错误分成3类;其次按照执行效果的不同将类中方法分成两类;再针对错误类型对每个方法分别构造蜕变关系;最后通过Rectangle类的实验对比该方法与其他方法。实验证明提出的由错误类型指导蜕变关系构造的方法的检错率有所提高,并且有助于错误定位。
To solve the question of insufficiency in object-oriented metamorphic relations constructing,a method of metamorphic relations constructing for object-oriented software testing based on error types was proposed.Firstly,the basic operations in every method are analyzed and the faults are divided into three categories according to the location where errors occurred and the effect of errors.Then,the methods can be divided into two types according to the effect of implementation.Metamorphic relations are constructed for each method of every error type.Finally,we compared this method with other methods through the experiment of Rectangle.Experiment results show that new metamorphic relation construction method guided by error type has improved in the error detection rate and is helpful for finding fault location.
出处
《计算机科学》
CSCD
北大核心
2017年第B11期485-489,515,共6页
Computer Science
基金
国家自然科学基金项目(61402525)
河南省科技攻关项目(162102210184)资助
关键词
软件测试
蜕变测试
蜕变关系
变异测试
Software testing
Metamorphic testing
Metamorphic relation
Mutation testing
