[发明专利]用于通过本体模型的比较进行一致性检查的方法和装置

说明书

技术领域

实施例一般涉及根据使用由需求文档和软件代码构成的本体模型的需求文档和软件代码一致性检查。

背景技术

在系统开发过程中，需求文档提供关于软件必须为系统的成功运行提供的功能性的必要信息。需求通常是以流畅的英语语言捕获，并且所得的需求文档遍布数百页。多个功能需求可能具有一些重叠的功能性以及子功能性。因此，类似功能中的不一致可能导致软件中的错误，从而导致或者产生故障。通常，主题专家SME检阅需求文档以识别不一致性和正确性问题，并且将它们纠正以改进需求文档以及软件代码的一致性。此外，当在具有特定实体（例如，车辆）的领域中观察到故障时，也可以将该故障的根本原因追溯到安装在车辆中的模块中执行的其需求文档或软件。给定与需求相关的需求文档的长度和软件算法的数量，手动地链接思维模型中的适当需求的任务是重要、耗时且容易出错的操作。

发明内容

实施例的优点在于识别需求文档之间以及需求与软件代码之间的不一致，使得能够实现不同的子系统之间的故障可追溯性的。本发明还促进追溯通过车辆观察到的关于安装在作为车辆组件的一部分的模块中的其需求文档或软件的故障。本文描述的实施例使用从需求文档、软件代码以及从在用于识别不一致的领域中观察到故障时收集到的数据提取的本体的比较。本文描述的实施例可以处理从各个异构源获得的数据的质量数量以及确定需求文档水平和软件代码水平的根本原因，这通过最小化保修成本改进产品质量。

实施例预期一种在需求文档和软件代码之间应用一致性检查的方法。识别从数据库获得的多个需求文档中的术语。处理器为每个术语分配一个词性标签。词性标签指示需求文档中的每个术语的语法使用。处理器基于词性标签来将每个术语分类。分类识别每个术语是零件术语、症状术语、动作术语、事件术语还是故障模式术语。处理器根据所分类的术语来构建基于本体的一致性引擎。一致性检查通过在从两个上下文文档提取的本体之间应用基于本体的一致性引擎来执行。识别上下文文档之间的不一致术语。校正具有不一致术语的上下文文档中的至少一个。

本发明包括以下方案：

1.一种使用构建的本体模型在需求文档和软件代码之间执行一致性检查的方法，包括以下步骤：

识别从数据库获得的多个需求文档中的术语；

由处理器为每个术语分配词性标签，词性标签指示需求文档中的每个术语的语法使用；

由处理器基于词性标签来将每个术语分类，分类识别每个术语是零件术语、症状术语、动作术语、事件术语还是故障模式术语；

由处理器根据分类的术语来构建基于本体的一致性引擎；

通过在从两个上下文文档提取的本体之间应用基于本体的一致性引擎来执行一致性检查；

识别上下文文档之间的不一致术语；

校正具有不一致术语的上下文文档中的至少一个。

2.如方案1所述的方法，其进一步包括以下步骤：

响应于将词性标签分配给每个术语，识别每个术语是否是短语的一部分；以及

将所述短语分组为具有相同的术语数量的n元语法。

3.如方案2所述的方法，其进一步包括以下步骤：

基于POS标签来识别短语的开始和结束位置，用于确定短语的逐字长度。

4.如方案3所述的方法，其进一步包括以下步骤：根据逐字长度确定公共短语。

5.如方案3所述的方法，其进一步包括以下步骤：响应于确定两个相应短语包括公共词性标签，估计用于确定相关分类的短语的字典式交互信息。

6.如方案3所述的方法，其中用于第一短语和第二短语的字典式交互信息由以下公式确定：

。

7.如方案6所述的方法，其中将与第一短语相关的LMI概率和与第二短语相关的LMI概率相比较，并且其中将与具有较高概率的相应LMI相关的分类分配给第一短语和第二短语。

8.如方案7所述的方法，其中通过捕获其中指定特定短语的上下文使用朴素贝叶斯网模型来确定上下文概率，其中使用LMI概率和朴素贝叶斯网模型来分配所述分类。

9.如方案1所述的方法，其中两个上下文文档之间的一致性检查包括一个第一需求文档和一个第二需求文档。

10.如方案1所述的方法，其中两个上下文文档之间的一致性检查包括第一软件代码和第二软件代码。

11.如方案1所述的方法，其中两个上下文文档之间的一致性检查包括需求文档和软件代码。

12.如方案1所述的方法，其中两个上下文文档之间的一致性检查包括一个第一需求文档和第二需求文档。