uml测试.pptVIP

UML自动化测试 基于UML的测试方法 基于UML的单元测试 基于UML的集成测试 基于UML的系统测试 基于UML的测试方法 基于UML的测试是基于规格说明的软件测试的一个分支 在软件开发的各个阶段，通过将系统的分析、设计和实现等工件转化为UML的规格说明，并把他们作为测试需求的直接来源，驱动测试的整个过程 基于UML的软件测试最终目标是实现测试设计和执行的自动化 如何让UML支持软件测试？ 研究UML模型的可测试性，针对不同类型系统在不同阶段的测试，给出严格的可测试的UML模型 研究从UML模型生成测试用例，实现测试设计和执行的自动化 设计基于UML的自动化测试工具，实现测试工具的集成 测试阶段与方法 基于UML的软件测试过程 创建UML规格说明 验证UML规格说明 确定测试的规则和策略 生成测试用例 执行测试用例和跟踪 测试结果分析 基于UML测试中的若干问题 面向路径的测试数据自动生成 面向路径的测试数据生成（Q问题）：给定一个程序P和P中一条路径W，设P的输入空间为D，求x?D，使得P以x为输入运行，所经过的路径为W。 自动求解Q问题 测试预言、期望结果的自动生成 测试预言师一种检验待测系统在特定执行情况下是否正确运行的方法 期望结果用来确定测试用例执行的成功与否，他是程序根据输入应该得到的输出 自动生成期望结果 利用测试预言获取期望结果 回归测试和测试选择 回归性测试主要有选择性重测和全部重测两种策略 选择性重测的策略，在选择哪些测试用例需要重新运行时要进行大量的分析，代价很大。 预告方法 OCL – The Object Constraint Language in UML History First developed in 1995 as IBEL(Integrated Business Engineering Language, IBM) by IBM’s Insurance division for business modelling IBM proposed it to the OMG’s call for an object-oriented analysis and design standard. OCL was then merged into UML 1.1. OCL was used to define UML 1.2 itself. Companies behind OCL Rational Software, Microsoft, Hewlett-Packard, Oracle, Sterling Software, MCI Systemhouse, Unisys, ICON Computing, IntelliCorp, i-Logix, IBM, ObjecTime, Platinum Technology, Ptech, Taskon, Reich Technologies, Softeam UML Diagrams are NOT Enough! We need a language to help with the spec. We look for some “add-on” instead of a brand new language with full specification capability. Why not first order logic? – Not OO. OCL is used to specify constraints on OO systems. OCL is not the only one. But OCL is the only one that is standardized. Where to use OCL? Specify invariants for classes and types Specify pre- and post-conditions for methods As a navigation language To specify constraints on operations Test requirements and specifications Example: A Mortgage System OCL specification of the constraints: More Constraints Examples All players must be over 18. The number of guests in each room doesn’t exceed the number of beds in the room. Constraints (invaria