范超,阳小华,闫仕宇,吴取劲,李萌.一种似然蜕变关系动态发现工具设计[J].南华大学学报(自然科学版),2018,32(2):81~86.[FAN Chao,YANG Xiao-hua,YAN Shi-yu,WU Qu-jing,LI Meng.Design of a Dynamic Discovery Tool for Likely Metamorphic Relation[J].Journal of University of South China(Science and Technology),2018,32(2):81~86.] |
一种似然蜕变关系动态发现工具设计 |
Design of a Dynamic Discovery Tool for Likely Metamorphic Relation |
投稿时间:2018-01-24 |
DOI: |
中文关键词: 蜕变测试 蜕变关系 似然蜕变关系 算法实现 |
英文关键词:metamorphic testing metamorphic relation likely metamorphic relations algorithm implementation |
基金项目:湖南省教育厅科学研究项目(16C1379);衡阳市科技计划项目(2017KJ273) |
作者 | 单位 | 范超 | 1.南华大学 计算机学院,湖南 衡阳 421001 2.中核集团高可信计算重点学科实验室,湖南 衡阳 421001 | 阳小华 | 1.南华大学 计算机学院,湖南 衡阳 421001 2.中核集团高可信计算重点学科实验室,湖南 衡阳 421001 | 闫仕宇 | 1.南华大学 计算机学院,湖南 衡阳 421001 2.中核集团高可信计算重点学科实验室,湖南 衡阳 421001 | 吴取劲 | 1.南华大学 计算机学院,湖南 衡阳 421001 2.中核集团高可信计算重点学科实验室,湖南 衡阳 421001 | 李萌 | 1.南华大学 计算机学院,湖南 衡阳 421001 2.中核集团高可信计算重点学科实验室,湖南 衡阳 421001 |
|
摘要点击次数: 741 |
全文下载次数: 549 |
中文摘要: |
蜕变测试技术认为,测试中成功的测试用例可为构造蜕变关系提供有价值的信息,而似然蜕变关系的动态发现方法是根据已经成功运行的测试数据来发现蜕变关系的启发信息,基于一种似然蜕变关系发现算法的基本框架,进一步具体设计和实现算法,且开发相应的工具,实验表明该算法的可行性及工具的实用性. |
英文摘要: |
The technology of metamorphic testing considers that the successful test cases can provide valuable information for constructing the metamorphic relation,and the likely metamorphic relations dynamic discovery method can discover the heuristic information of the metamorphic relation based on the test data that has been successfully operated.Based on a dynamic likely metamorphic relations discovery algorithm,this paper designs and implements the corresponding tools,and verifies the feasibility of the algorithm through an example. |
查看全文 查看/发表评论 下载PDF阅读器 |
关闭 |
|
|
|