基于模型的联锁软件测试用例生成方法

联锁软件测试是保证联锁安全的重要手段之一，为解决联锁软件测试通用性不强，人工消耗过大的问题，提出一种通用联锁软件测试用例生成方法。结合计算机联锁技术条件、分析软件的功能需求将其转化为工具可识别的状态对象，并对识别的状态进行划分，形成若干四元组合，生成联锁状态转换的树形网状结构。通过对建立的树形网状结构解析，得到结构中若干四元组合的源状态、联锁条件和目标状态，生成抽象的测试用例，并根据预先写好定义的输入对每一组抽象用例进行反推，最后生成一系列的具体可执行的测试用例。该方法生成的用例可覆盖已知场景的所有联锁测试功能，减少人工编写用例时间，同时减少人为因素导致用例出错的概率，提高测试可靠性。