基于TA的等级转换场景变异测试方法研究
  
中文关键词:时间自动机  等级转换  变异测试  测试案例集  
英文关键词:
基金项目:
作者单位
宋莉;李飞;赵瑜;赵健  
摘要点击次数: 400
全文下载次数: 601
中文摘要:
      针对等级转换场景下的变异测试集不完备问题,提出基于时间自动机(Time Automata, TA)的等级转换场景变异测试研究方法。该方法结合时间自动机理论和等级转换操作流程建立TA模型,同时设计15种变异算子对模型进行变异测试,通过计算加权变异分数评估测试案例集的完备性,并对加权变异分数较低的算子进一步修改补充,最终得到了较为完备的变异测试案例集。
英文摘要:
      
宋莉;李飞;赵瑜;赵健.基于TA的等级转换场景变异测试方法研究[J].石家庄铁道大学学报:自然科学版,2022,35(1):57-63.
查看全文  查看/发表评论  下载PDF阅读器
关闭