Evolutionary Testing of Unstructured Programs Using a Testability Transformation Approach

Sheng Jiang, Yansheng Lu
{"title":"Evolutionary Testing of Unstructured Programs Using a Testability Transformation Approach","authors":"Sheng Jiang, Yansheng Lu","doi":"10.1109/FCST.2008.21","DOIUrl":null,"url":null,"abstract":"Evolutionary testing is an effective technique for automatically generating good quality test data. However, under the Node-Orient criterion, the technique is hindered by the presence of unstructured control flow within loops, this is because the control dependence is effectively ignored by the fitness function. In this paper a method of testability transformation is proposed in order to circumvent the problem, the approach is a source-to-source transformation that aims to improve the performance of evolutionary testing for unstructured programs. An experimental study is then presented, which shows the power of the approach, comparing evolutionary search with transformed and untransformed versions of two programs, the results show that our new fitness calculation rule could effectively guide evolutionary search to successsfully find the required test data at low cost.","PeriodicalId":206207,"journal":{"name":"2008 Japan-China Joint Workshop on Frontier of Computer Science and Technology","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Japan-China Joint Workshop on Frontier of Computer Science and Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FCST.2008.21","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Evolutionary testing is an effective technique for automatically generating good quality test data. However, under the Node-Orient criterion, the technique is hindered by the presence of unstructured control flow within loops, this is because the control dependence is effectively ignored by the fitness function. In this paper a method of testability transformation is proposed in order to circumvent the problem, the approach is a source-to-source transformation that aims to improve the performance of evolutionary testing for unstructured programs. An experimental study is then presented, which shows the power of the approach, comparing evolutionary search with transformed and untransformed versions of two programs, the results show that our new fitness calculation rule could effectively guide evolutionary search to successsfully find the required test data at low cost.
基于可测试性转换方法的非结构化程序演化测试
进化测试是一种自动生成高质量测试数据的有效技术。然而,在节点导向准则下,由于适应度函数有效地忽略了控制依赖性,因此环路内存在非结构化控制流,阻碍了该技术的发展。本文提出了一种可测试性转换方法来规避这一问题,该方法是一种旨在提高非结构化程序进化测试性能的源到源转换方法。通过将进化搜索与转换后的和未转换后的两个程序进行比较,结果表明,本文提出的适应度计算规则能够有效地指导进化搜索以较低的代价成功地找到所需的测试数据。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信