基于并发自动机的构件化软件观测模型研究-计算机应用技术专业论文.docxVIP

III III IV IV 目 录 1 绪论 1 1.1 立题背景 1 1.2 国内外研究现状 1 1.3 本文的目标和主要研究内容 3 2 构件化软件测试及其存在问题 5 2.1 传统软件测试方法局限性 5 2.2 目前构件化软件测试方法局限性 5 2.3 测试问题分析 6 2.4 分析结论 7 3 基本理论 8 3.1 踪迹语言 8 3.1.1 踪迹语言的基本理论 8 3.1.2 稳定并发自动机 10 4 基于并发自动机的构件化软件观测模型 13 4.1 软件系统静态分析 13 4.1.1 事件和事件的结构 13 4.1.2 状态和状态结构 14 4.1.3 状态与事件的关系 14 4.1.4 基于事件和状态的软件静态结构的意义 14 4.2 软件系统的动态分析 15 4.3 典型行为的研究 16 4.3.1 顺序行为的研究 16 4.3.2 并发行为的研究 20 4.4 构件化软件并发自动机观测模型 27 4.4.1 构件化软件的特点 27 4.4.2 构件化软件观测模型的形式化定义 28 4.4.3 观测模型建模的方法步骤 29 4.5 基于稳定并发自动机软件结构模型的测试有效性评估 29 4.5.1 基于测试数据充分性公理评估 30 4.5.2 基于观测构造理论的评估 31 4.6 构件化软件测试准则 32 4.7 测试用例生成的原理 33 5 实例研究 35 5.1 需求描述 35 5.2 需求转换 36 5.3 观测模型的建立 38 5.3.1 顺序过程模型 38 5.3.2 并发过程模型——完全独立关系 38 5.4 测试实施 39 5.5 实例验证有效性评估 50 6 总结与展望 51 致谢…………………………………………………………………………………………….53 参考文献 54 在校期间发表论文 56 PAGE PAGE 53 PAGE PAGE 10 1 绪论 1.1 立题背景 构件化软件是通过配置大量的第三方构件开发而来的。开发者根据具体的需求选择相 应的构件并将它们按照业务逻辑组织起来，避免了将开发的投入过多地用于业务逻辑层以 下实现细节问题的解决，转而集中精力解决直接与业务逻辑相关的问题，简化了分析和设 计。由于可以取得第三方构件，开发的框架容易确定，同时降低了维护的投入【1】。因此从 重用的角度讲，构件化软件开发【2】方法提高了软件开发的效率，降低了开发维护的成本。 然而构件化软件开发也给测试带来了挑战，首先，构件化软件所集成的构件大部分是 由第三方提供的，第三方开发团队由于无法预见其产品投入使用的应用环境，以及构件开 发方解决问题的思路，因此其产品能否使用集成环境是无法预测的。此外，大量构件在解 决应用的过程中能否正确的集成也是在构件化软件设计阶段无法完全控制的，集成的设 计、开发是由不同的团队完成的，他们之间对于构件理解，应用理解的差异，导致开发出 来的构件化软件很可能存在的许多潜在的问题【3】。 其次，根据 Weyuker 提出的抗分解和抗组合原理【4】，传统的软件测试是在源代码可见 的前提下，通过分解和组合的方法完成单元和系统测试。然而构件由于其自身属于二进制 代码的复用，除了集成层次的实现外，各构件内部实现的细节完全被隐藏起来，这导致传 统的测试方法不能有效地对构件化软件进行测试。 第三，随着互联网技术的广泛应用，构件化软件为了满足多种需求，提高处理的效率， 都必须具有处理并发客户端请求的特点，并将计算任务动态分布于整个网络的各节点，而 传统软件测试方法主要以源码调试为手段进行并发行为的测试【5】，对于构件实现不可访问 的特点，基于源代码的调试无法使用，使得构件化软件的并发测试必须借助其他测试工具 和监控工具辅助完成，测试质量以及结论的可靠性完全依赖于测试人员的经验。这使得构 件化软件测试面临更大的挑战。 由于以上提到的问题，使得构件化软件很难使用传统的测试方法进行测试，因此很有 必要对构件化软件的集成测试进行深入地研究。 1.2 国内外研究现状 构件技术一直是计算机研究及应用领域的热点，近些年来，国内各类核心杂志上发表 了大量构件化软件应用开发有关的文献，对流行CORBA构件体系【6,7,8,9】，微软的COM+/DCOM 【10,11,12】构件体系的应用进行了深入和广泛的研究，积累了丰富的构件技术的实践经验和成 果。不仅如此还有在实践的基础上研究并提出的具有学术价值和实践价值的多种基于构件 软件的应用框架和解决方案【13,14,15,16】。构件开发技术的不断成熟使得该技术不断渗透到各 个应用领域成为了主流的开发技术【17,18,19,20】,这种潮流反过来继续推动了构件库管理的技 术进步【2