[论文解读] Pre-Requirement Specification Traceability: Bridging the Complexity Gap through Capabilities

Ramya Ravichandar, James D. Arthur+1 more|ArXiv.org|Mar 2, 2007

Software Engineering Techniques and Practices参考文献 26被引用 15

一句话总结

本文提出能力工程（Capabilities Engineering）作为一种方法，通过引入能力（Capabilities）——即处于过渡空间中的高度内聚、低耦合的功能抽象——来弥合非正式用户需求与正式系统需求之间的复杂性鸿沟。通过使用指令（directives）将需求与能力关联，并将能力映射到需求，该方法实现了自动化、低开销的预需求规格追溯，从而提升可追溯性、变更容错性与大规模系统中的可维护性。

ABSTRACT

Pre-Requirement Specification traceability is the activity of capturing relations between requirements and their sources, in particular user needs. Requirements are formal technical specifications in the solution space; needs are natural language expressions codifying user expectations in the problem space. Current traceability techniques are challenged by the complexity gap that results from the disparity between the spaces, and thereby, often neglect traceability to and from requirements. We identify the existence of an intermediary region -- the transition space -- which structures the progression from needs to requirements. More specifically, our approach to developing change-tolerant systems, termed Capabilities Engineering, identifies highly cohesive, minimally coupled, optimized functional abstractions called Capabilities in the transition space. These Capabilities link the problem and solution spaces through directives (entities derived from user needs). Directives connect the problem and transition spaces; Capabilities link the transition and solution spaces. Furthermore, the process of Capabilities Engineering addresses specific traceability challenges. It supports the evolution of traces, provides semantic and structural information about dependencies, incorporates human factors, generates traceability relations with negligible overhead, and thereby, fosters pre-Requirement Specification traceability.

研究动机与目标

• 解决预需求规格（pre-RS）追溯这一关键挑战，尽管其对系统成功至关重要，但常被忽视。
• 克服非结构化用户需求（问题空间）与正式需求（解决方案空间）之间的复杂性鸿沟，该鸿沟阻碍了有效追溯。
• 开发一种系统化方法，以在从需求到需求的过渡过程中保留领域信息与语义关系。
• 将可追溯性作为开发过程中的首要关注点，以减少人工开销并提升可维护性。
• 通过从一开始就将可追溯性嵌入架构抽象中，实现可扩展、具备变更容错能力的系统。

提出的方法

• 引入“过渡空间”作为问题空间（用户需求）与解决方案空间（需求）之间的中介区域，能力在此空间中形成。
• 将“指令”定义为从用户需求中导出的实体，用于将领域语义带入过渡空间。
• 在过渡空间中将能力形式化为高度内聚、低耦合的功能抽象，以连接指令与系统需求。
• 使用功能分解（Functional Decomposition, FD）图来建模指令与能力之间的关系，使可追溯性链接作为图的边。
• 通过使追踪链接内生于能力与指令的结构中，将可追溯性嵌入开发过程，最大限度减少人工干预。
• 利用能力的架构特性——高内聚性与低耦合性——来限制变更影响范围，支持可扩展、可维护的系统。

实验结果

研究问题

• RQ1 如何有效弥合非正式用户需求与正式需求之间的复杂性鸿沟，以实现可靠的预需求规格追溯？
• RQ2 何种架构抽象可作为中介，以在从问题空间到解决方案空间的过渡过程中保留语义与结构关系？
• RQ3 如何在大规模软件开发中实现系统化、低开销且可扩展的可追溯性？
• RQ4 能力工程在系统演化过程中如何提升变更容错性并支持可追溯性？
• RQ5 可追溯性能否自然地嵌入开发过程，而不会带来显著的人工或计算开销？

主要发现

• 在过渡空间中引入能力，可实现用户需求与系统需求之间的内在、低开销可追溯性，减少对人工维护追踪的依赖。
• 从用户需求中导出的指令保留了领域语义，并作为问题空间与过渡空间之间的语义桥梁。
• 基于能力的系统因具备高内聚性与低耦合性，表现出更强的变更容错能力，能有效限制变更的级联影响，并支持稳健的可追溯性。
• FD图模型为可追溯性链接提供了结构基础，其中边自然地表示指令、能力与需求之间的追踪关系。
• 预需求规格追溯得到显著增强，因为追踪链接是架构设计过程的副产品，而非事后补充。
• 通过将可追溯性嵌入核心开发流程，该方法降低了可追溯性的成本，使其在大规模与小规模系统中均具备可扩展性与可持续性。