基于Java异常结构的一种编译方案

为了增强系统的健壮性,许多程序设计语言引入了异常处理机制.人们在研究Java编译器的过程中,发现异常结构降低了编译器的效率.为了减小异常结构对编译器的负面影响,结合Java异常结构的特点,提出了一种使用G树代替传统的语法分析树的方法,不仅提高了语法分析的效率,而且能够生成比较简练的Java字节码.     

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

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

一种基于Java字节码的软件设计信息提取方法

基于ASM解析字节码文件的算法,提出一种基于Java字节码的软件设计信息提取的方法.在此方法基础上,设计并实现了以Java字节码文件作为输入,MS Word格式的软件设计说明文档作为输出的原型系统.运行结果表明,该方法对大部分字节码文件的解析和提取效果比较理想.     

软件开发中的一个重要环节--混淆

详细阐述了混淆在软件开发中的重要作用,并讨论了4种需要混淆代码的情形以及常见的混淆方法.在此基础上着重分析了Java字节码的特点,并列举了几种典型的Java字节码混淆器,具体介绍了RetroGuard混淆器的特点和用法.     

Java程序的静态故障注入工具

对DrJava和50个Java语言开源项目的程序故障(差错)模式进行了分析,为其中一批比较常见的故障模式构建了故障模拟操作.设计并实现了一个基于BCEL库的字节码级Java程序故障注入系统原型,它以静态方式对Java目标程序进行故障模式扫描和故障注入,并给出相应的报告.对Java示例程序所进行的故障注入实验初步验证了所开发的原型的有效性.     

基于SAAJ的移动Agent传输设计

Web Service的规范性和可集成性非常好,在企业级应用系统中获得越来越广泛的应用,在应用中常需要基于服务架构构建适用性较强的移动Agent。本文提出一个基于Web Services SAAJ技术的移动Agent解决方法,介绍如何描述移动Agent,并在Java环境下采用Java的序列化机制和自定义的Java类来动态载入Java字节码,以解决移动Agent的创建和持久化的问题,通过SAAJ技术解决移动Agent的传输问题,从而采用Java语言设计移动Agent,使得移动Agent在支持SAAJ的移动Agent服务器中运行。     

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

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

一种JVM硬件体系结构的探讨

Java的性能问题直是Java应用关注的焦点，JIT技术的运用在一定程度上提高了Java的执行速度，但在实时性要求高的嵌入式系统的运用中却难以满足其要求。文章提出一种基于硬件的方法Java处理器，能直接执行Java字节码，提高Java的性能。该方法适刷于实时及嵌入式系统。     

Java异常处理技术

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

字节信息流并行CRC-32校验码电路设计与实现

CRC是一种能发现并纠正信息在存储和传输过程中连续出现的多位错误的校验编码.分析CRC码的校验原理及特点,推导相邻字节间的CRC-32校验码的计算方法,利用组合逻辑并行快速计算当前字节的32位CRC校验码,使用Verilog HDL设计编码电路,通过FPGA实现CRC-32编码及检错功能.电路不仅可以计算任意长度的字节信息流的CRC-32校验码,还可嵌入到通信传输系统中快速并行实现CRC-32的编码及检错运算,保证信息正确可靠地传输.     

Static analysis of Java bytecode

Understanding control flows in a computer program is essential for many software engineering tasks such as testing, debugging, reverse engineering, and maintenance. In this paper, we present a control flow analysis technique to analyze the control flow in Java bytecode. To perform the analysis, we construct a control flow graph (CFG) for Java bytecode not only at the intraprocedural level but also at the interprocedural level. We also discuss some applications of a CFG in a maintenance environment for Java bytecode.     

基于Java的异常处理研究

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

Java语言异常处理技术研究

Java的异常处理机制是其一大特色。在介绍Java语言的异常处理技术的基础上,提出了异常处理的设计原则,用try—catch—finally结构实现,增强了代码的健壮性,从而为Java的程序设计实现提供技术上的借鉴。     

基于Java的异常处理机制研究

合理有效地进行异常处理可以提高程序的健壮性和安全性.本文着重介绍了Java语言异常处理的方法和流程,并提出了异常处理的设计原则,从而给编程提供了借鉴方案.     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

Java中的异常错误处理

程序设计语言中的异常处理机制为开发可靠性软件系统提供了强有力的支持，本文介绍了Java语言中的异常错误处理的有关概念有实现过程，并通过一个实际例子说明如何具体应用。     

Java程序的优化

本文通过使用Jayap对Java语言的字节代码进行分析，找到程序中产生瓶颈的原因，给出程序的优化方法。     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．