主页>产品介绍>SCADE Suite>完整的测试流程
SCADE 完整的测试流程
高安全工程可预见性的测试方法
为什么是新的测试方法
在高安全性开发环境中传统的测试是在代码运行于目标处理器上时去发现设计、代码以及编译的错误。这就意味着错误发现得太晚了，已消耗了测试过程中的时间和预算。随着软件规模的增大，这样的测试变得越来越昂贵。
为了改善这种情况，爱斯特尔技术公司构建了SCADE集成测试流程，使开发者可以在开发循环中尽早验证自己的设计，从而更加有效地改进设计。
使用SCADE集成测试程序的好处
一种强大的“分而治之”的方法
SCADE集成测试程序在软件安全性上保证了一定程度的信心，更确切的说它等同于或更高于用MC/DC覆盖率对C代码完成广泛的测试。
SCADE集成测试程序使测试结果最优化，这是由SCADE内在的品质所保证的。
- 基于模型的MTC能够在很大程度上验证SCADE模型与高层需求的一致性。MTC经FAA8110.49验证是合格的验证工具。
- 通过FAA 8110.49认证的KCG能保证C代码与低层需求的一致性。
- KCG生成代码的形式和结构特征使得CVK有效地验证源码到目标码的转化过程。
SCADE集成测试流程能保证从软件需求到目标代码的整个验证过程的安全、有效。
- SCADE编辑器快速检查功能确保了SCADE模型的语法句法的正确性。
- SCADE模型基于需求的仿真，加上DOORS桥接工具与MTC功能，能验证需求被完整而又准确的实现。
- 由SCADE KCG生成的代码既不需要单元测试也不需要代码走查。KCG通过了DO-178B标准A级和FAA8110.49认证，从而保证了这一点。
- CVK验证所有SCADE代码结构的正确编译。
- 在目标平台上进行高层需求的传统测试，能保证分配到软件的系统需求被正确的实现。
