基于ocl约束的状态图测试方法的研究-计算机软件与理论专业论文.docxVIP

中文摘要 I 摘 要 随着计算机应用的普及，软件质量成为软件工程最为关心的问题之一，软件 测试作为软件质量的有效保障而备受关注。统一建模语言（UML）以其可全方位 描述软件系统蓝图的优势，在众多软件测试技术中脱颖而出。但由于 UML 只是半 形式化语言，并不能精确描述事件上的约束条件，尤其是对 UML 状态图这样的动 态视图，标准 UML 建模工具只能验证其静态的连贯性，并无法对由于某些方法的 动态执行而引起的数据动态改变进行验证，因而会使测试用例的完备性出现很大 不足。而形式化约束语言可以对此做到有效补充，它可以帮助测试人员充分理解 被测系统，进而提高测试用例的获取率以及测试覆盖率。因此，在 UML 模型上添 加形式化语言是必要的。 目前比较常用的形式化语言主要有 OCL、Z 以及 Object-Z。其中，Z 语言不是 面向对象的；Object-Z 语言的表达偏近于编程人员较难理解的数学方式，事件约束 条件也需要计算得到；而 OCL 语言风格类似于编程语言，更易为编程人员所接受， 且可读性较强、易于使用；最重要的是，在 OCL 语言中明确地给出前置条件与后 置条件，更易于使用。 基于 UML/OCL 测试的现有许多研究采用先对 UML 模型生成测试线索，再结 合 OCL 文档生成测试用例，无法做到测试用例的自动生成。本论文在研究软件测 试技术、UML 状态图、OCL 语言以及 U