[发明专利]一种模块集成式软件架构下的功能逻辑函数库验证方法

权利要求书

1.一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：包括以下步骤：

步骤1：将所有基础逻辑点按照顺序编码；

步骤2：将所有系统功能按照顺序编号，所述的系统功能是指软件最终实现的系统级功能；

步骤3：建立1～Y号系统功能的频谱编码；

步骤4：读取步骤3中Y条系统功能对应的频谱编码并将频谱编码赋值给每一个基础逻辑点输入向量Vx；

步骤5：对于每一条系统功能，建立系统功能验证用例，并将验证用例的结果赋值给一个Y位的用例验证向量Vy；

步骤6：计算每一个基础逻辑点输入向量Vx与用例验证向量Vy的距离；

步骤7：顺序排查软件代码，从而实现软件故障定位。

2.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤1所述的将所有基础逻辑点按照顺序编码，具体为：将所有基础逻辑点按顺序分为1～X号基础逻辑点，X代表基础逻辑点的最大个数。

3.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤2所述的将所有系统功能按照顺序编号，具体为：将所有系统功能按顺序分为1～Y号系统功能，Y代表系统功能的最大个数。

4.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤3所述系统功能的频谱编码，是根据系统功能与基础逻辑点之间的调用关系建立。

5.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤3所述的系统功能的频谱编码，是一组X位的二进制编码，每一位对应一个基础逻辑点，若该系统功能调用了该基础逻辑点，则该逻辑点对应位为1，否则为0。

6.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤5所述的验证用例的结果，表示为若验证用例输出状态正确则该用例结果为0，若输出状态错误则该用例结果为1。

7.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤6所述的每一个基础逻辑点输入向量Vx与用例验证向量Vy的距离越近，表示这两个向量相似度越高，则该基础逻辑点故障率越高。

8.根据权利要求1所述的一种模块集成式软件架构下的功能逻辑函数库验证方法，其特征在于：步骤7所述的顺序排查软件代码，是按照基础逻辑点故障率从高到低的顺序进行排查。