Testing Unified Modeling Language (UML) Designs

测试统一建模语言 (UML) 设计

• 批准号: 0203285
• 负责人: Robert France
• 金额: $ 30万
• 依托单位: Colorado State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-09-01 至 2006-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0203285&HistoricalAwards=false
• 关键词: Testing; Unified; Modeling; Language; UML

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.

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