基于SCADE的嵌入式软件开发方法研究
全恃性,有良好的可读性和接口,具有和手写代码相当的大小和孜率。该代码生成器通过了军工及航空业及能源业相关标准的鉴定,因此,使用 SCADE之后,不仅大大节省了编码工作,而且完全免去了代码的单元测试和对于单元测试的验证(即代码覆盖率分析),很大程度地节省了验证工作和验证时间。
4)集成阶段的验证
当得到源代码之后,根据硬件平台使用编译器(如:Tornado,GCC等)将源代码编译为目标代码。高可靠性的软件开发流程不仅需要对源代码进行分析,还需要保证从源代码到目标代码的一致性。SCADE提供了CVK(Complier Verify Kit)工具包,能够辅助验证编译器能否正确地将KCG生成的代码编译成目标码。
5)开发流程管理
作为一个面向高可靠性软件而设计的开发环境,SCADE在保证了嵌入式软件的可靠性的前提之下,并通过和其他一些工具的配合保证了整个开发流程的生命周期数据管理。
①通过SCADE RM实现了开发过程中数据的可追溯性管理;
②通过SCC接口实现了开发过程中配置管理,由于SCADE以ASCII格式保存所有数据,并支持标准的配置管理界面。因此,可以方便的与市面上所有的配置管理工具建立桥接。
综上所述,SCADE采用“基于模型”的开发流程代替了“基于代码”的开发流程,设计的结果是SCADE模型而不是代码,从软件开发重点从编码阶段提升到了设计阶段;同时,不再通过对测试、或是无法定量衡量的评审来保证软件的高可靠性,而是通过对整个开发流程有效的管理来保证软件的高可靠性。
4 结论
文中详细介绍了以SCADE为核心的软件开发平台,采用该平台进行高可靠性软件开发,克服了传统的以手工编码为核心的开发流程的不足,将软件开发重点由编码阶段提前到设计阶段,可以显著缩短软件开发周期,降低开发成本,提高开发效率。更为重要的是,传统软件开发流程中的设计流程的验证工作主要以手工方式进行,验证的验证工作难以实现,而在以SCADE为核心的开发平台中,可以通过模型测试的方式进行需求验证,该验证进程可通过模型覆盖率分析进行验证;传统软件开发过程中的单元测试工作在该开发平台中可以省略。目前,该开发平台已经在航空轨道交通等多个高安全性的嵌入式软件开发方面得到广泛应用。作者将在后续文章中以具体案例对该开发平台作进一步阐述。
- 基于SCADE的嵌入式软件开发(01-12)
- 基于DSP的导弹仿真器嵌入式组件设计(04-30)
- 为嵌入式软件建立统一软件系统框架的方法详介(05-23)
- 在VIM中实现对嵌入式软件的调试(08-06)
- 基于仿真的嵌入式软件白盒覆盖测试系统设计(08-26)
- 嵌入式软件运行剖面建模及测试用例生成(11-06)