Specification, Analysis, and Testing of Scenario-Based Requirements

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

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.