论文标题
朝着重构怪异的要求
Towards Refactoring FRETish Requirements
论文作者
论文摘要
像软件一样，需求在开发过程中经常变化和变化。重构是重组软件而不改变其行为的过程，以使其更易于理解和修改。我们建议对正式要求进行重构，以减少要求集中的重复，以便随着系统和要求的发展，它们更容易维护。这篇进行中的工作论文描述了我们在NASA正式需求启发工具（FRET）中对重构要求进行重构要求的动机和初步方法。这项工作是由我们对工业飞机发动机软件控制器用例的经验直接触发的。在本文中，我们反思了所获得的要求，并考虑其可维护性，提出和概述功能以重构怪异的要求。
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make it easier to understand and modify. We propose refactoring for formalised requirements to reduce repetition in the requirement set so that they are easier to maintain as the system and requirements evolve. This work-in-progress paper describes our motivation for and initial approach to refactoring requirements in NASA's Formal Requirements Elicitation Tool (FRET). This work was directly triggered by our experience with an industrial aircraft engine software controller use case. In this paper, we reflect on the requirements that were obtained and, with a view to their maintainability, propose and outline functionality for refactoring FRETISH requirements.
