| 汽车电子控制领域编译器安全验证策略 |
| |
| 引用本文： | 王秀丽. 汽车电子控制领域编译器安全验证策略[J]. 上海交通大学学报, 2011, 0(Z1) |
| |
| 作者姓名： | 王秀丽 |
| |
| 作者单位： | 大陆汽车电子(长春)有限公司上海分公司; |
| |
| 摘 要： | 编译器验证是汽车电子软件开发过程中的重要一环.在分析了相关安全要求和通用验证方法的基础上,提出了一种基于测试的编译器安全验证策略,并给出了具体实现过程.
|
| 关 键 词： | 汽车电子 控制领域 编译器 安全验证 |
Safety Verification Strategy for Compiler in Automotive Control System |
| |
| WANG Xiu-li. Safety Verification Strategy for Compiler in Automotive Control System[J]. Journal of Shanghai Jiaotong University, 2011, 0(Z1) |
| |
| Authors: | WANG Xiu-li |
| |
| Affiliation: | WANG Xiu-li(Continental Automotive Changchun Co.,Ltd.,Shanghai Branch,Shanghai 200082,China) |
| |
| Abstract: | Compiler verification is very important in software development of automotive.Based on investigation of specific safety requirements and general verification methods for compiler,this paper discusses a Test-based Strategy for Compiler safety verification and its implementation. |
| |
| Keywords: | automotive control system compiler safety verification |
| 本文献已被 CNKI 等数据库收录！ |
