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

说明书

本发明公开了一种模块集成式软件架构下的功能逻辑函数库验证方法，包括步骤1：将所有基础逻辑点按照顺序编码；步骤2：将所有系统功能按照顺序编号；步骤3：建立1～Y号系统功能的频谱编码；步骤4：读取步骤3中Y条系统功能对应的频谱编码并将频谱编码赋值给每一个基础逻辑点输入向量Vx；步骤5：对于每一条系统功能，建立系统功能验证用例，并将验证用例的结果赋值给一个Y位的用例验证向量Vy；步骤6：计算每一个基础逻辑点输入向量Vx与用例验证向量Vy的距离；步骤7：顺序排查软件代码，从而实现软件故障定位。

技术领域

本发明属于软件验证技术领域，尤其涉及一种模块集成式软件架构下的功能逻辑函数库验证方法。

背景技术

模块集成式软件架构设计是一种新型的软件开发模式，将软件设计与软件编码独立开展，软件的功能不再由显性化的任务模块来表达，而是通过调用各类基础功能逻辑点集成来实现软件的功能。软件编码人员需要建立大量的基础逻辑点以供软件设计人员挑选使用。设计人员根据需求挑选合适的基础逻辑点通过建立软件功能的数据流实现对软件的运行过程控制。在这种开发模式下，软件功能的实现通过运行过程控制关联至众多单一的基础逻辑点，软件编码将不再与系统逻辑直接相关。

随着基础逻辑点的积累，逐渐形成体量庞大的逻辑函数库文件。而逻辑函数库的软件质量是软件功能验证中非常重要的一个环节，当其中一个基础逻辑点出现错误时，会对所有调用它的软件功能逻辑产生影响。如何快速准确的找到故障并进行纠错是保证软件可靠性以及健壮性的关键技术。传统的故障定位手段主要是凭借开发人员的个人经验来进行人工调试，在可疑代码周围插入打印语句，通过分析输出变量的值检查相关的源代码来查找错误。这种方法对开发者提出了较高的要求，需要检查大量代码，效率比较低。

发明内容

本发明的目的：提出一种基于功能频谱编码的功能逻辑函数库验证方法，该方法通过建立基础逻辑点与系统功能逻辑之间的模型，建立系统功能的逻辑函数频谱编码，通过对比基础逻辑点输入向量Vx与用例验证向量Vy之间的相似度来实现功能逻辑函数库的验证。

本发明的技术方案：

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

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

步骤2：将所有系统功能按照顺序编号；

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

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

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

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

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

步骤1所述的将所有基础逻辑点按照顺序编码，具体为：将所有基础逻辑点按顺序分为1～X号基础逻辑点，X代表基础逻辑点的最大个数。

步骤2所述的将所有系统功能按照顺序编号，具体为：将所有系统功能按顺序分为1～Y号系统功能，Y代表系统功能的最大个数。

步骤3所述系统功能的频谱编码，是根据系统功能与基础逻辑点之间的调用关系建立。

步骤3所述的系统功能的频谱编码，是一组X位的二进制编码，每一位对应一个基础逻辑点，若该系统功能调用了该基础逻辑点，则该逻辑点对应位为1，否则为0。

步骤5所述的验证用例的结果，表示为若验证用例输出状态正确则该用例结果为0，若输出状态错误则该用例结果为1。