SCADE软件——产品认证的加速器

• 作者: 马媛
• 来源期刊: 国际航空
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 工程与技术
• 页码范围: 64-65
• 页数: 2页
• 语种: 中文

摘要

传统的软件设计存在不少问题.按照流程,系统工程师先要分析需求,建立模型并且其验证是否符合要求,然后编写文档传递给设计开发人员.设计开发人员按照设计文档进行编程,并进行仿真和验证,确定是否与系统工程模型一致.由于手工编写代码良莠不齐,从需求到代码的转换容易引起歧义和问题,并且系统在开发过程中更改频繁,进行调整和修正时又会引入新的问题.