Testing Unified Modeling Language (UML) Designs

提案号：0203285标题：测试UML设计spi: Robert franci提议的研究关注于开发支持从UML设计模型生成设计级测试用例的机制。生成的测试用例打算在UML设计评审和检查中使用，作为评估UML模型和识别软件设计错误的一种手段。开发UML设计测试方法和测试生成支持需要解决以下问题：(1)提供UML模型和测试工件的可分析表示，以及(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.