一种软件功能需求与脆弱点知识的形式化表达方法

摘要

本发明提供了一种软件功能需求与脆弱点知识的形式化表达方法，属于软件工程领域。建立了将自然语言描述的需求说明文档转换为SOFL语言说明书规范的规则，以及将脆弱点代码知识转换为SOFL语言说明书规范的规则，实现了以统一的知识表达形式描述每一条软件功能需求和每一个脆弱点代码示例的目的，消除了自然语言和计算机代码两种不同知识表达方式之间的鸿沟，为软件功能需求与脆弱点知识的匹配做好了铺垫，便于在软件需求分析阶段对软件潜在脆弱点进行识别，并帮助实现代码功能与软件需求的一致性检验。