基于软件的环境量化模型  

Quantitative Model of Environment Based on Software

作　　者：马艳芳[1] 

机构地区：[1]淮北师范大学计算机科学与技术学院,安徽淮北235000

出　　处：《计算机工程》2015年第2期47-51,56,共6页Computer Engineering

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

摘　　要：在一些特殊领域中需要建立一定的实验环境对软件性能进行测试,因此实验环境与实际环境之间的近似程度对软件的性能起到关键作用。为建立环境之间的近似度量,在进程代数理论基础上,根据软件与环境的交互程度,利用拓扑度量和论域理论中的偏序关系,建立实验环境之间近似程度的量化模型。根据软件与环境之间的部分交互,建立实验环境之间近似程度的度量模型。通过实例对度量模型进行说明,并证明度量模型的代数性质。With the development of Internet,the environment of software is gradually changed to the open and dynamic environment.So,the results of software executing on different environment affect on the trustworthiness of software.In some special fields,it is necessary to establish an experiment environment in order to test the property of software.So,it is important to evaluate the degree to which experiment environment approximates the real environment.This paper uses measure theory in topology and partial order in domain theory,the quantitative model to describe the approximate degree between environment is proposed based on process algebra.The quantitative model to compute the approximate degree between environments is presented based on the partial iteration between software and its environment.Furthermore,some examples is showed to verify the model and some algebraic properties is proved.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]