代码走查辅助工具的MDA开发模式

研究和分析了软件代码走查问题域,提取出软件代码走查辅助工具的基本功能。使用模型驱动体系结构方法,结合软件代码走查辅助工具的特点,逐步构建软件代码走查辅助工具的平台无关模型、平台相关模型与代码模型,并对不同模型之间的转换规则进行了初步研究。

编程语言规范检查模型的设计与实现——C语言规范

研究编程语言规范，设计编程语言规范检查模型，运用该模型进行编程语言代码的规范检查，以提高代码维护效率为目标，实现在软件维护过程中的自动代码走查。分析C语言编程规范，对C程序进行规范检查与修改，设计实现C语言编程规范检查系统，完成自动代码走查。采用编程语言词法分析正则表达式，构造匹配各类不规范代码的正则表达式，完成对C程序标识符、头文件、源程序语法格式和语句代码行的不规范代码检查，运用Perl脚本语言实现本系统。该模型及其实现可应用于软件自动维护过程。

版本管理与代码走查系统设计与实现

为优化软件项目管理,解决软件版本管理混乱、人工代码走查过程负责和结果难于控制的问题,研究了软件版本管理工具和代码走查工具,介绍了版本管理工具和代码走查工具在软件项目管理中应用。根据实践中软件项目管理的需求,提供了一种版本管理工具Subversion与代码走查工具Reviewboard相结合的系统的实现方法,介绍了版本管理工具和代码走查工具的安装部署,给出了一种基于该系统的软件开发应用流程。

一种软件单元测试策略

单元测试作为软件测试中的一个关键的测试过程,在提升软件质量方面发挥着非常重要的作用。单元测试有很多种方法,结合实际对常用的单元测试方法进行了探讨,并在传统的单元测试方法基础上提出了一定的改进,并介绍了可以帮助测试者更好地实行这些测试方法的测试工具。结合实际合理运用这些方法可以减少测试支出,提高测试效率,达到更好的测试效果。

列控中心产品功能测试技术研究与应用

列控中心主机单元是列控中心系统的核心设备,列控中心产品功能测试保证列控中心软件修改的安全性、可靠性,作为下一步产品数据测试的输入。分别从代码走查、功能测试角度,对列控中心产品功能测试技术进行讨论。