Testing Unified Modeling Language (UML) Designs

提案编号：0203285TITLE：TestUMLDesignsPI：Robert France建议的研究关注于开发支持从UML设计模型生成设计级测试用例的机制。生成的测试用例旨在用于UML设计评审和检查，作为评估UML模型和识别软件设计中的错误的一种手段。开发一种统一建模语言设计测试方法和测试生成支持需要解决以下问题：(1)提供对统一建模语言模型和测试构件的可分析表示，以及(2)提供灵活的测试生成机制。为了解决这些问题，建议的研究工作被组织成以下研究活动：(1)从面向测试的类图和协作图的形式化中得出测试目标。(2)定义创建测试目标的策略。这些策略将通过模型复盖率目标来表达。(3)提供可以部分自动化的技术来从测试目标系统地生成测试用例。(4)评估本研究中开发的设计测试技术的有效性。本研究将产生可用于开发工业强度的技术和工具来评估UML设计的结果。这项研究产生的结果还将加深对如何正式解释和评估OO设计的理解。

PROPOSAL NUMBER: 0203285TITLE: Testing UML DesignsPI: Robert FranceThe proposed research is concerned with developing mechanisms that support the generation of design-level test cases from UML design models. The generated test cases are intended to be used in UML design reviews and inspections as a means for evaluating UML models and identifying errorsin software designs. Developing a UML design testing approach and test generation support requires addressing the following issues: (1) Providing an analyzable representation of UML models and test artifacts, and (2) providing a flexible test generation mechanism. To address these issues the proposed research effort is structured into the following research activities:(1) Deriving test objectives from test-oriented formalizations of Class and Collaboration Diagrams. (2) Defining strategies for creating test objectives. These strategies will be expressed in terms of model coverage goals.(3) Providing techniques that can be partially automated for systematically generating test cases from test objectives.(4) Assessing the effectiveness of the design testing technique developed in this research.This research will produce results that can be used to develop industrial-strength techniques and tools for evaluating UML designs. The results produced by this research will also deepen understanding of how OO designs can be formally interpreted and evaluated.