摘要
针对等级转换场景下的变异测试集不完备问题,提出基于时间自动机(Time Automata,TA)的等级转换场景变异测试研究方法。该方法结合时间自动机理论和等级转换操作流程建立TA模型,同时设计15种变异算子对模型进行变异测试,通过计算加权变异分数评估测试案例集的完备性,并对加权变异分数较低的算子进一步修改补充,最终得到了较为完备的变异测试案例集。
Aiming at the incompleteness of the mutation test set in the level conversion scenario,a TA-based research method for the mutation test of the level conversion scenario was proposed.This method combined the theory of time automata and the operation process of level conversion to establish a TA model.At the same time,15 kinds of mutation operators were designed to perform mutation test on the model.The completeness of the test case set was evaluated by calculating the weighted mutation score,and the operators with lower weighted mutation score were further modified and supplemented.Finally,a relatively complete variation test case set was obtained.
作者
宋莉
李飞
赵瑜
赵健
Song Li;Li Fei;Zhao Yu;Zhao Jian(School of Artificial Intelligence Innovation,Ma’anshan University,Ma’anshan 243199,China;School of Electrical and Information Engineering,Anhui University of Technology,Ma’anshan 243032,China;Hefei Institute of Physical Science,Chinese Academy of Sciences,Hefei 230031,China)
出处
《石家庄铁道大学学报(自然科学版)》
2022年第1期57-63,共7页
Journal of Shijiazhuang Tiedao University(Natural Science Edition)
基金
国家自然科学基金青年基金(61903003)
安徽省教育厅轨道交通自动化重点实验室2020年度重点科研项目(KJ2020A0847,KJ2020A0846)
安徽省自然科学基金青年基金(2008085QE227)
特种重载机器人安徽省重点实验室开放课题(TZJQR001-2021)。