仪器仪表学报

作者：盛云龙，魏长安，刘玉奇，姜守达

单位：盛云龙,哈尔滨工业大学自动化测试与控制研究所哈尔滨150080,,魏长安,哈尔滨工业大学自动化测试与控制研究所哈尔滨150080,,刘玉奇,哈尔滨工业大学自动化测试与控制研究所哈尔滨150080,,姜守达,哈尔滨工业大学自动化测试与控制研究所哈尔滨150080,

关键词：软件测试;序列测试;时序约束;约束描述;目标评价

时序约束的描述是测试序列生成前必须面对的问题，但是目前还没有完善的方法能够对时序约束进行描述，为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间，使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题，通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模，验证了建模方法的有效性和可行性。

来源：2019年第6期

《仪器仪表学报》期刊编辑部

查看仪器仪表学报杂志2019年第6期