基于合约检查的构件化软件测试的研究-计算机应用技术专业论文.docxVIP

I I II II 目录 目 录 1 绪论 1 1.1 立题背景 1 1.2 国内外研究现状 2 1.3 本文的目标和主要工作内容 4 2 软件构件技术及对软件测试产生的影响 5 2.1 软件构件技术 5 2.1.1 构件定义、来源及其特点 5 2.1.2 构件与对象 6 2.1.3 当前的构件技术 7 2.1.4 基于构件的软件开发过程 8 2.2 构件技术对软件测试产生的影响 10 2.2.1 构件测试与传统软件测试 10 2.2.2 单构件测试问题 11 2.2.3 构件化软件集成测试问题 11 2.3 小结 13 3 基于合约检查的构件化软件测试策略 14 3.1 基于合约检查的构件化软件测试理论 14 3.1.1 合约的定义及扩展 14 3.1.2 合约的正确性验证公式 16 3.1.3 基于合约检查的基本思想 17 3.2 基于合约检查的构件化软件故障模型 19 3.3 基于合约检查的构件化软件测试层次 20 3.4 基于合约检查的构件化软件测试过程 21 3.5 小结 22 4 基于合约检查的构件化软件测试的实现 23 4.1 测试平台基本文档的描述 23 4.1.1 XML 的运用 23 4.1.2 测试用例/测试用例集的描述方法 24 4.1.3 构件合约的描述方法 28 4.2 测试平台组成 30 4.3 构件确认测试子系统 30 西安理工大学硕士学位论文 西安理工大学硕士学位论文 1 1 绪论 4.4 构件化软件的集成测试子系统 37 4.5 测试管理子系统 41 4.6 应用实例 43 4.7 小结 47 5 工作总结与展望 48 参考文献 50 致谢 50 在校期间发表论文 54 PAGE PAGE 13 PAGE PAGE 10 1 绪论 1.1 立题背景 软件质量是软件的根本，是软件产业的生命。而软件测试是软件生命周期中的重要环 节，是保证软件质量的重要手段。在美国的一份技术报告中明确的指出：软件工业中，软 件质量将会成为软件产品能否成功的支配因素[20]。据权威研究机构统计分析表明，国外 软件开发 40%的工作量用在软件测试上，软件测试费用占软件开发总费用的 30%至 50%， 对于一些要求高可靠性、高安全性的软件，测试费用可能相当于整个软件开发总费用的 3 至 5 倍[20]。由此可见，要成功开发出高质量的软件产品，必须重视并加强软件测试工作。 对软件测试理论和方法的研究必须加强，以解决目前软件测试的低效率、高成本、测试效 果不佳等方面的问题。达到在降低测试成本的同时，能发现更多的软件质量问题，提高软 件质量和生产力。 60 年代的软件危机导致了有关软件复用研究工作的开展。到 90 年代初期，软件复用 的研究已经从早期的过程（函数）复用发展到对象（类）层次的复用。而目前正处于研究 热点的基于构件软件工程（Component-Based Software Engineering，简称 CBSE）的软件 开发方法正是对面向对象复用层次的进一步延伸和发展，形成更高层次软件构件的复用技 术。使用该方法指导下完成的软件系统是由若干个经过测试的、可复用、可升级的、相对 独立的构件组成，因此基于构件的软件系统在可维护性、可扩展性、可靠性方面都有很大 的提升。在工业界，CORBA、 EJB、 COM 等构件标准得到了广泛的应用。 软件开发技术的发展，必然会导致相应的软件测试技术的更新和发展，只有这样才能 保证用新技术建构软件系统的高质量和高可靠性。然而虽然构件技术已经得到了广泛的应 用，但针对构件以及构件化软件测试方法策略的研究却远远滞后于软件工程实际需求。正 如本文随后讨论的，由于构件本身固有的一些特点，如源代码不可见、分布式运行、平台 独立性等，使得构件化软件比传统软件系统复杂的多，错误也就更容易发生在构件使用者 集成构件化软件系统的过程中。而传统的软件测试理论和技术对于新的基于构件技术构造 的软件系统并不完全适用，所以需要研究发展一系列的新方法手段来测试构件及构件化软 件系统，保障软件质量，提高其可靠性。尤其是在当前对构件测试理论技术尚处于初期阶 段的状况下，如何在传统的软件测试和面向对象软件测试理论和相关技术工具的基础上， 来探索构件测试的有效方法并开发出相应测试平台工具，是国内外构件测试的研究重点和 难点。针对这一命题，本文对构件化软件系统测试理论、方法进行了研究和总结，尝试开 发实用的构件化软件测试平台来满足开发的实际需求，提高构件化软件测试的有效性，对 确保构件化软件系统的质量有较强实用价值和学术意义。 1.2 国内外研究现状 由于软件开发方法所采用的具体理论、方法、技术