网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加，设计可伸缩的软件体系结构，开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来，使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型，指导网构软件设计，从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型，其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术，定义了6种网构连接运算，所有运算是对连接子的代数抽象，因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用，介绍了一个基于代数模型的网构软件设计与演化的案例研究．     

一种TTCN测试套自动生成方法研究

简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式)，并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

基于随机进程代数的软件体系结构建模与性能评价

软件体系结构是应用系统的逻辑框架,在设计阶段分析软件体系结构的各种性能指标,可以改进软件系统设计·提出一种基于随机进程代数(stochasticprocessalgebra简称SPA)的软件体系结构建模方法,该方法把软件体系结构建模与性能评价相结合,从而可以在系统设计阶段分析软件体系结构的性能·实践验证该方法更简单、有效     

基于路由网络代数的BGP4路由策略冲突分析

介绍一种适合于Internet路由行为描述和分析的代数系统-路由网络代数（routing network algebra,RNA)，路由网络代数中的变量，常量以及相关的运算定律，重点介绍用于路由行为分析的扩展规则，在此基础上提出了一种BGP4路由策略冲突检测方法，理论与试验分析表明该方法可以有效地发现因错误的AS关系配置所产生的路由策略冲突。     

软件体系结构一致性仿真测试

对软件体系结构的一致性进行讨论,给出软件体系结构一致性定义和软件体系结构一致性仿真测试方法,并通过三层Client/Server结构中组件事务特征一致性测试说明上述方法应用,实践表明该方法可以检测软件体现结构与其约束的不一致性,并具有线性时间·     

路由"活锁"建模与仿真

基于路由网络代数(Routing network algebra简称RNA)提出了一种新的路由“活锁”建模方法。通过分析“活锁”的路由网络代数表达式，进一步揭示了路由“活锁”根源。基于上述研究，提出了一个新的路由“活锁”检测算法，从而部分地解决了路由“活锁”的检测问题。利用仿真工具SSFNET对路由“活锁”进行仿真，实验表明路由“活锁”模型的正确性。