论文研究基于部分交互的软件近似度量模型.pdf

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