论文部分内容阅读
电力系统是一个大规模、时变的复杂系统,它在国民经济和国家安全中占有重要的地位。随着电力网络拓扑系统变得越来越复杂,运用高效的模拟仿真计算软件已成为电力系统工作者进行电力系统规划、保护、调度及故障研究的重要工具。为了提高该类软件开发效率,减少成本,保障质量和可靠性,越来越多的电力系统软件也像其它大型软件系统开发一样,采用了目前先进的开发技术-基于COTS构件集成技术开发软件系统。而基于COTS构件集成软件系统,是一种独特的软件组装过程,是多种异质构件的松耦合结构,且构件易被更新易被替换,演化速度快,系统的可靠性与质量对构件质量和构件集成质量有高度的依赖性,对该类软件的测试就成为保障软件系统可靠性的重要手段。针对如何解决COTS构件集成构件异构、原代码不可知、测试理论与测试方法不完备的测试难题,本文在以下几个方面开展了研究工作:首先,为了揭示构件集成软件的内在运行规律,利用观测与踪迹语言理论,使用状态、事件、内容依赖关系和上下文依赖关系定义软件结构,提出了具有独立关系的构件集成软件有限自动机观测模型,观测和记录软件的动态行为,为全面、系统地测试奠定了理论基础。其次,提出了基于合约检查的COTS构件包装方法,从构件的外部包装入手,建立外部跟踪机制,提高了构件的易测试性,为执行基于有限自动机观测模型的构件集成软件测试提供了前提。再者,为了模拟构件的运行环境,捕获构件在集成环境中出现的异常,提出了一个针对构件集成软件的通用测试平台框架(ITACBS)解决了测试平台的组成设计、规范化表述、错误追踪等问题,对该类软件测试的准备、执行和分析进行了总体规划,并形成了完整的测试过程。此外,利用区间相容技术对约束集论域进行削减,采用改进的遗传算法在经过削减的论域内进行动态搜索,并引入免疫遗传的思想,提出了将区间相容算法与免疫遗传算法融合产生测试用例的新思路,使测试用例的路径覆盖率更高,收敛率更快。最后,利用基于互联网设计、分析、模拟电力系统的开源新一代电力系统仿真软件系统InterPSS,对本研究所涉及的理论、方法、技术进行实践与验证。研究与实践表明:本文从构件集成软件测试观测模型的创建、构件易测试性探索、集成测试环境平台的实现、智能化测试用例的生成等方面,全面、细致、深入地提出了构件集成软件测试的整体解决方案,所形成的一整套理论与方法是可行、有效的,具有一定的通用性和可扩展性,具有良好的应用前景。