[00926808]软件质量保障关键技术及其支撑工具

如何提高软件质量一直是软件领域关注的基本问题之一，同时也是制约软件产业发展的瓶颈问题，测试、验证、过程管理是提高软件质量的主要途径。该项成果顺应软件质量保障手段综合化的趋势，针对实时、混成、嵌入式等复杂软件系统，基于UML、CMM等软件工程领域的重要标准与规范，以形式化方法与自动化技术为手段，围绕软件测试、验证和过程管理等方面研究相关理论、方法、技术和支撑工具与平台，在实时和混成系统的模型检验、UML模型驱动的软件测试与验证、嵌入式应用软件测试支撑工具、基于CMM的软件质量保障平台及其应用等方面取得进展，为建立软件质量保障的可信化与综合化体系奠定了良好的基础。该项成果针对实时和混成系统，面向可达性、线性时段性质、基于场景规约等重要性质和规约，基于线性混成自动机、时间自动机、UML动态模型和消息顺序图，提出和改善了一系列模型检验算法；以UML行为模型图和消息顺序图做为系统规约，以UML行为模型图、Petri Nets、接口自动机作为系统设计模型，提出了相关的测试用例生成途径、运行时验证技术、模型一致性验证算法；在对面向对象技术、构件技术、程序分析技术、软件度量技术等进行系统研究的基础上，研制了具有自主知识产权的嵌入式应用软件测试支撑工具；在对软件企业的过程建模、资产管理、项目过程监控、度量分析、需求管理、测试管理、配置管理、以及协同支撑等关键技术方面进行系统研究的基础上，研制开发了可支持CMM/CMMI标准的软件质量保障平台。