基于环境交互的软件近似正确性量化模型研究

项目名称： 基于环境交互的软件近似正确性量化模型研究

项目编号： No.61300048

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 马艳芳

作者单位： 淮北师范大学

项目金额： 23万元

中文摘要： 软件工程的一项重要内容是保证软件的正确性，它是软件可信性的重要属性，因此研究软件的正确性是提高软件质量的重要保障。而软件的运行依赖于环境，同一软件在不同环境下运行时其正确性不同，因此很多软件在实际应用时都是近似正确的，其近似程度直接影响软件的正确性，因此本项目将从定量方面对基于环境的软件近似正确性进行研究。 基于进程代数理论，本项目主要研究以下内容：（一）建立软件与环境交互程度的度量描述，研究度量模型的重要性质，为验证软件的运行环境提供理论依据；（二）结合软件的运行环境，建立软件实现与其规范之间近似程度的度量模型，研究度量模型的模态逻辑刻画，为分析软件的正确程度提供理论保证；（三）建立软件实现的改进过程按正确方向发展的度量模型，探讨度量模型的连续性，为检验软件开发过程的正确性提供理论基础。

中文关键词： 形式化；正确性；交互；度量；进程代数

英文摘要： Correctness of software is an important content of software engineering research and an key attribute of software trustworthiness. Research to software correctness can supply the guarantee to improve software quality. The execution of software depends on its envirionment. The same software running on different environment will produce the different correctness. Because in the real world, many softwares are approximate correct, it is necessary to research the approximate correctness of software. This project will establish the quantitive model of software approximate correctness based on its interactive envirionment. Based on Process Algebra, the aims of this project are as follows: (1) We establish the interactive measure model between software and environment and explore its important properties, which provides a foundation for checking whether or not software executes correctly on its environment; (2) We propose the degree which to the soft implementation satisfies its specification and research its modal logic, which lays a basis for analyzing software correctness;(3)We present the degree which to the trend of software implementation improvement is in the correct direction and discuss its continuity, which provides a basis for examining the correctness of software development process.

英文关键词： formalization；correctness；interation；measure；process algebra