安全苛求软件的自动化测试用例生成策略及其应用

本文主要探讨了在现代信息技术中，面向安全苛求软件的测试用例自动生成技术的重要性。安全苛求软件是指那些在设计和运行时需要满足严格安全标准的软件系统，如在铁路车站计算机连锁软件等关键领域应用的软件。测试用例的自动生成对于这类软件的验证至关重要，因为它能帮助确保软件在面对各种预期和非预期输入时的行为正确且符合安全规定。 然而，现有的研究在处理安全苛求软件的测试用例生成时存在局限，即未能充分考虑其特定的安全需求。针对这一问题，研究者提出了一种新的测试用例自动生成策略，该策略采用了安全覆盖准则作为指导，旨在提高生成的测试用例对关键安全变迁的覆盖率。安全覆盖准则是评估测试用例是否充分检查软件的安全特性的重要依据。 具体来说，该策略通过深入分析安全需求和软件结构，确保生成的测试用例不仅覆盖所有功能点，还能覆盖可能引发安全风险的关键部分。实验将这个策略应用到了铁路车站计算机连锁软件上，并将其与传统的全节点覆盖准则进行了对比。结果显示，新的安全覆盖准则驱动的测试用例自动生成策略在保证关键功能的同时，提供了更高的安全性保障。 这项研究的贡献在于提出了一种更有效的方法来处理安全苛求软件的测试，有助于提高软件开发过程中的安全性，降低潜在的安全漏洞风险。此外，它还强调了在软件测试自动化中，针对特定领域的安全需求进行定制化策略的重要性。 作者团队由章文婷、徐中伟和喻刚组成，他们分别来自同济大学电子与信息工程学院信通系，研究方向涵盖了安全软件测试、安全软件形式化建模等多个方面。他们的合作展示了跨学科研究在解决实际问题中的价值，特别是对于保障关键基础设施的软件安全。 这篇论文深入探讨了测试用例自动生成在安全苛求软件中的应用，为相关领域的研究人员和实践者提供了一种新的思考角度和技术支持，对于提升软件安全性和自动化测试的有效性具有重要意义。