项目概述如下： 该项目的总体目标是通过基于规则的方法和向后跟踪到设计级别（类图）来实现有效的故障检测。我们的工具为我们的客户提供了一种有效的方法，从UML工件（类图）中他们将提取主要实体和它们之间的相互作用将在提取的实体上描述错误。在实体的源代码点创建规则。这些规则应用于源代码以检测错误。它将维护可能发生的错误类型的列表，并针对所描述的错误创建规则。规则避免了由个别开发人员的编程技巧引起的设计级错误的不准确性。他们将从设计级（类图）进行前向映射，并检测源代码中的错误。工具还将从源代码执行向后映射，并检测设计级别（类图）中的错误。 •项目的功能 以下是我们工具的功能 我们的工具脚本UML（实体名称，行为和关系） 描述实体上的错误 创建描述错误的规则， 通过应用规则检测源代码中的错误， 要在设计级别找到相同的错误，我们会进行向后映射。