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

摘要

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