基于Java的异常处理研究

为了提高软件的开发效率,降低开发成本,应充分发挥程序设计语言所提供的机制.异常处理机制是Java语言的重要特征之一,正确使用异常处理机制对设计可靠、健壮的程序十分重要.本文深入研究了Java的异常处理机制,并提出了一些使用方法.     

Java异常处理技术

异常处理是Java安全性的一个重要保护手段,在Java程序设计中利用好Java的异常处理机制,可以增进程序的稳定性和效率。本文系统介绍了Java语言中异常的概念、异常处理的意义Java异常处理的机制Java中异常类的层次结构Java异常处理方法和异常处理原则。     

DM4过程SQL语言的设计与实现

在商用数据库管理系统DM4中设计并实现了过程SQL语言DMPL/SQL.提出了DMPL/SQL语言解释器的总体结构.该解释器由编译器和虚拟机两部分构成.编译器分析源代码并生成中间代码,虚拟机以立即或延迟的方式对中间代码进行解释执行.介绍了实现DMPL/SQL语言解释器的关键技术.为提高程序的执行效率,在名字解析、SQL语句的执行以及异常处理等阶段采用了多种优化方法.该语言目前已广泛使用于基于DM4的数据库应用中.     

以虚拟机为核心实现动态行为调整的方法

针对面向上下文的编程语言未提供支持动态层添加机制的缺陷,提出了一种以虚拟机为核心的支持层动态添加的编程框架,并给出了实现方法.编程框架的核心是一个扩展后的Java虚拟机将谓词测试融入到Java虚拟机来实现程序对上下文的感知,将对象组合与代理融入到Java虚拟机来实现层的动态激活,利用虚拟机自身提供的功能实现动态层添加.实验结果表明,基于扩展后的Java虚拟机的编程框架可以实现层激活和动态层添加,编程框架的层激活效率较基于编译器的最多提高10％左右.     

基于改进军用安全模型的sJava语言

为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法.将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava.给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造.结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载.     

基于Java的CUP构造编译器的实现方法研究

介绍了编译器自动生成器的基本原理,探讨了基于Java的CUP及其出错恢复机制,通过设计一个简单计算器,阐述了利用CUP（Constructor of Useful Parsers）构造编译器的方法。     

面向教学的类C编译器的设计与实现

设计并实现了一个面向教学的类C编译器,支持全局或局部变量的定义、函数参数传递和函数递归调用.为避免对实际硬件体系结构的依赖,采用了Java语言的设计思想,类C编译器实现了先编译后解释执行的设计方案,同时给出了比文法更为直观的类C语言的语法图.     

Java异常处理方法及实现

异常处理是Java安全性的一个重要保护手段,在Java程序设计中利用好Java的异常处理机制,可以增进程序的稳定性和效率。Java异常处理及实现的方法有抛出异常、捕获异常、抛出和捕获相结合、方法覆盖异常和隐瞒异常。     

分簇VLIW DSP的SIMD编译优化

针对数字信号处理的应用特点,提出了一种识别SIMD指令的一般性方法;针对分簇结构SIMD指令的特点,给出了新的指令分簇算法和寄存器分配算法;最后在BWDSP100芯片的编译器上实现这些优化方法.实验结果表明,上述优化方法能充分发挥分簇结构SIMD指令的优势,提高编译器的效率.     

一种可抵抗内部攻击的高效群组密钥协商协议编译器

目前设计可抵抗内部攻击的群组密钥协商协议需要调用2个不同的协议编译器,使得协议的执行效率较低而且协议设计的复杂度较高,为此,通过改进上述2个协议编译器,提出了一种新的编译器.该编译器只需对群组密钥协商协议进行一次编译,即可生成具有抵抗内部攻击能力的群组密钥协商协议.然后在随机预言机模型下,针对提出的编译器所生成的协议进行了安全性分析,并严格证明了生成的协议是具有抵抗内部攻击能力的群组密钥协商协议.最后对比分析表明,利用提出的编译器生成的协议与现有编译器生成的协议相比,具有较高的效率和较低的设计复杂度.     

Java/JSP编译器对汉语编码的处理方式

分析Java语言在英文字符和GB 2312码、字节和U n icode、UTF-8、S tring和byte[]等编码方面存在的问题,从Java编译器和JSP编译器两个方面提出Java编程中解决汉语编码的处理方式。     

即时编译器辅助垃圾收集中的对象生命期分析研究

提出一种对象生命期分析算法,利用即时编译器分析应用程序并在其中安插显式释放对象等指令,通过辅助垃圾收集器改进对象的回收与分配来减轻垃圾收集器自动回收的负担.该算法结合了活跃变量分析和指针逃逸分析,对Java程序的每个方法仅分析一次,而且是过程间的,对域、上下文是敏感的,能够分析识别应用程序中的非全局对象及其死亡位置.实验结果表明:算法的执行时间占总编译时间的3.6%~5.3%;相比一般的Salagnac等指针逃逸分析,能识别出更多的对象生命期信息,而且对象死亡位置能精确到Java方法控制流图中的基本块;在即时编译器辅助的垃圾收集优化中能够显式地回收较多的内存空间.     

Java字节码异常处理中信息流的分析

为提高Java移动代码动态安全验证的准确性和实用性,通过分析Java字节码中异常处理的方式与流程,提出了追踪、记录异常处理中信息流的方法.采用字节码改写技术,将异常处理中信息流的相关数据封装在异常类当中,从而保证了所采取的处理对Java虚拟机的透明性,并进一步提高了动态验证的精度.     

静态测试中C／C＋＋抽象语法树的生成

利用GNU提供的标准编译器,通过调用词法分析程序生成了C／C＋＋抽象语法树。基于系统崩溃故障模型的软件进行了静态测试,描述了C／C＋＋抽象语法树及其语法和语义分析的具体方法。     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

Java异常处理

目的通过Java异常处理的特点和机制,处理程序中出现的错误。方法根据Java异常捕获、异常抛出的要求,分析异常处理的方法。结果结合实际,提出了如何有效地抛出异常和捕获异常的实用策略。结论异常处理提高了程序的安全性和健壮性。     

基于Web实现树型目录两种方式及比较

在基于Web服务应用程序中通过在客户端引入树型目录结构，可以使用户直观了解Web站点的服务关联结构、内容及资源信息。研究了基于Web应用程序实现树型目录的两种方式Java Applet及JavaScript。介绍了这两种方式实现树型目录的程序设计思路及其方法，进而对其加载方式、程序结构、执行效率及其代码量进行比较，最终说明其各自功能及适用的范围。