计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (24): 32-37.

• 博士论坛 • 上一篇    下一篇

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

马艳芳1,2,陈  亮3   

  1. 1.淮北师范大学 计算机科学与技术学院,安徽 淮北 235000
    2.上海市高可信计算重点实验室,上海 200062
    3.淮北师范大学 数学科学学院,安徽 淮北 235000
  • 出版日期:2014-12-15 发布日期:2014-12-12

Approximate measure model of software based on partial interaction

MA Yanfang1,2, CHEN Liang3   

  1. 1.School of Computer Science and Technology, Huaibei Normal University, Huaibei, Anhui 235000, China
    2.Shanghai Key Laboratory of Trustworthy Computing, Shanghai 200062, China
    3.School of Mathematics Science, Huaibei Normal University, Huaibei, Anhui 235000, China
  • Online:2014-12-15 Published:2014-12-12

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

关键词: 部分交互, 度量, 形式化, 进程代数

Abstract: The dependence of the software on its environment mainly comes from the interaction. In the real application, sometimes, the interaction may not be successful. The interaction degree will have an effect on the ability of software. In order to test the property of software on the environment, it is necessary to compare the interaction ability of software with environment. In this paper, based on process algebra, the approximate measure model of software will be researched using complete trace semantics. The partial interaction will be formalized using the completed trace semantics. Some examples will be stated. The quantitative model which describes the approximate degree between software will be proposed. Some algebraic properties are proved. The criterion which evaluates the interaction ability with environment will be given.

Key words: partial interaction, measure, formalization, process algebra