时序约束条件下序列测试建模方法
Modeling method for sequence testing with temporal constraints作者机构：哈尔滨工业大学自动化测试与控制研究所
出 版 物：《仪器仪表学报》 (Chinese Journal of Scientific Instrument)
年 卷 期：2019年第40卷第6期
页 面：213-220页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。
维普期刊数据库
同方期刊数据库