面向目标平台的高可靠、高安全软件测试方案 嵌入式软件, 安全软件, 模型设计, 飞行器, 规范性

Hirain123

随着机载嵌入式软件规模的大幅增加，越来越多与安全强相关的关键软件被应用于机载系统，以实现预期的飞行器功能，另外一方面，由于经济性和盈利的压力，许多工程组织被要求以更少的投入完成更多的事，再加上开发方式的丰富（基于模型设计工具和各种自动代码生成工具）等，使得软件生命周期验证变得更为复杂。因此，尽早消除软件生命周期引入的错误，保证软件生命周期阶段输出产物的可靠性和标准符合性显得尤为重要。        另外，严格的行业标准对测试进程的准确性、规范性和完整性的要求越来越高，如何能够在保证测试质量的同时，加快测试的进程成为一个亟需解决的问题。