[发明专利]一种软件功能需求与脆弱点知识的形式化表达方法在审
| 申请号： | 202110772615.6 | 申请日： | 2021-07-08 |
| 公开（公告）号： | CN113378170A | 公开（公告）日： | 2021-09-10 |
| 发明（设计）人： | 宋明秋;谷蔚然 | 申请（专利权）人： | 大连理工大学 |
| 主分类号： | G06F21/56 | 分类号： | G06F21/56;G06F21/57 |
| 代理公司： | 大连理工大学专利中心 21200 | 代理人： | 温福雪 |
| 地址： | 116024 辽*** | 国省代码： | 辽宁;21 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种软件功能需求与脆弱点知识的形式化表达方法，属于软件工程领域。建立了将自然语言描述的需求说明文档转换为SOFL语言说明书规范的规则，以及将脆弱点代码知识转换为SOFL语言说明书规范的规则，实现了以统一的知识表达形式描述每一条软件功能需求和每一个脆弱点代码示例的目的，消除了自然语言和计算机代码两种不同知识表达方式之间的鸿沟，为软件功能需求与脆弱点知识的匹配做好了铺垫，便于在软件需求分析阶段对软件潜在脆弱点进行识别，并帮助实现代码功能与软件需求的一致性检验。 | ||
| 搜索关键词： | 一种 软件 功能 需求 脆弱 知识 形式化 表达 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于大连理工大学，未经大连理工大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110772615.6/，转载请声明来源钻瓜专利网。
