检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:栗晓雪 赵逢禹 LI Xiaoxue;ZHAO Fengyu(School of Optical-Electrical and Computer Engineering,University of Shanghai for Science and Technology,Shanghai 200093,China;Department of Information and Intelligent Engineering,Shanghai Publishing and Printing College,Shanghai 200093,China)
机构地区:[1]上海理工大学光电信息与计算机工程学院,上海200093 [2]上海出版与印刷高等专科学校信息与智能工程系,上海200093
出 处:《智能计算机与应用》2023年第6期142-147,153,共7页Intelligent Computer and Applications
摘 要:随着软件产品的演化频率越来越高,软件的每次修改或集成都需要大量的回归测试,以验证软件维护是否带来了新的问题。针对于回归测试用例集构建的问题,本文提出一套回归测试用例集生成方法,该方法包括回归测试用例集选择与回归测试用例集动态生成两部分。基于已有测试用例集的历史覆盖信息,选择与程序更改相关的测试用例,形成回归测试用例集选择;通过对改动的部分程序进行插桩,并执行回归测试用例选择集以获得其动态执行信息,并基于路径约束表达式的求解,生成了新的测试用例。通过对6个开源程序的实验,验证了所提方法的有效性与合理性。As software products evolve with increasing frequency,each software modification or integration requires extensive regression testing to verify whether software maintenance introduces new problems.Aiming at the problem of regression test case set construction,this paper proposes a regression test case set generation method,which includes two parts:regression test case set selection and regression test case set dynamic generation.Based on the historical coverage information of existing test cases,test cases related to program changes are selected to form regression test case selection.The dynamic execution information of the modified program is obtained by staking and implementing regression test case selection set,and new test cases are generated based on the solution of path constraint expression.The validity and rationality of the proposed method are verified by experiments on six open-source programs.
关 键 词:回归测试用例选择 回归测试用例生成 代码插桩 约束求解
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49