基于软件的环境量化模型

摘要：

在一些特殊领域中需要建立一定的实验环境对软件性能进行测试，因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量，在进程代数理论基础上，根据软件与环境的交互程度，利用拓扑度量和论域理论中的偏序关系，建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互，建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明，并证明度量模型的代数性质。

关键词：交互、环境、进程代数、度量、论域理论

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61300048;安徽省自然科学基金资助项目1308085QF117;安徽高校省级自然科学研究基金资助重点项目KJ2014A223;安徽省高等教育振兴计划重大教学改革研究基金资助项目2014ZDJY058;2014年安徽省高校优秀青年人才支持计划基金资助项目。

在线出版日期：2015-03-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：47-51,56