实时面向对象建模方法ROOM与OCTOPUS的分析与比较

ROOM和 OCTOPU S是比较常用的两种实时面向对象建模方法 .本文从模型描述、类、对象与继承、并发性、状态图几个方面比较这两种方法中有明显差异的基本思想 ,并得出 :从某种程度上 ,ROOM较 OCTOPUS优越的结论 .     

一种Ada83服务性任务向Ada95保护对象变换的方法

任务是Ada语言支持并发程序设计的基础,它提供了一种进程同步和通信的良好机制.但也存在一类被动的、专为其他任务服务的服务性任务.服务性任务的存在增加了系统的负担,降低了系统的性能.如果能将服务性任务变换为保护对象,则可以明显地提高系统的性能,减少维护的费用.该文提出了一种在源程序级将Ada83服务性任务变换为Ada95保护对象的方法.先给出服务性任务应满足的条件、识别和表示服务性任务的方法,最后讨论此方法的可行性.与其他方法相比,此方法具有假设条件少、识别和变换效率高以及容易验证等特点.     

Web页面安全性技术初探

随着Internet技术的飞速发展,WWW技术得到广泛应用.有些Web站点需要对Web页面进行访问控制,但是由于HTTP协议的无状态性,使得依靠HTTP协议进行Web页面的访问控制变得不可能.文中给出了在网络的应用层利用QueryString、Form的隐含类型域和Cookie方法对Web页面进行用户名／口令校验的方法,并对这些方法进行了比较.     

回归测试中测试用例优先级技术研究综述

测试用例优先级技术是一种高效实用的回归测试技术,其目的是将不同的测试用例按照其重要程度排序后使用,从而获得更高的回归测试效率。首先介绍了与测试用例优先级相关的研究背景和基本概念,然后对当前的研究工作和进展进行了全面概述,同时比较了各种优先级适用的环境和实验研究结果,最后指出了测试用例优先级中有待解决的问题以及未来的研究方向。     

一种基于类型约束的泛型Java程序重构方法

泛化关系重构是一类非常重要的重构方法,能否实施这类重构取决于程序中的类型约束.本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束,会破坏程序类型正确性的问题,提出了一组泛型Java程序的类型约束规则,通过构造类型约束图分析了重构前后程序的类型约束,并给出了提炼接口和成员上移的自动化重构算法,可以在与程序代码规模成线性关系的时间内实施重构,并有效地保证程序的类型正确性.     

FORTRAN 2000异常处理机制的研究

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

一种并发程序可测试性分析框架

软件可测试性是对测试软件难易程度的预测，在测试、度量等许多领域中得到了广泛应用．由于并发程序执行的不确定性，其可测试性分析尚有很多难点有待解决．该文提出了一种并发程序可测试性分析框架．在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上，从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析，为综合度量并发程序的可测试性提供了依据．     

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等。     

Web页面中计数器技术研究

Ｗｅｂ页面计数器能够直观地反映该Ｗｅｂ站点受关心的程度,一个好的Ｗｅｂ页计数器应该方便使用,并具有较高的性能,Ｗｅｂ页面计数器技术充分反映了动态Ｗｅｂ页面技术的发展现状,本文给出了几种实现了Ｗｅｂ页面计数器的技术,并对这些进行了比较。     

程序设计语言作用域规则及其发展

本文讨论了作用域规则的演变及其发展,从两种角度对之进行了分类,指出了现有语言作用域规则存在的问题并讨论了解决方法。