【摘 要】
：
异常处理机制是提高软件健壮性，可靠性的重要手段之一。它将程序中的正常控制代码和错误处理代码分离，为程序员开发高可靠的软件提供了条件。但它也给程序中引入了新的控制流和
论文部分内容阅读
异常处理机制是提高软件健壮性，可靠性的重要手段之一。它将程序中的正常控制代码和错误处理代码分离，为程序员开发高可靠的软件提供了条件。但它也给程序中引入了新的控制流和数据流。由于这些控制流和数据流的特殊性，它们很难在白盒测试中被覆盖。这使得异常处理代码中的错误很难被排除。本文研究了Java程序中异常流的测试和可视化问题。在静态分析部分，本文提出了计算程序中未处理异常的递归模型，并给出了利用此递归模型提取程序中的异常流信息的算法。同时在静态分析部分本文也给出可视化程序中异常流的相关算法。在动态测试部分，本文提出了以错误植入思想为指导，利用Java debugger对程序中的异常流进行测试的方法。相关实验表明本文提出的方法具有一定的可行性。
其他文献
由于电信管理网(Telecommunications Management Network,TMN)越来越复杂,网络功能不断增加,基于传统的TMN标准的各种管理应用开始显示出其一定的局限性。CORBA(Common Objec
在这个数字信息爆炸的时代,信息总量以几何级数增长,数据在计算机上的本地存储系统已经不能满足大量信息处理和对数据安全的需求,分布式的存储方式应运而生。这种存储方式将
买3D彩票看似靠运气,没有规律可循,其实还是有一定的技巧。使用一个设计合理、功能丰富、设置灵活的辅助选号软件,可以使中奖的概率略大一些,机会就相对多些。也许就是多出的
随着3G移动通信的逐渐普及，多媒体通信业务将成为移动网络的主流业务之一。随之而来的是我们称之为“Flash Crowds”的服务器过载和网络拥塞状况也在移动网络中出现了，如何解决
随着社会保障制度的不断完善和政府部门信息化水平的不断提高,数据信息呈爆炸式增长,传统的手工审计已无法完成要求,计算机审计将成为主要的审计方式。但是因为一般的审计专
城市化的快速发展使得各种大型建筑出现在人们的生活中,当人们第一次置身于这些大型建筑中时,从这个陌生的环境中找到要去的地址有时是一件很困难的事。但是随着网络的普及特
PMI(Privilege Management Infrastructure)是权限管理基础设施或授权管理基础设施，它由属性证书、属性权威、属性证书库等组成，用来实现权限和证书的产生、管理、存储、分发和
在非可信环境下对数据进行加密是保护数据库中数据安全的一种有效方法,但如何对加密数据进行高效地查询是一个难点。为了在密文数据库上进行高效查询,设计了一种数据库中字符
自从互联网诞生以来,网络流分类就成了众多网络相关任务中的一种,也逐渐成了人们集中研究的对象。网络流的分类与识别是网络流量工程、入侵监测与防御、包过滤、网络设计与规
随着数字化图书馆和大型多媒体数据库的广泛使用。视频检索将成为重要的研究领域。最大程度地提高基于内容的多媒体的应用，也正是MPEG-7的目的所在。 小波分析是继Fourier