基于动态监测的构件安全测试模型

来源 :2007中国计算机大会 | 被引量 : 0次 | 上传用户:syfounder
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素,在基于构件的软件工程中提高构件的可测试性及对构件的测试能力尤为重要。本文提出了一种基于动态监测的构件安全测试模型TMCS(Testing Model of ComponentSecurity),并对TMCS模型中的构件安全需求说明、动态监测、错误注入和测试方法进行了详细阐述,同时给出了一种构件安全测试方法及其算法CSVD(Component Security VulnerabilityDetecting)。最后用TMCS模型对第三方构件Punylib.dll进行了安全性测试分析,结果表明TMCS模型具有较好的完整性、可行性、适用范围广及可操作性强等优点。
其他文献
由于安全关键软件自身及其环境的复杂性,软件故障难以完全避免。因此,在软件出现故障后能够快速有效地诊断并隔离故障,使得软件能够持续关键任务的运行就显得十分重要。 本文
会议
基于构件的软件工程能够有效地提高软件开发的质量和效率.但传统的软件构件技术不能适应当前开放、动态、多变的Internet环境,软件构件需要具有更强的自治性、自适应性和智能
会议
相比传统方法,使用面向方面的相关思想和工具能编写更为灵活和通用的监视软件。 利用这一特性,本文提出了一种基于AOP的通用监视框架,并用AspectJ给出了在Java平台下的实现。
为了更好地理解和分析Web服务组合的过程及其行为特性,提出了基于扩展UML模型的Web服务组合建模和分析方法.在WSDL和BPEL描述的服务及其组合理论基础上,分别对UML2.0的顺序图和
会议
提出了基于渗流理论的概率可靠分发协议(PLPD).与其他概率可靠分发协议不同,PLPD协议感知节点的地理信息并进行有向分发,不需要泛洪控制信息来进行组成员管理.在PLPD协议中,
软件测试是一种检测软件缺陷,提高可靠性水平的重要手段。证明、检测和预防是软件测试追求的目标,人们可以从不同角度设计软件测试来实现测试目标。软件测试策略主要包括如何选
会议