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

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