发明授权
- 专利标题: 一种基于建模技术的软件安全性测试方法
- 专利标题(英): Modeling technology-based software security test method
-
申请号: CN201010516164.1申请日: 2010-10-22
-
公开(公告)号: CN101950271B公开(公告)日: 2012-01-25
- 发明人: 刘晓明 , 黄松 , 惠战伟 , 胡斌 , 任正平 , 姚奕 , 洪宇 , 郑长友 , 饶莉萍 , 蒋圆圆 , 袁利华 , 刘艳云
- 申请人: 中国人民解放军理工大学
- 申请人地址: 江苏省南京市白下区海富巷一号
- 专利权人: 中国人民解放军理工大学
- 当前专利权人: 中国人民解放军理工大学
- 当前专利权人地址: 江苏省南京市白下区海富巷一号
- 代理机构: 南京苏高专利商标事务所
- 代理商 柏尚春
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明公开了一种基于建模技术的软件安全性测试方法,通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型,并基于获得的模型生成有穷状态机特征序列生成安全性测试用例;同时,能够对于获得的安全性测试用例提取安全性缺陷,补充完善安全性缺陷库。本发明提供的方法,解决了现行标准和工程体系中安全性测试需求提取难题,保证软件安全性测试需求的覆盖率和有效性。同时,提供了从安全性测试需求提取,需求形式化描述到测试用例自动生成的测试过程系统,形成一套完成的软件安全测试方法体系和支撑系统,在提高其针对性的同时,缩短软件安全性测试周期,有助于提高软件安全性质量。
公开/授权文献
- CN101950271A 一种基于建模技术的软件安全性测试方法 公开/授权日:2011-01-19