开发辅助和静态测试工具DAC
Development Assistant for C(DAC)是一个由瑞士RistanCASE公司开发的,专门针对嵌入式软件的C代码及汇编代码的集成开发环境(IDE)。DAC的目标是成为“21世纪最理想的编辑器”,帮助客户自动化的处理日常工作的重要组成部分(分析代码,静态测试,质量度量等),以将更多的精力投入到创新工作中。基于项目大小和复杂度的区别,根据开发人员的经验,使用DAC可以节约大概20%到70%的开发时间。
作为一个开发辅助和静态测试工具,DAC可以方便地编辑源代码和控制代码质量,例如自动化地执行C代码及汇编代码的静态测试,支持包括MISRA-C 1998和2004的规则检测以及项目、文件和函数的质量度量,提供方便快捷的代码结构生成,高亮显示代码结构并生成报告文档等。
北汇信息作为瑞士RistanCASE公司的中国合作伙伴,将帮助中国客户借助DAC支持高效的软件开发和快速启动软件静态测试工作。
DAC的应用
DAC的目的就是在软件生命周期中支持高质量软件的开发,并且支持安全简单的维护和质量控制。具体来说,DAC可以在软件开发过程中直接或者间接地支持的下面几方面的工作:
1. 实施
实施过程是一个长时间的操作,它可以由市场能找到的最好的编辑器之一DAC来支持。DAC编辑器和浏览器直接连接到源代码静态分析生成的数据库,这样一来,除了一些标准的操作和导航以外,还可以提供诸如“函数在哪里声明,在哪里被使用”、“这个变量的值在哪个函数中被改变了”等问题的解答。另外,在软件开发的编码过程中,代码结构高亮显示是也是DAC特有的一个功能。
2. 代码结构检查
DAC可以通过流程图来检查函数的逻辑结构,通过使用调用结构图来检查函数和模块的架构,通过数据流图来图形化地显示和检查数据的操作。DAC的代码结构检查功能显示了所有分组的函数以及参数和数据,区分了项目数据错综复杂的关系,从而帮助理解并保证高质量的开发和维护。同时DAC还可以将流程图和数据流图加入到报告中。
3. 编码规范检查
编码规范是提高代码质量,增加代码的可读性和清晰度的方法之一。DAC使用标识符命名检测和MISRA-C 规则检查来实现代码的静态分析,并且DAC可以同时支持MISRA-C 1998和MISRA-C 2004两个版本中大部分的检查规则。
4. 错误风险和可测试性估计
软件质量度量是用来识别和评估影响软件开发的关键参数,DAC将其分为产品度量和过程度量,产品度量又分为确定代码大小和确定代码复杂度两类。
质量度量可以让用户比简单浏览软件获取更多软件信息,虽然这其实是经验和直觉的问题,但是DAC可以提供标准的模板让开发人员利用这些经验,更好地对软件源代码的质量进行评估,从而支持进一步的开发、测试和维护。
5. 文档制作
软件文档的问题在于不容易制作和更新,文档过程伴随在软件生产过程始终,很容易产生过时文件,但DAC的文档生成器可以同步软件开发过程和软件文档过程,为用户提供一个可配置的文档模板,里面除了文字和图片以外还包括DAC的脚本来包含DAC项目的当前信息,从而确保用户可以创建最新的软件文档,这在文档创建和维护的漫长繁琐的过程中提供了很大帮助。
6. 和其他开发工具的相互作用
DAC通过用户定义活动的宏和脚本来启动编译器,Linker和Make,这些工具产生的信息被解析和显示在DAC中。DAC的用户通过自定义的操作,可以适应和集成其它工具,例如与Tasking、Microsoft Visual Studio等开发环境的集成来导入项目到DAC中,通过命令行的方式来集成各种VCS版本管理工具,以及与Lauterbach Trace32、Hitex HiTOP等调试器的集成,允许用户直接在DAC中设置和删除断点等。
7. 维护
项目层面上简单而丰富的信息导航有利于带领新的开发人员进入项目,例如DAC的项目管理器可以提供Explorer view, Folder view, Logical view三种视图来帮助用户对项目中的代码进行管理等,在维护现有代码的过程中极大地提高了安全性,并降低了出错的可能性。