Specification, Analysis, and Testing of Scenario-Based Requirements

基于场景的需求的规范、分析和测试

• 批准号: 9970925
• 负责人: Rajeev Alur
• 金额: $ 21.5万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-09-15 至 2004-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9970925&HistoricalAwards=false
• 关键词: Specification; Analysis; Testing; Scenario; Based

9970925 PI: Alur, Rajeev University of PennsylvaniaSpecification, Analysis, and Testing of Scenario-based RequirementsScenario-based specifications such as message sequence charts offer an intuitive and visual way of describing design requirements. Such specifications focus on message exchanges among communicating entities in distributed software systems. Recent standardization of syntax and semantics (MSC'96 or Z.120) by ITU and integration into modern object-oriented software engineering methodologies such as UML, lead us to believe that scenario-based specifications will play an increasingly important role in design of concurrent systems. This research aims to develop new language features, methodologies, analysis techniques, and tools for effective use of scenario-based requirements in software design. We propose to pursue two complementary research directions. The first goal is to develop new techniques to employ scenario-based requirements for automatic validation. For this purpose, we will develop algorithms for model checking and test-case generation based on specifications given by message sequence charts. The second goal is to develop new constructs to allow specification of complex behaviors. For this purpose, we will investigate constructors that are particularly suitable for abstraction, and for specification of mixed discrete-continuous behaviors. We propose to investigate foundational research questions related to the above issues, and develop an integrated toolkit for specification, analysis, and testing of scenario-based requirements.

9970925 PI：宾夕法尼亚拉吉夫大学的Alur基于场景的需求的规范、分析和测试消息序列图表等基于场景的规范提供了一种直观、可视的方式来描述设计需求。这种规范侧重于分布式软件系统中通信实体之间的消息交换。最近ITU对语法和语义(MSC‘96或Z.120)的标准化以及与现代面向对象软件工程方法论(如UML)的集成，使我们相信基于场景的规范将在并发系统的设计中发挥越来越重要的作用。这项研究旨在开发新的语言功能、方法、分析技术和工具，以便在软件设计中有效地使用基于场景的需求。我们建议追求两个互补的研究方向。第一个目标是开发新的技术，以使用基于场景的需求进行自动验证。为此，我们将开发基于消息序列图给出的规范的模型检查和测试用例生成算法。第二个目标是开发新的结构来规范复杂的行为。为此，我们将研究特别适合抽象和规范离散-连续混合行为的构造函数。我们建议研究与上述问题相关的基础研究问题，并开发一个集成的工具包，用于描述、分析和测试基于场景的需求。