文档介绍:天津大学硕士学位论文安全软件开发环境中安全测试工具的设计与实现姓名:陈永慈申请学位级别:硕士专业:计算机应用技术指导教师:李晓红20080601摘要为了满足软件对安全性和可靠性越来越高的需求,微软提出了可信计算的理念,并通过在传统软件开发生命周期的各个阶段增加一系列的针对安全的关注和改进,提出了安全开发生命周期,形成遵照这一软件开发流程的安全软件工程。针对该开发流程的测试阶段,本文研究了如何提供~个自动化或者半自动化的安全测试工具,用来检测程序中潜在的安全漏洞。本文基于现有的安全软件测试方法,提出一种基于攻击模式的软件安全测试方法。首先,基于UML顺序图对攻击模式进行建模,从模型中提取攻击路径并获取攻击路径的相关特征,依据特征确定在程序执行时哪些信息需要被收集,同时进行代码植入。其次,生成随机测试数据,由数据驱动植入代码后的程序执行,并记录程序运行时的执行路径。最后,将攻击路径和执行路径进行匹配,根据匹配结果报告存在的安全漏洞,并进一步提供相应的缓和策略。在此之上,本文设计并实现了一个安全测试工具,功能模块包括攻击路径模块,自动代码植入模块和测试执行及路径匹配模块。该工具用Eclipse开发平台上的插件技术实现,并进一步集成到整个安全软件开发环境中。该安全测试工具给测试人员提供了相对自动化的工具支持,降低了安全测试对测试人员的技术与经验的依赖,提高了开发速度。将其作为安全软件开发环境中的一部分,为构建安全可靠的软件起到了很好的作用。关键词:安全测试攻击模式代码植入路径匹配ABSTRACTTomeettheincreasingdemandsofsoftwareonsecurityandreliability,,asectu',thispaperstudieshowtoprovideanautomatedorsemi-automatedsecuritytestingtool,,,,informationneedingbecollectedduringprogramexecutionisdetermined,andmeanwhile,,randomtestdataisgeneratedonwhichadata-drivencode—,,anautomateddata-implementingmoduleandatest-executingandpath—matchingmodule,功etoolisimplementedbyplug—,reducesthedepen