技术编号:6516321
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明提供了一种,包括通过第三方构件的类型库分析构件接口,获得构件的类型信息;根据构件的描述和IDL,得到构件的安全需求规约;从需求规约中获得方法的前置条件和后置条件,对方法序列进行条件变异测试;需求中提取参数值约束、关系约束,对方法序列进行参数规约变异测试;根据步骤3和步骤4的测试结果,得到脆弱性测试报告。本发明对显式安全异常有一定的效果,可以检测构件的安全性,提高了测试的效率。专利说明[0001]本发明属于第三方构件脆弱性测试,涉及一种。背景技术[00...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。