|
|||||
|
|
| 使用基于模型的设计来开发和验证安全关键系统软件 | |
| 引用本文： | MathWorks公司.使用基于模型的设计来开发和验证安全关键系统软件[J].中国科技信息,2006(9):73-75. |
| 作者姓名： | MathWorks公司 |
| 作者单位： | Math Works公司 |
| 摘 要： | 本文描述了高度完整性代码的开发和测试技术,并显示如何在模型级上应用和自动化来提高嵌入系统的质量同时缩短开发周期. |
| 关 键 词： | 开发周期 基于模型 系统软件 安全关键 验证 设计 测试技术 嵌入系统 自动化 代码 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |