软件工程技术发展思索

在4个方面对软件工程技术的发展进行一些思索:(1) 从事物发展规律的角度,揭示软件工程技术发展历程;(2) 从软件本质特征的角度,浅析虚拟机各抽象层次的构造;(3) 从软件开发的本质,提出了软件工程学科研究的内容,并研究了软件工业化生产模式;(4) 以Internet的出现为背景,探索了软件技术的发展趋势.  

The Gaia Methodology for Agent-Oriented Analysis and Design

This article presents Gaia: a methodology for agent-oriented analysis and design. The Gaia methodology is both general, in that it is applicable to a wide range of multi-agent systems, and comprehensive, in that it deals with both the macro-level (societal) and the micro-level (agent) aspects of systems. Gaia is founded on the view of a multi-agent system as a computational organisation consisting of various interacting roles. We illustrate Gaia through a case study (an agent-based business process management system).  

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.  

基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域，测试用例的质量将直接决定软件测试的科学性和有效性．该文在一般的测试用例选择方法的基础上，提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型，据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表．并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点，从而可以在提高软件测试质量的同时，降低成本，提高效率．最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果．  

RUP软件工程过程研究及应用

介绍了ＲＵＰ软件工程的动态结构和静态结构，分析了它的特点，说明了工程应用的范围、引用的步骤，最后给出一个迭代划分的例样。  

构件类和构件的概念及其定义语言和操作语言

本文针对应用软件的特点，在类和对象概念的基础上，提出构件类和构件的概念，说明构件类和构件与O－O中类和对象概念上的异同．为规范化描述构件类，给出了构件类定义语言和操作语言．  

一种面向对象的领域工程方法

介绍了一种面向对象的领域工程方法--"青鸟领域工程方法".领域工程是对一个领域中的若干系统进行分析,识别这些应用的共同特征和可变特征,进行面向复用的开发,产生出特定于领域的构件和构架.领域工程给软件复用提供了有力的支持."青鸟领域工程方法"以" 青鸟面向对象开发方法"为基础,明确规定了领域工程中各个阶段的活动和产品,并针对每个阶段和活动给出了操作指南.  

程序交互执行流程图及其测试覆盖准则

文章提出一种程序交互执行流程图PIEF(program interactive execution flow chart),用于描述一个交互式软件的各种可能的交互执行过程.基于被测程序的交互执行流程图,进一步提出了功能测试的若干基本的测试覆盖准则、测试用例生成策略及其自动化方法.  

面向Agent的软件工程:现状与挑战

面向Agent软件工程是近年来软件工程领域出现的一个重要的前沿研究方向，它试图将Agent理论和技术与软件工程的思想、原理和原则相结合，从而为基于Agent系统的开发提供工程化手段．近年来，随着Internet上的web应用以及软件开发社会化的发展，面向Agent软件工程受到了学术界和工业界的高度关注和重视，研究活跃，发展迅速．从应用需求和技术发展两个方面阐述了面向Agent软件工程的产生和发展背景；从技术、管理和工具3个视点综述了现阶段面向Agent软件工程的研究内容；分析了面向Agent软件工程的研究现状；最后讨论了它存在的问题和面临的挑战以指导进一步研究．