基于带负应用条件的图变换的用例演化分析

用例（UC）质量影响系统的整体质量与缺陷率，因其规定了实现的预期行为。在先前工作中，我们定义了一种将自然语言书写的用例逐步翻译为图变换（GT）形式化描述的方法，其中用例的每一步被翻译为一条变换规则。该用例形式化能在实际实现产生前检测若干规约问题，从而降低开发成本。本文中，我们通过定义\emph{演化规则}扩展该方法以处理用例演化；演化规则被描述为高阶规则，可同时改变一组变换规则的行为。我们还支持将\emph{负应用条件（NAC）}关联到变换规则与演化规则。对演化规则与描述用例步骤的规则之间相互作用的分析揭示了演化的影响，并有助于在实际执行变更前识别潜在影响。除定义带NAC的用例演化的理论基础外，我们已在Verigraph工具中实现该演化分析技术，并用于验证3个不同案例研究中的影响。结果证明了我们的方法在基于用例辅助开发者演化过程中的适用性与有用性。