Use cases based requirements engineering

用例是系统行为的黑盒视图。它们以面向用户和直观的方式表达。这样的用例已经被证明对捕获和记录系统的外部功能需求是有用的。不同的软件开发方法使用用例作为需求的一部分。然而，在用例形式化和自动化支持方面已经做了很少的工作。建议的研究计划是正在进行的工作的延续，旨在提供一种方法和工具来支持基于需求工程的用例。我们专注于用文本自然语言表示的抽象用例。到目前为止获得的结果包括：-用例的正式定义，-用例的受限自然语言，-从用例中合成分层状态机（状态图）的增量算法，-用例捕获和细化与领域模型相结合的方法。我们在一个开源工具中实现了我们的结果，用于用例捕获和模拟验证。在拟开展的研究项目中，我们计划开展以下工作：-扩展非功能性和横切需求的用例，-应用正式语言（如OCL）和模型检查到基于需求验证的用例，-通过用例细化到场景，从需求阶段过渡到设计阶段，-开发有效地从用例派生测试用例的方法，-使用来自教学和案例研究的反馈来验证和改进我们的方法。

Use cases are black box views of a system behavior. They are expressed in a user oriented and intuitive way. As such use cases have been proved useful to capture and document external functional requirements of systems. Different software development approaches use use cases as part of requirements. However, very few work have been done on use cases formalization and automated support. The proposed research program is a continuation of an ongoing work that aims at providing an approach and tools to support use cases based requirements engineering. We focus on abstract use cases represented in a textual natural language. Results obtained so far include: - a formal definition of use cases, - a restricted natural language for use cases, - an incremental algorithm for synthesis of hierarchical state machines (statecharts) from use cases, - a methodology for use cases capture and elaboration in conjunction with a domain model. We implemented our results in an open source tool for use cases capture and validation by simulation. In the proposed research program, we plan to work on: - extension of use cases for non-fonctional and crosscutting requirements, - the application of formal languages such as the OCL, and model checking to use cases based requirements validation, - the transition from the requirements phase to the design phase through use cases refinement to scenarios, - development of approaches to effectively derive test cases from use cases, - validation and improvement of our methodology using feedback from teaching and case studies.