基于变异技术的第三方构件安全性测试系统

• 作者: 葛宏河 蔡赛华 詹永照 陈加梅 陈锦富
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 工学
• 关键词: 安全性测试 第三方构件 参数变异测试 条件变异测试 状态变异测试
• 年，卷（期）: 2018,（1）
• 页码范围: 71-77
• 页数: 7页
• 分类号: TP311.5
• 字数: 6237字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2018.01.012

摘要

针对基于变异技术的第三方COM(component object model)构件安全性异常的自动检测问题,设计实现了一个第三方构件安全性测试原型系统TCSTS(third-party component security testing system).TCSTS系统的主要功能模块有构件接口分析模块、参数变异测试模块、条件变异测试模块、状态变异测试模块和安全分析模块.构件接口分析模块能分析得到被测试构件的接口方法和参数信息;在参数变异测试模块中,采用参数变异测试用例生成算法生成参数变异值集合进行变异测试;在条件变异测试模块中,生成违背前置条件的测试用例并结合后置条件检测条件语句中是否存在安全漏洞;在状态变异测试模块中,基于行为冲突算法和条件冲突算法变异可扩展有穷状态机以生成冲突序列,进而参照变异前序列进行安全性测试,最终通过安全分析模块生成测试报告.试验结果表明:所设计实现的TCSTS原型系统具有自动化程度高、操作简单以及测试效果较好的特点;TCSTS对异常序列的检测率达到了20%以上,表明TCSTS能够较好地对构件中状态相关的安全漏洞进行检测.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	詹永照	江苏大学计算机科学与通信工程学院	189	1744	21.0	31.0
2	陈锦富	江苏大学计算机科学与通信工程学院	17	78	4.0	8.0
3	葛宏河	江苏大学计算机科学与通信工程学院	2	2	1.0	1.0
4	蔡赛华	江苏大学计算机科学与通信工程学院	2	3	1.0	1.0
8	陈加梅	江苏大学计算机科学与通信工程学院	2	5	2.0	2.0