35、面向特性编程中契约设计的应用与软件产品线集成测试

面向特性编程中契约设计的应用与软件产品线集成测试

面向特性编程中的契约细化方法

在面向特性编程（FOP）中应用契约设计（DbC）时，契约细化是一个关键问题。为了评估不同的契约细化方法，我们提出了五种规范方法，并通过五个案例研究进行了评估。

契约细化方法对比

方法	表达能力	复杂度	规格克隆情况
普通契约	–	++	++
显式细化	++	–	0
连续契约细化	0	+	+
纯方法细化	++	0	++
契约覆盖	+	–	–

从表格中可以看出，不同的方法在表达能力、复杂度和避免规格克隆方面表现不同。“++”表示该方法在该属性上表现良好，“