一种基于组合测试的软件故障调试方法

在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法.该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考.

数据挖掘技术在Web预取中的应用研究

WWW以其多媒体的传输及良好的交互性而倍受青睐 .虽然近几年来网络速度得到了很大的提高 ,但是由于接入 Internet的用户数量剧增以及 Web服务和网络固有的延迟 ,使得网络越来越拥挤 ,用户的服务质量得不到很好的保证 .为此文中提出了一种智能 Web预取技术 ,它能够加快用户浏览 Web页面时获取页面的速度 .该技术通过简化的 WWW数据模型表示用户浏览器缓冲器中的数据 ,在此基础上利用数据挖掘技术挖掘用户的兴趣关联规则 ,存放在兴趣关联知识库中 ,作为对用户行为进行预测的依据 .在用户端 ,智能代理负责用户兴趣的挖掘及基于兴趣关联知识库的 Web预取 ,从而对用户实现透明的浏览器加速 .

递归子程序的依赖性分析及其应用

程序依赖性是一种重要的程序分析、理解与维护方法 ,广泛应用于软件工程及软件逆向工程的各个方面 ,但递归子程序间的依赖分析一直是依赖性分析中的难点 .为此 ,该文提出了一种新的递归子程序间的依赖性分析方法 ,它首先分析子程序内部的各种依赖关系 ;然后 ,结合子程序调用图分析子程序参数间的依赖关系 ;最后 ,通过模拟递归子程序的执行过程来分析它们之间的依赖关系 .利用该文提供的方法可得到比较精确的递归子程序间的依赖关系 .

一种改进的参考文献搜索模型及相关性技术研究

基于 Web的参考文献检索越来越受到欢迎 ,但是现有的参考文献相关性计算方法不能准确地给出参考文献的相关性 ,从而影响了用户文献检索的质量 .首先给出了一个参考文献结构模型 ,在该模型中提出了虚节点的概念 ,从而大大拓展了文献检索的范围 ;其次在参考文献结构模型的基础上 ,通过充分挖掘参考文献之间的引用关系来计算参考文献在参考文献信息库中的重要性 .通用组合位置

信息技术专业方向特点及其相关专业方向的比较

随着计算机软硬件及通信技术的发展,计算的概念发生了巨大的变化,已经拓展到难以用一个学科来定义的境地.

面向方面的程序设计:概念、实现与未来

面向对象程序设计(OOP)的出现极大地提高了软件的可读性、可维护性和可复用性,但OOP并没有彻底解决软件的维护和复用问题,本质上是因为OOP难以模块化处理软件系统的横切关注点,以至于业务逻辑代码和其它代码(如日志记录、安全验证等)相互“纠缠”在一起,使得程序难以维护和复用。面向方面的程序设计(AOP)由此诞生,它最主要的设计原则是模块化系统的横切关注点,将业务代码与其它代码解耦,在更高的抽象和分解层次上,进一步提高了软件的可维护性、可复用性和可扩展性。首先深度探索了AOP的起源,然后阐述了AOP的本质,接着介绍了AOP的基本概念并以最为流行的实现语言AspectJ为例,剖析了AOP的实现机制,最后讨论了AOP在软件开发、测试、分析、度量和重构等领域的研究状况。

Ada95保护对象与面向数据的同步

本文详细讨论了Ａｄａ保护对象机制，分析其应用。

一种逆向程序流依赖性分析方法及其应用

本文提出一种基于逆向程序流分析的程序依赖性分析的形式化通用模型,它虽然基于一些很简单的概念与定义,但在程序测试、排错、维护、代码优化等多个方面有着广泛的应用。

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征。

关于Ada并发可重用软件包的设计

文中首先分析了一般Ａｄａ顺序可重用软件包在用于开发Ａｄａ并发软件时所存在的问题，然后给出了几种可以支持并发软件开发的Ａｄａ可重用软件包的实现方案。

对象抽取方法研究与进展

Transforming legacy systems written in conventional procedural languages into equivalent object-oriented systems makes software more maintainable, reliable and understandable. However, there is no concept directly corresponding to objects in non object-oriented systems. A lot of object-ex- traction approaches for extracting objects from legacy systems are hence proposed, which are the basis of reengineering non object-oriented systems into object-oriented systems. These object-extraction methods proposed recently are discussed, analyzed and classified in detail in this paper.

Ada95层次库结构与大型软件开发

Ａｄａ９５提出了层次库和后扩库单元的概念并提供了相应的设施，对Ａｄａ８３的分别编译设施与可见性规则进行了扩充．这些扩充不仅可以减少重编译和重测试，而且也有利于把一个大系统分成若干个子系统进行开发，有利于进行面向对象的程序设计．本文对层次库的概念与设施进行了详尽的介绍。

Ada95语言评述

Ａｄａ９５语言是在Ａｄａ８３基础上修订而成的，它几乎提供了现代程序设计范型及程序设计实践所需要的一切设施，它可以支持面向对象的程序设计、大型程序设计、实时与并行程序设计等等．本文介绍了Ａｄａ９５的研制背景、修订过程，讨论了Ａｄａ９５的主要特色。

设计结构图──大型实时软件设计的有效工具

本文介绍了一种适用于大型软件和实时并发软件设计的图形设计语言──设计结构图。与其它图形语言相比，设计结构图结构化程度更高，表达能力更强，更能反映现代软件工程的一些基本原理。

带标记信号量——一种新型同步与互斥机制

1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题:

关于Ada95变体部分等语法的修正意见

本文指出了Ａｄａ９５参考手册中记录变体部分、记录聚集、分情形语句与异常处理段等语法描述中存在的问题。

Ada语言回顾与展望

本文概述了 Ada 语言的研制背景与过程,讨论了 Ada 与其它语言的区别、Ada 的成就与不足,分析了 Ada 的现状并展望了 Ada 的未来。

论Ada对DOD国防系统软件开发标准的适应性

Ada语言与DOD-STD-2167A是美国国防部(DOD)在软件方面最重要的两个标准,对它们之间的一致性与适应性进行研究是很有必要也很有意义的。这项研究的关键是研究Ada程序结构与DOD-STD-2167A静态结构的适应性。为此,本文首先详细分析了DOD-STD-2167A的静态结构,然后研究了Ada程序结构对这种静态结构的对应问题,指出了对应中存在的问题,在此基础上引入了库单元的概念。本文最后讨论了与DOD-STD-2167A相适应的Ada软件开发策略。

军用计算机语言初论

本文分析了军用软件在军事系统中的地位、军用软件的特点,讨论了军用软件的多语言态势及其潜在危险,回顾了军用语言的历史与现状,分析了军用语言的要求及必备的语言设施,最后简述了国内外有关Ada语言的研究与使用情况。

ASEL：一种基于Ada的可扩充软件工程语言

介绍了一种可支持软件开发各阶段的基于Ａｄａ的可扩充软件工程语言ＡＳＥＬ。首先讨论了ＡＳＥＬ的设计思想与目标，并在此基础上介绍分析了ＡＳＥＬ的各种基本结构，然后深入讨论了它对软件开发过程中的各种支持特征。