COTS构件集成软件系统的测试方法研究

来源 :西安理工大学 | 被引量 : 0次 | 上传用户:tcrct
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
电力系统是一个大规模、时变的复杂系统,它在国民经济和国家安全中占有重要的地位。随着电力网络拓扑系统变得越来越复杂,运用高效的模拟仿真计算软件已成为电力系统工作者进行电力系统规划、保护、调度及故障研究的重要工具。为了提高该类软件开发效率,减少成本,保障质量和可靠性,越来越多的电力系统软件也像其它大型软件系统开发一样,采用了目前先进的开发技术-基于COTS构件集成技术开发软件系统。而基于COTS构件集成软件系统,是一种独特的软件组装过程,是多种异质构件的松耦合结构,且构件易被更新易被替换,演化速度快,系统的可靠性与质量对构件质量和构件集成质量有高度的依赖性,对该类软件的测试就成为保障软件系统可靠性的重要手段。针对如何解决COTS构件集成构件异构、原代码不可知、测试理论与测试方法不完备的测试难题,本文在以下几个方面开展了研究工作:首先,为了揭示构件集成软件的内在运行规律,利用观测与踪迹语言理论,使用状态、事件、内容依赖关系和上下文依赖关系定义软件结构,提出了具有独立关系的构件集成软件有限自动机观测模型,观测和记录软件的动态行为,为全面、系统地测试奠定了理论基础。其次,提出了基于合约检查的COTS构件包装方法,从构件的外部包装入手,建立外部跟踪机制,提高了构件的易测试性,为执行基于有限自动机观测模型的构件集成软件测试提供了前提。再者,为了模拟构件的运行环境,捕获构件在集成环境中出现的异常,提出了一个针对构件集成软件的通用测试平台框架(ITACBS)解决了测试平台的组成设计、规范化表述、错误追踪等问题,对该类软件测试的准备、执行和分析进行了总体规划,并形成了完整的测试过程。此外,利用区间相容技术对约束集论域进行削减,采用改进的遗传算法在经过削减的论域内进行动态搜索,并引入免疫遗传的思想,提出了将区间相容算法与免疫遗传算法融合产生测试用例的新思路,使测试用例的路径覆盖率更高,收敛率更快。最后,利用基于互联网设计、分析、模拟电力系统的开源新一代电力系统仿真软件系统InterPSS,对本研究所涉及的理论、方法、技术进行实践与验证。研究与实践表明:本文从构件集成软件测试观测模型的创建、构件易测试性探索、集成测试环境平台的实现、智能化测试用例的生成等方面,全面、细致、深入地提出了构件集成软件测试的整体解决方案,所形成的一整套理论与方法是可行、有效的,具有一定的通用性和可扩展性,具有良好的应用前景。
其他文献
房地产开发成本的内容包括很多方面,每个方面又涉及很多小项,这就导致在成本核算时不统一、不规范。为了能更好地进行成本核算,本文从材料供应、工程款拨付、贷款利息等方面
从政府职能转变的角度,分析我国治理模式有管制模式、经营模式和多中心治理模式,经过三种模式的比较,得出城市治理的模式变迁与发展,引出城市治理中公民这一参与主体,研究不
<正> 一、预备概念 整数除以自然数商为整数(即除尽)的题目,称为整除题目。笔者给出90%以上整除题目能直接或间接采用的简便算法更多还原
2014年6月19日,第三届慈溪&#183;台湾健康管理学术研讨会在浙江慈溪举行。此次研讨会的主题为“水与健康”和“医患关系”。来自台湾元培科技大学、台湾环境工程与健康研究所
以苯-甲苯-二甲苯的分离为例,通过流程模拟软件ASPEN对存在塔中换热器的精馏塔进行了模拟。考察了塔中冷凝器、再沸器的位置,抽出与回流位置,抽出量以及气化率对精馏塔整体能
我国的医保改革已经进入了“深水区”,不进则退。如何在全面推进、完善目前工作的基础上,有效应对人们不断增长的健康需求和即将到来的老龄化社会所带来的巨大支付压力.这是摆在
1996年第5期《黑龙江珠算》刊登了邹云同志的“‘3’字开头的二、三位效平方妙算”一文,阅后很受启发.在此基础上,我们对4和5字头两位效的平方计算,进行研究与探讨,经过反复运算,证
本文在阐述内部控制评价概念的基础上,构建了多层次的内部控制评价主体体系,并基于企业内部的视角,探索了监事会、审计委员会、企业内部审计部门、各部门的控制自我评估等评
<正> 我们大兴安岭加格达奇一小珠脑速算已经抓了三年了。实践证明,珠脑速算从学前开始培养效果最好。 我们的理由有三个方面: 一、儿童是各科潜能成长的关键期
<正> 由于各个大中专院校的学制不一,对珠算课时的安排多少有别,除一般短期培训班全期安排课时特少外,其余多数中专及高级职业中学一、二年级四学期分别为“二、二、一、一”