Java软件分析与测试工具的设计与实现
| 文献类型 | 学位 |
| 作者 | 吴蓉[1] |
| 机构 | 北京航空航天大学 ↓ |
| 授予学位 | 硕士 |
| 年度 | 2000 |
| 学位授予单位 | 北京航空航天大学 |
| 语言 | 中文 |
| 关键词 | 软件测试;Java语言;静态分析;动态测试;Applet测试;异常;控制流分析 |
| 摘要 | Java作为一门平台无关语言,在企业计算、嵌入式系统等方面有着越来越广泛的应用 ,但是在Java软件测试方面却缺乏深入、全面的,特别是针对Java特色进行测试的工具支持.为此,该文在研究Java语言的特点及其对软件测试的影响基础上,以白盒测试技术为基础,设计与实现了一个Java软件的分析和测试工具--SafeJava.该文详细介绍了SafeJava的设计目标、设计思想和总体框架,提出SafeJava进行分析与测试的原则.在静态分析方面,详细阐述了程序复杂性分析及具有Java语言特点的分析;在动态测试方面,该文针对SafeJava系统的设计目标提出了一个Java动态测试的框架性系统模型,并研究了覆盖测试及实现动态测试的关键技术.此外,Applet是Java最广泛的应用,它扩展了传统的编程体系结构.在Applet测试方面,该文通过分析几个解决方案,探讨了其可行性.针对在网络环境下测试Applet的方案,研究了其实现的关键技术,并结合Applet的特点,探讨了对它的异常测试和安全性分析.控制流分析是软件测试的重要组成部分,而Java用来处理错误的异常机制对控制流分析有着不可忽略的影响.该文通过详细分析异常对控制流的影响.探讨了如何对Java程序进行控制流分析. |
影响因子：
dc:title:Java软件分析与测试工具的设计与实现
dc:creator:吴蓉
dc:date: publishDate:1753-01-01
dc:type:学位
dc:format: Media：北京航空航天大学
dc:identifier: LnterrelatedLiterature：北京航空航天大学.2000.
dc:identifier:DOI：
dc: identifier:ISBN:
