一个对评估的状态机的可理解性的度量：实证研究外文文献翻译、中英文翻译、外文翻译.docxVIP

附录一： 一个对评估的状态机的可理解性的度量：实证研究 可理解性（也称可理解性或适当可识别性）被认为是构建模型的重要的因素之一。在ISO 25010，可理解性被归类为一种使用属性。它也被认为是维修方面的一个重要因素。也就是说，可以理解的模型可以维护活动有所支持，相应的进行分析， 修改和扩展，从而校正系统，使得系统更加完善。众所周知，在软件开发过程中， 维修任务的50%和整个工艺的60％都是在尝试了解软件。这是因为错误的理解是导致错误的主要原因。误解的接口规范将导致通信错误，并导致执行错误，例如出现缺少功能和故障的现象。恩德雷斯发现，他所分析的误区中，有46％都涉及到误解。 状态机（SM）是一个很流行的行为模型，用于描述一个系统、组件或对象的动态行为。SM被用于开发商如设计师，程序员，经理和测试人员之间的沟通工具。一个状态机（SM）的行为表现为可接受的事件的顺序，以及事件的执行过程，并且说明事件引起的变化。该模型还用于各种软件工程领域，如正式验证这一领域和测试数据自动生成的领域，以及逆向工程的领域。一个单一系统的行为可以由多个形式的状态机（SMs）进行描述。换句话说，即有这些多个形式的状态机（SMs）同时指定了相同的行为，那么也不会造成混乱，因为他们的状态和转换都可以分别配置。例如，一个有界堆容器的行为可以描述为用两种状态，即空和非空。在另一方面， 通过把非空又可以分为部分空和全满这两种状态，这样就可以使得一个状态机（SM） 同时存在三个状态，即空，部分空和满。 不同配置的多个形式的状态机（SMs）的可理解性又是不同，即使它们所描述的行为都是等效的。例如，两个状态机（SM）为上文中所提及的有界堆栈容器所产生的可理解性可能也是不相同的。如果是前者的状态机（SM），有两种状态用于发展，那么全状态的限制则有可能出现被忽略的可能性，因为完整的状态并没有明确在状态机（SM）中提出。为了提高模型的可理解性，现在已经提出并开发了大量的重构设计规则和设计模式。 定量测量可理解性是高度理解和使用状态机（SM）实现其建造功能的第一步。我们所现有认知的整个范围内，评估状态机（SM）的理解性的研究指标从未被报道过。尽管状态机（SM）质量评估作为一项极为重要的指标，但状态机（SM）指标进 行质量评估或故障预测的深入研究却停滞不前，相反，取而代之的是元素指标，如计数状态或转换的数量。很多状态机（SM）生成方法事实上已经得到提出，但生成的多个形式的状态机（SMs）的质量却未被得到过验证。其中的原因可以归因于缺乏为状态机（SM）的品质进行定量测量的方法。 规模和复杂性的几个元素指标已经提出。但是，实际使用这些指标来评估可理解性却有些负担和阻碍，因为状态机（SM）的可理解性不需要小规模或者简单的形式。任何系统的行为都可以描述为一个单一的状态的状态机（SM）。这样的状态机 （SM）是非常小的和简单的。然而，因为单状态捕获与系统的所有状态相关，这可能是比较难于理解的。例如，有界栈容器的行为可以表示为只有一个状态的状态机 （SM）。该状态机（SM）可能有与之堆叠的方法相同的转换数目，例如，两个推入 （）和推出（）转换形式。但是，状态机（SM）与结构模型如同一类型的图表并没什么不同。 聚和耦合是影响可理解性因素中的重要因素。凝聚是模块中的元素关联程度的一种度量。在强内聚模块中，所有的元素都涉及到一个单一的功能。这种凝聚力的模块可以更容易被理解。耦合，在另一方面，是所测模块之间的关系的一个指标。两个模块之间的高耦往往会使得它更难于被理解。与此相反，低耦合装置则是自包含的。因此，该模块可以更容易的被维护和理解（即所谓的KISS原则：“保持简单， 或字面意义上为愚蠢的”）。 我们做出的假设是，各状态在清楚地表明单一的情况下可以诠释为可理解的状态机（SM）。换句话说，提高理解这一重要因素是状态的简单性而不是状态机（SM）。因此，我们认为，各状态应高度聚合，尽可能少的耦合。我们也相信，如果他们的状态是可以理解的，那么状态机（SM）也可以理解。 我们基于上述假说，于是提出了一个可理解性度量的概念，称为状态机可理解性度量（SUM）。首先，让我们定义内聚和耦合度量。凝聚力指标是用来测量相互之间的状态和转换的一致性。具体地说，它计算状态的状况和相关的转换的约束之间的关系的程度。耦合度量是用来衡量状态之间的独立性。具体地来说，我们的耦合度量分析了由状态得到的相似情况，并计数行为上依赖状态的数目。最后，状态机可理解性度量（SUM）是通过混合的凝聚力和耦合度量综合进行定义的。 为了验证所提出状态机可理解性度量（SUM）的有效性，我们进行了一项实验。在实验中，我们为五个系统分别准备了五不同配置的状态机（SM），一共产生25 单一的状态机（SM）。使用多个形式的状态机（SMs）的主要属性的十个问题