按构造更正（CbC）是一种增量程序构造构造功能正确的程序的过程。这些程序是按照内在保证的规范逐步构建以获得满意。没有专门的工具支持，CbC使用起来很复杂，因为它需要一组预定义的固定粒度的细化规则，这些规则是编程语言之上的附加规则。每个细化规则引入特定的编程语句，开发人员无法脱离这些规则用于构建程序。CbC允许在结构化和增量方式确保正确性，但有限灵活性是CbC的一个缺点。在这项工作中，我们将经典CbC与CbC-Block和TraitCbC。CbC-Block和TraitCbC两种方法都与CbC，但他们有新的语言结构，使软件更加灵活施工方法。我们为这两种方法提供了编程指南，这与CbC类似，导致了结构良好的程序。CbC块扩展CbC通过添加细化规则来插入任何语句块。因此，我们引入CbC-Block作为CbC的扩展。TraitCbC实现以性状为基础，采用特定方法进行纠正。我们正式引入TraitCbC，并证明建设战略的合理性。所有三种开发方法都在质量上进行了比较编程结构、工具支持和可用性，以评估哪一个是最佳的适合某些任务和开发人员。