FORTRAN 200O异常处理机制的研究

异常处理是现代程序设计语言的一个重要特征,它为检测和恢复软件系统在运行时的错误、构建系统的容错处理提供了强有力的支持.本文分析了FORTRAN 2000的异常处理机制,并提出一种扩充方案,引入用户定义异常和异常处理区的概念,改进了异常的传播机制,从而使FORTRAN编程更好地实现普通代码和异常处理代码的分离,提高了程序的可读性和可维护性.     

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

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

非原子性异常处理的静态分析

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。     

分布式GASOR系统设计中FORTRAN与C#混合语言编程研究

C#语言是一个先进的、安全的、面向对象的编程语言。以前的开发者为编写了许多已经历时间的考验。成熟、稳定的FORTRAN计算程序。FORTRAN语言本身并不适合用来开发窗口界面程序和互联网应用程序。因此为了提高程序的使用效率提高代码的重用率有必要对原FORTRAN程序进行改进使得原有性能优良的FORTRAN代码可以被在C#下调用,最大限度的发挥两种语言各自的优点。本文着重研究了这两种语言混合编程的方法,及其实现。     

基于Struts2企业级异常处理研究及扩展

传统的Java异常-捕获机制已不能满足当今大型企业级开发的要求.本文时Struts2提供的异常处理机制进行了研究和扩展,提出将检查型(Checked)异常转化为非检查型(Uncheckedl异常进行捕获的思想,通过采用AOP拦截器技术构造一种高效的异常处理机制,提高了代码的可读性,程序的执行速度和可维护性,减少了同类代码的重复使用,避免了由于过量使用检查型(Checked)异常引起的程序结构混乱、代码逻辑复杂等缺陷.     

Java程序异常信息分析插件的研究与设计

异常处理是一种有效提高软件健壮性的方法,处理不当将导致严重的软件失效。提出一种通过分析Java程序异常信息、由开发平台给出异常处理代码提示的方法,以提高开发效率,并提出一种包含异常结构的Java程序异常控制流图构造方法,用于程序分析和优化。基于Eclipse开发环境,设计了一个异常信息分析插件,用于分析Java程序异常信息,给出了代码提示,生成了异常控制流图,以帮助开发人员更快更好地书写异常处理代码。     

基于AOP的异常处理研究与应用

异常处理是任何软件中都必须面对的一类问题,但传统的异常处理过程会和程序中的其它代码产生了一种紧耦合关系,这种紧耦合关系使得代码的重用和维护非常困难。本文将结合面向方面编程讨论基于AOP的异常处理模型,该模型能够比较好的实现异常处理代码和业务逻辑代码的解耦,大大提高整个程序的重用性和可维护性。     

C++程序中异常处理的分析与测试技术研究

异常处理机制是一种运行时错误通知机制，将程序的正常控制代码和错误处理代码分离．然而异常机制的引入使得程序控制信息变得更为复杂；且开发人员一般难以熟练使用它，导致程序中会潜伏许多异常错误．扩展已有的显式异常分析技术，对隐式异常也进行了全面的分析并提出了过程间（内）控制流图的构造方法，并以此为基础给出了一个C＋＋程序健壮性改进模型．同时还提出了针对异常的两种动态测试策略：基于约束求解的异常测试策略和统计结构性异常测试策略．最后实现了一个初步的异常分析与测试原型工具并进行了初步实验分析，其结果表明本文提出的分析与测试方法对程序质量有较大程度的提高．     

PL/SQL中的异常管理

在大型数据库应用程序的构建过程中,难免程序在运行时不会出错,然而,代码如何响应和处理这些错误往往决定着一个应用程序的成功与否.从异常类型、如何引发异常、如何自定义异常、如何处理异常4个方面来探究PL/SQL中的异常处理机制.     

PDP—11反汇编程序CMAC

在工作中,我们想在PDP—11汇编语言程序中使用FORTRAN中的一些函数子程序。但PDP—11的FORTRAN编译程序并不给出这些子程序的汇编语言程序。因此,我们希望用一个反汇编程序,把这些函数子程序的目标代码反汇编成汇编语言子程序,以供用户汇编程序使用。本文描述了编制的PDP-11反汇编程序CMAC,它把PDP-11的目标代码转换成相应的汇编语言。     

Unveiling and taming liabilities of aspects in the presence of exceptions: A static analysis based approach

As aspects extend or replace existing functionality at specific join points in the code, their behavior may raise new exceptions, which can flow through the program execution in unexpected ways. Assuring the reliability of exception handling code in aspect-oriented (AO) systems is a challenging task. Testing the exception handling code is inherently difficult, since it is tricky to provoke all exceptions during tests, and the large number of different exceptions that can happen in a system may lead to the test-case explosion problem. Moreover, we have observed that some properties of AO programming (e.g., quantification, obliviousness) may conflict with characteristics of exception handling mechanisms, exacerbating existing problems (e.g., uncaught exceptions). The lack of verification approaches for exception handling code in AO systems stimulated the present work. This work presents a verification approach based on a static analysis tool, called SAFE, to check the reliability of exception handling code in AspectJ programs. We evaluated the effectiveness and feasibility of our approach in two complementary ways (i) by investigating if the SAFE tool is precise enough to uncover exception flow information and (ii) by applying the approach to three medium-sized ApectJ systems from different application domains.     

请求驱动的校务管理系统异常处理机制

异常处理机制是所有WEB应用设计中的关键组成部分,Spring MVC框架提供了异常处理接口和多种解析器. 通过源码分析法深入探讨了各种解析器的工作原理,总结得出它们的时间复杂度并进行了应用方式对照. 结合我校在校务管理系统基础框架上异常处理的应用需求情况,将异常划分为业务异常和系统异常两大类,设计并实施一个包含AJAX异常处理和ExceptionHandler统一异常处理的异常机制.     

Java异常处理策略研究

异常处理机制是程序设计语言的重要标志之一,在程序设计过程中用来处理程序运行中的异常。传统的程序设计语言里异常处理较为繁杂。Java是一种面向对象的程序设计语言,且引入了异常处理机制。合理完备的异常处理可以增强程序运行的可靠性、提高软件的健壮性,可以较为快速地确定错误的位置。文章分析了Java异常处理的逻辑,阐述了异常类、异常处理机制以及异常处理方法,提出了异常处理的一些策略。综合运用这些策略可以使编程人员编写出更加简洁、高效的程序代码。     

On the modularization and reuse of exception handling with aspects

This paper presents an in‐depth study of the adequacy of the AspectJ language for modularizing and reusing exception‐handling code. The study consisted of refactoring existing applications so that the code responsible for implementing error‐handling strategies was moved to newly created exception handler aspects. We have performed quantitative assessments of five systems—four object‐oriented and one aspect‐oriented—based on four key quality attributes, namely separation of concerns, coupling, cohesion, and conciseness. Our investigation also included a multi‐perspective analysis of the refactored systems, including (i) the extent to which error‐handling aspects can be reused, (ii) the beneficial and harmful aspectization scenarios for exception handling, and (iii) the scalability of AOP to support the modularization of exception handling in the presence of other aspects. Copyright © 2009 John Wiley & Sons, Ltd.     

异常机制的使用

异常机制是C＋＋崭新而高级的特性,比起传统的返回错误代码的做法,异常机制能够针对各种可能的错误提供更有效的解决方法,而且可以使正常代码和错误处理清晰划分开来。关于如何安全、可靠地使用异常机制,MISCRAC＋＋给出了一些相关的规范。     

基于EHA的异常处理模型检验方法

本文提出在整个Java程序开发链中通过使用UML Statecharts对异常处理建模,对Statechart进行模型检验,完成代码生成.首先将Statecharts转换为EHA,然后给出其操作语义,根据操作语义映射到一个自动机.使用基于自动机理论的模型检验方法来验证基于EHA的异常处理模型是否满足某些关键性质,最后自动产生相关代码.     

二进制翻译应用级异常处理

二进制翻译可以用于解决遗产代码的迁移问题,也可以实现不同硬件平台之间软件的通用．异常处理是二进制翻译的一个重要方面,如何解决异常处理和二进制翻译效率的矛盾是问题的关键．提出了在库函数包装层面处理主动异常和被动异常的方法,一个算法可以高效处理信号异常,另一个算法使用栈展开技术,得到调用地址用于处理try catch异常．实验结果表明,上述方法能够正确处理异常函数,同时对于普通应用程序加入异常处理机制之后性能并不受影响．     

Static analysis of exception handling in Ada

Since the signature of an Ada subprogram does not specify the set of exceptions that the subprogram can propagate, computing the set of exceptions that a subprogram may encounter is not a trivial task. This is a source of error in large Ada systems: for example, a subprogram may not be prepared to handle an exception propagated from another subprogram several layers lower in the call-tree. In a large system, the number of paths in exceptional processing is so great that it is unlikely that testing will uncover all errors in inter-procedural exception handling. Nor are compilers or code inspections likely to locate all such errors. Exception handling is an area where static analysis has a high potential payoff for systems with high reliability requirements. We discuss fundamental notions in computing exception propagation and describe an analysis tool that has proved to be effective in detecting inconsistencies in the exception-handling code of Ada applications.