论文研究-面向安全苛求软件的测试用例自动生成.pdf

【文件属性】：

文件名称：论文研究-面向安全苛求软件的测试用例自动生成.pdf

文件大小：1.27MB

文件格式：PDF

更新时间：2022-08-11 16:09:31

安全苛求软件,测试用例自动生成,安全覆盖准则

测试用例的自动生成是验证安全苛求软件最关键的技术问题，然而目前的研究并没有充分考虑安全苛求软件的安全性需求，为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略，将该策略应用于铁路车站计算机连锁软件，并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。