基于规格说明的组件安全性测试技术研究与实现

论文题目: 基于规格说明的组件安全性测试技术研究与实现

论文类型: 硕士论文

论文专业: 计算机软件与理论

作者: 张勇

导师: 王清贤

关键词: 软件测试,组件安全性测试,错误注入

文献来源: 解放军信息工程大学

发表年度: 2005

论文摘要: 随着计算机技术的迅猛发展，计算机硬件性能越来越高，而相应的软件则越来越庞大、越来越复杂，传统的面向过程的软件开发技术已不能满足软件开发过程对效率和充分利用资源的要求。为了提高软件开发的效率及软件的可靠性，面向对象及组件技术得到广泛应用，已成为当今软件开发技术的主流。组件技术的应用引入了封装和可重用等概念，大大提高了软件开发的效率、降低了软件开发的成本，但同时也增加了软件可靠性和安全性的风险。不可靠或不安全的组件往往成为软件系统中最薄弱的链条，该链条的断裂将导致整个系统的崩溃。因此，组件的可靠性和安全性是系统可靠和安全性的基础。如何提高组件的可靠性和安全性呢?当然这首先是组件设计开发阶段的任务；但由于软件开发的特殊性，软件缺陷不可避免，因此在软件开发过程中积极有效地实施软件测试就尤为重要。软件测试技术繁杂，有基于程序源代码分析的、基于程序规格说明的，也有基于程序运行状态的，同时也形成了一些比较先进的理论及模式。组件测试则是随着基于组件的软件开发技术的出现而产生的软件测试技术，其与一般的软件测试技术有很多相同之处，当然也有一些不同，而组件的安全性测试更是一个比较新的研究方向，其理论和技术发展相对薄弱。本文通过对组件的安全性测试技术的研究和论述，提出一种基于组件规格说明和组件安全测试管道模型的组件安全性测试方法。组件的规格说明是组件接口、功能、甚至总体结构的描述，是组件测试的主要依据；组件安全测试管道主管道主要包含白盒测试和黑盒测试两个子管道；白盒测试子管道又主要由代码分析和错误注入组成；黑盒测试子管道则是通过产生一些恶意的(违反规格说明中规定的)输入数据，并将其作用于被测组件，根据安全断言通过输出分析组件的安全特性。最后，本文利用开放源码测试程序设计框架—JUNIT，对目前比较流行的JAVA组件的安全性测试给出一种实现方法。

论文目录:

摘要

Abstract

第一章概述

1.1 课题的研究背景

1.2 国内外的研究现状

1.3 课题的研究内容及所做工作

1.4 论文的组织结构

第二章组件及组件测试的相关技术

2.1 组件技术

2.1.1 软件组件

2.1.2 COM/DCOM

2.1.3 CORBA/ORB

2.1.4 J2EE

2.2 组件相关的测试技术

第三章组件安全性测试技术

3.1 组件安全

3.2 组件安全性测试技术

3.2.1 组件的安全性测试技术

3.2.2 基于规格说明的组件安全性测试技术

第四章开放源码测试框架JUNIT分析

4.1 JUNIT测试框架概述

4.2 JUNIT测试框架源代码分析

4.3 JUNIT测试模式分析

4.4 使用JUNIT框架设计测试

4.5 JUNIT框架设计存在不足

第五章基于JAVA的组件安全性测试实现

第六章总结及进一步工作

致谢

参考文献

附录:攻读硕士学位期间完成的论文

发布时间: 2007-05-15

参考文献

[1].安卓组件间通信分析系统的研究与实现[D]. 崔婷婷.山东大学2017
[2].基于组件技术的软件系统模型研究与实现[D]. 李品升.沈阳师范大学2012
[3].组件测评虚拟实验室的设计与实现[D]. 邵硕.中南大学2008
[4].组件编程技术的应用研究[D]. 都亚京.华北电力大学（河北）2009
[5].面向领域的嵌入式组件技术研究[D]. 张文嘉.电子科技大学2006
[6].可适应组件技术在管理信息系统中的研究与应用[D]. 王树润.大连理工大学2002
[7].组件技术在开发网络信息系统中的应用研究[D]. 刘运通.昆明理工大学2003
[8].一种轻量级高性能网络通信组件的设计与实现[D]. 陈放.华南理工大学2015
[9].基于组件环境依赖分析的测试技术研究[D]. 黄颖.华中科技大学2009
[10].基于组件技术的制造业管理系统设计与实现[D]. 熊百良.哈尔滨理工大学2007

基于规格说明的组件安全性测试技术研究与实现

猜你喜欢