基于切片技术的可信软件开发过程的B方法的研究

项目名称： 基于切片技术的可信软件开发过程的B方法的研究

项目编号： No.61379019

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 崔梦天

作者单位： 西南民族大学

项目金额： 33万元

中文摘要： 随着对软件开发过程研究的深入，人们认识到形式化方法是提高软件质量和可信性的重要途径。虽然形式化方法作为可信软件实现的重要技术已经取得了一定的成功，但是与面向对象技术相比，其实用性还存在一定差距。本项目以可信软件开发为研究对象，在我们多年形式化理论、B方法和B工具测评与使用、UML建模技术等方面的研究成果基础上，通过对目前形式化软件开发方法中存在的实际操作性差等问题的分析，深入UML与形式化结合研究、突破形式化规约、精化和模型验证技术等，通过对可信软件的开发过程作系统的分析、研究，提出一套基于切片技术的面向对象与B方法相结合的新的软件开发模式，解决目前开发方法中的不足，使形式化软件开发技术真正走出实验室，为形式化软件开发的应用提供理论和技术指导，保障软件开发过程的可控性和目标软件的可靠性。该项研究涉及形式化理论与软件工程等交叉学科的研究，旨在促进软件产品的竞争力和交叉学科间的相互促进与发展。

中文关键词： 可信软件开发过程；形式化B方法；切片技术；波动效应；模型转换

英文摘要： As the research on software development processing has been deepened gradually, people realize that the formal methods is one of the important ways to improve quality and reliability of software. The formal methods as an important technology realizing cre

英文关键词： trusted software development processing；formal B methods；slicing technology；ripple；model transformation