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

【文件属性】：
文件名称：论文研究-基于部分交互的软件近似度量模型.pdf
文件大小：572KB
文件格式：PDF
更新时间：2022-10-02 04:42:01
论文研究 软件对环境的依赖性主要体现在软件与环境的交互。在实际中，有时软件与环境未必成功交互。其交互程度对软件的性能有着很大的影响。为测试不同软件在环境下的性能，需要对软件与环境的交互能力进行比较。在进程代数理论基础上，利用完整迹语义，建立软件近似程度的量化模型。形式化描述软件与环境的部分交互。列举一些例子对模型进行说明。建立软件近似程度的量化模型，证明一些代数性质。进一步，建立评价软件在与环境交互方面好坏的标准。