移动代理系统中的异常处理方法

在分析移动代理环境中的异常分类的基础上,提出了一种移动代理环境的异常处理模型,它的主要特点是在一个特殊的代理环境中,通过设置一个监测代理实现对代理群中所有的异常处理和监测其它代理的运行状态,并给出了应用在该模型的异常处理策略.最后以Aglet移动代理作为实验平台,用一个实例验证了该方法的有效性.     

一种异常处理机制的设计与实现

异常处理是一种用来检测异常并时其进行处理的技术。异常处理机制已作为现代程序设计语言的一个重要的特性被广泛地采纳,以增强系统运行的可靠性,提高软件的健壮性。对异常处理在程序语言的实现进行了一般性研究,分析比较几种异常处理机制及其实现方法,提出了一种新的异常处理机制的实现方法。     

一种新的数据流覆盖测试数据进化生成方法

数据流覆盖可有效地检测软件中的缺陷与错误.针对该覆盖准则中存在的插装监测开销庞大和测试数据生成效率不高的问题,提出一种新的基于定值-引用对覆盖的测试数据进化生成方法.该方法主要分为两部分,首先,通过约减测试目标来减少插装开销,提出的包含关系算法可找到一个定值—引用对子集,使得覆盖该子集就能保证所有测试目标被覆盖;然后,采用遗传算法为所有测试目标生成测试数据,设计的适应度函数综合考虑个体实际执行的路径与每个测试目标的定义明确路径的匹配程度.将该方法用于8个基准程序的测试数据生成,并与其他方法比较,结果显示其可有效提高程序覆盖率和测试数据生成效率.     

基于变量作用域的数据流分析

数据流分析作为程序分析的一种重要手段,已广泛应用于各种软件工程任务中。传统的数据流迭代分析法没有考虑变量因作用域问题而被隐藏和覆盖的现象,导致数据流信息不准确。在传统数据流迭代分析法的基础上提出一种基于变量作用域的数据流分析方法,它解决了变量被隐藏和覆盖的问题。最后将改进的方法和传统分析方法分别应用于程序切片中,实验证实了改进的方法更加准确。     

一种快速测试Java异常处理机制的方法

异常处理机制能增强程序运行的可靠性，提高软件的健壮性，但异常处理代码本身可能存在错误．由于它的特殊性。采用与测试普通代码同样的方法对其进行测试，通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故障注入技术的基础上，提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合，可以有效地测试异常处理代码。并设计工具来支持这种故障注入方法．     

一种改进的程序可达基路径生成方法

考虑程序中分支冲突和异常处理结构对控制流信息的影响,提出一种改进的程序可达基路径生成方法。分析不可达路径产生的原因及其判定方法,构建异常控制流图。在此基础上计算相关分支之间的关系,利用深度优先遍历方法得到程序的可达基路径集。实例分析结果表明,该方法能准确生成可达基路径集,满足基路径测试的要求。     

异常处理——一种提高软件健壮性的方法

Exception handling is a technique that tests and handles exception events. Unlike the traditional methods that usually deal with exceptions at later design and implementation phases and easily result in many problems, we emphasis that sufficient attention should be paid to software exception handling during the development of the soft-ware requirements definition. By enforcing this policy through all phases of software development, the level of ro-bustness can be improved considerably. In this paper, the concepts of exception handling are firstly introduced, then the methods of exception handling are discussed, all kinds of exception handling methods and tools are also compared.The current problems and future directions are analyzed at the end of the paper.     

基于复杂系统遗传算法的多路径覆盖测试用例生成方法

针对目前复杂系统多路径覆盖测试用例生成方法较少的问题,提出一种新的基于复杂系统的多路径覆盖测试用例生成方法。首先改进遗传算法,在种群进化中对父代选择、个体进化的学习能力和种群的自适应更新方法进行改进,以有效避免算法收敛过慢或者"早熟"现象。然后根据多路径覆盖测试的特点与要求,设计基于路径匹配的适应度函数,使得运行一次算法便可生成覆盖多条目标路径的多个测试用例。最后将该方法用于几个基准程序。实验结果表明,与已有方法比较,此方法的测试用例生成效率显著提高。     

基于多Agent的Web服务异常处理模型

为有效解决Web服务中存在的各种异常,结合多Agent的特性,提出了一种基于多Agent系统的异常处理模型。该模型利用了Agent的协作性、推理和自学习的特性,使异常得到有效地捕获和处理。同时,也为用户提供了友好的异常提示信息,并保证了Web服务器信息的安全性。     

IDL编译器的Java实现

文章从阐述接口定义语言（ＩＤＬ）编译器在ＣＯＲＢＡ开发模型中的作用开始,提出了ＩＤＬ编译器的开发模型,然后讨论了编译器的实现过程中的技术问题。