基于ε-互模拟的软件近似正确性模型

作     者：马艳芳 陈亮 MA Yanfang;CHEN Liang

作者机构：淮北师范大学计算机科学与技术学院安徽淮北235000 上海市高可信计算重点实验室上海200062 淮北师范大学数学科学学院安徽淮北235000 

基　　金：安徽省自然科学基金(No.1308085QF117) 安徽高校省级自然科学研究重点项目(No.KJ2011A248) 安徽高校省级自然科学研究一般项目(No.KJ2012Z347) 上海市高可信计算重点实验室开放项目(No.07DZ22304201004) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2013年第49卷第11期

页      码：15-19,60页

摘      要：软件正确性是软件可信性的重要属性。在实际软件开发和设计中,需要不断地对软件进行修改,从而软件越来越正确。为了讨论软件的动态近似正确性,基于概率进程代数的ε-互模拟,建立软件越来越正确的形式化描述。定义ε-极限互模拟,用来反应软件实现与规范之间的关系,给出一些特殊的ε-极限互模拟。提出ε-互模拟极限,用其刻画规范是软件实现的极限形式,同时证明ε-互模拟极限的一些性质。

主 题 词：可信性 正确性 形式化 进程代数 

学科分类：07[理学] 08[工学] 070104[070104] 0701[理学-数学类] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3778/j.issn.1002-8331.1211-0125

馆 藏 号：203141130...