基于部分交互的软件近似度量模型

• 作者: 陈亮 马艳芳
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 部分交互 度量 形式化 进程代数
• 年，卷（期）: 2014,（24）
• 所属期刊栏目: 博士论坛
• 页码范围: 32-37,75
• 页数: 7页
• 分类号: TP301|O159
• 字数: 6981字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1403-0401

摘要

软件对环境的依赖性主要体现在软件与环境的交互。在实际中，有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响。为测试不同软件在环境下的性能，需要对软件与环境的交互能力进行比较。在进程代数理论基础上，利用完整迹语义，建立软件近似程度的量化模型。形式化描述软件与环境的部分交互。列举一些例子对模型进行说明。建立软件近似程度的量化模型，证明一些代数性质。进一步，建立评价软件在与环境交互方面好坏的标准。

作者信息

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