[发明专利]基于条件与参数变异的第三方构件脆弱性测试方法有效
| 申请号： | 201310501450.4 | 申请日： | 2013-10-23 |
| 公开（公告）号： | CN103617114A | 公开（公告）日： | 2014-03-05 |
| 发明（设计）人： | 陈锦富;陈加梅;詹永照;杨鹤标;苏晨飞 | 申请（专利权）人： | 江苏大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 江苏致邦律师事务所 32230 | 代理人： | 樊文红 |
| 地址： | 212013 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种基于条件与参数变异的第三方构件脆弱性测试方法，包括：通过第三方构件的类型库分析构件接口，获得构件的类型信息；根据构件的描述和IDL，得到构件的安全需求规约；从需求规约中获得方法的前置条件和后置条件，对方法序列进行条件变异测试；需求中提取参数值约束、关系约束，对方法序列进行参数规约变异测试；根据步骤3和步骤4的测试结果，得到脆弱性测试报告。本发明对显式安全异常有一定的效果，可以检测构件的安全性，提高了测试的效率。 | ||
| 搜索关键词： | 基于 条件 参数 变异 第三 构件 脆弱 测试 方法 | ||
【主权项】：
一种基于条件与参数变异的第三方构件脆弱性测试方法，其特征在于，包括：步骤1通过第三方构件的类型库分析构件接口，获得构件的类型信息；步骤2根据构件的描述和IDL，得到构件的安全需求规约；步骤3从需求规约中获得方法的前置条件和后置条件，对方法序列进行条件变异测试；步骤4需求中提取参数值约束、关系约束，对方法序列进行参数规约变异测试；步骤5根据步骤3和步骤4的测试结果，得到脆弱性测试报告。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于江苏大学，未经江苏大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201310501450.4/，转载请声明来源钻瓜专利网。
