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

• 作者: 陈亮 马艳芳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 可信性 正确性 形式化 进程代数
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 博士论坛
• 页码范围: 15-19,60
• 页数: 6页
• 分类号: O159|TP301
• 字数: 6909字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1211-0125

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马艳芳	淮北师范大学计算机科学与技术学院	19	22	3.0	3.0
3	陈亮	淮北师范大学数学科学学院	18	25	3.0	4.0