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

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