典型文献
基于模型的联锁软件测试用例生成方法
文献摘要：
联锁软件测试是保证联锁安全的重要手段之一,为解决联锁软件测试通用性不强,人工消耗过大的问题,提出一种通用联锁软件测试用例生成方法.结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象,并对识别的状态进行划分,形成若干四元组合,生成联锁状态转换的树形网状结构.通过对建立的树形网状结构解析,得到结构中若干四元组合的源状态、联锁条件和目标状态,生成抽象的测试用例,并根据预先写好定义的输入对每一组抽象用例进行反推,最后生成一系列的具体可执行的测试用例.该方法生成的用例可覆盖已知场景的所有联锁测试功能,减少人工编写用例时间,同时减少人为因素导致用例出错的概率,提高测试可靠性.
文献关键词：
模型;树形网状结构;状态转换;测试用例
中图分类号：
作者姓名：
彭丽维;宋鹏飞;江雪莹;谢林
作者机构：
卡斯柯信号(成都)有限公司,成都 610083;卡斯柯信号有限公司,上海 200071
文献出处：
引用格式：
[1]彭丽维;宋鹏飞;江雪莹;谢林-.基于模型的联锁软件测试用例生成方法)[J].铁路通信信号工程技术,2022(11):32-36
A类：
树形网状结构
B类：
基于模型,软件测试,测试用例生成,生成方法,通用性,人工消耗,计算机联锁,技术条件,功能需求,四元组,状态转换,结构解析,反推,人为因素,致用,出错
AB值：
0.203023
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
