UML系统动态行为描述方案

如何使用UML清晰地表达一个系统的动态行为巳成为一个急待解决的问题，提出了一套UML的描述方案，并在一个使用软件实现的双机容错系统中进行了验证。     

XML技术在软件构件库中的应用

在构件库系统的构件分类与描述方案的选择设计中,本文分析了构件刻面分类方法,提出采用XML技术实现构件的刻面描述方案,并从技术实现、发展演化等方面对该方案做了较详细的分析,给出了具体的刻面设计及描述实现,从而建立软件构件库系统的构件数据模型.     

基于Wright的SA级测试路径生成方法

软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述.在软件体系结构描述语言Wright的基础上,引入了一种图形的表示方法,即以动态行为图(BG图)来表示相关的构件间的动态行为及它们之间的关系,并提出了软件体系结构测试覆盖准则.根据BG图中路径的定义,给出了BG图中测试路径生成算法的基本思想.以C/S体系结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

基于B方法的体系结构描述语言的形式化研究

通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。     

基于网络的作业管理系统的实现

本文以学生作业管理系统的设计及实现过程为中心,简单介绍了此系统的目标及意义,同时较详细的介绍了JSP技术及本系统的开发环境。进入系统设计阶段后,按照软件工程的方法进行了需求分析(主要由数据流图及数据字典组成)和概要设计(主要包括系统功能模块图及其描述),在进行详细设计之前,着重阐述了系统实现过程中将要遇到的技术难点及分析解决方案。系统实现的叙述主要是通过对实际JSP页面的逻辑框图结构及对其具体实现功能的描述来完成的。     

面向测试的构件系统模型及测试用例生成方法

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。     

基于ViewPoint的软件构架描述

软件构架作为系统开发的蓝图,已成为软件工程领域的热点。在软件开发实践中,许多项目更为关注的是软件构架的设计,而忽略了软件构架的描述。事实上软件构架的详细精确描述是成功开发软件的根本保证。文中以UML为构架描述语言,引用IEEE 1471标准中Viewpoint的概念,提出了基于3大Viewpoint的软件构架描述方法。基于Viewpoint的软件构架描述方法有助于开发人员在大型项目开发中从更高层次把握系统构架,从而保证软件开发过程的顺利进行。     

基于使用场景的时间扩展EFSM建模与完整性验证

为了提高嵌入式实时系统软件的质量和可靠性,采用基于模型的软件测试方法是最有效的途径之一.但是,由于该类软件具有实时特性且十分复杂,一般的模型通常缺乏对其实时特性以及软件行为的描述,且需要丰富的专业领域知识才能将其建立的较为精确完整,导致建模的难度和成本增加,难以保证测试的充分性和有效性.使用场景是用户与软件之间的交互实例,详细描述了软件的系统行为而不关注其内部的复杂结构.因此,为了降低建模的难度,本文基于使用场景的规范化表示Scene来构建模型,并使用时间扩展EFSM模型来描述该类软件的实时特性;为了保证所建模型的完整性,本文设计了模型完整性评估准则,通过验证模型迁移中约束条件的完整性来确定模型是否完整的表征了系统的行为;针对不完整的模型,根据约束条件设计了待补全迁移生成策略生成待补全迁移,并通过动态模拟模型的可行迁移序列执行过程将其补全到模型中,以提高模型的完整性.最后,本文针对4个嵌入式实时系统软件构建时间扩展EFSM模型并进行了一系列的实验.实验表明,本文提出的方法不仅有效的构建了模型,而且能够将生成的待补全迁移有效补全到模型中,进一步提高了模型的完整性.     

基于本体的构件匹配

OWL是W3C推荐的Web本体语言,可以加强本体语言的描述能力,然后用强化的Web本体语言描述构件库中的构件。接着本文提出一种方法,从构件操作描述和构件交互协议这两个方面对用户的需求进行描述。根据描述后的需求,用户就可以简单高效地在构件库中找到相匹配的目标构件,进而更好地实现分布式环境下的构件重用。     

交叉口信号控制方案描述仿真模型

提出了一种交叉口多相位信号控制方案描述仿真模型，该模型较好地反映交叉口信号控制方案及其在仿真时段内的动态变化过程，为交通仿真模型真实地反映路网交通状态以及利用仿真系统评价交叉口信号控制方案奠定了基础。     

构件运算的完整性证明及性质

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。     

一种软件需求描述语言的设计与实现

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法。利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型。该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础。     

分布式软件体系结构中组件依赖的描述

分布式软件的动态配置及软件体系结构中的一个重要问题是对组件依赖的理解和描述。该文采用的方法提供了精确描述组件交互的基础,展示了分布式系统组件间的拓扑关系,进而描述了软件体系结构。该方法还对组件测试提供了有力支持,它的突出优点是用一种方法来描述体系结构并支持软件测试。