【摘要】 本发明公开了一种基于建模技术的软件安全性测试方法，通过将软件安全性缺陷测试行为需求和软件安全性功能测试行为需求转化为形式化软件安全性测试行为需求模型，并基于获得的模型生成有穷状态机特征序列生成安全性测试用例；同时，能够对于获得的安全性测试用例提取安全性缺陷，补充完善安全性缺陷库。本发明提供的方法，解决了现行标准和工程体系中安全性测试需求提取难题，保证软件安全性测试需求的覆盖率和有效性。同时，提供了从安全性测试需求提取，需求形式化描述到测试用例自动生成的测试过程系统，形成一套完成的软件安全测试方法体系和支撑系统，在提高其针对性的同时，缩短软件安全性测试周期，有助于提高软件安全性质量。 【专利类型】发明申请 【申请人】中国人民解放军理工大学 【申请人类型】学校 【申请人地址】210007 江苏省南京市白下区海富巷一号 【申请人地区】中国 【申请人城市】南京市 【申请人区县】玄武区 【申请号】CN201010516164.1 【申请日】2010-10-22 【申请年份】2010 【公开公告号】CN101950271A 【公开公告日】2011-01-19 【公开公告年份】2011 【授权公告号】CN101950271B 【授权公告日】2012-01-25 【授权公告年份】2012.0 【IPC分类号】G06F11/36 【发明人】刘晓明; 黄松; 惠战伟; 胡斌; 任正平; 姚奕; 洪宇; 郑长友; 饶莉萍; 蒋圆圆; 袁利华; 刘艳云 【主权项内容】一种基于建模技术的软件安全性测试方法，其特征在于：所述安全性测试方法包括如下步骤：(a)基于CWE、CERT、CVE和OWASP软件漏洞数据库，确定当前阶段软件安全性典型缺陷集；(b)软件数据流分类描述；(c)建立通过步骤(a)获取的软件安全性典型缺陷与通过步骤(b)获取的软件数据流分类描述预对应表；(d)基于被测件数据流图，根据步骤(c)获取的软件安全性典型缺陷与数据流预对应表，初步获取软件安全性缺陷测试需求；(e)实现对通过步骤(d)获取的软件安全性测试需求的行为描述，得到软件安全性缺陷测试行为需求；(f)基于剖面划分方法，获取软件安全性功能测试需求；(g)通过步骤(f)获取的软件安全性功能测试需求行为描述；(h)通过步骤(e)和步骤(g)获取的软件安全性功能测试行为需求状态图描述；(i)基于有穷状态机实现对通过步骤(h)获取的状态图的形式化描述；(j)基于步骤(i)获取的有穷状态机生成测试用例。 【当前权利人】中国人民解放军理工大学 【当前专利权人地址】江苏省南京市白下区海富巷一号 【引证次数】5.0 【被引证次数】32 【他引次数】5.0 【被他引次数】32.0 【家族引证次数】5.0 【家族被引证次数】32

未经允许不得转载：http://www.zhongzhencnc.com/1785629261.html