基于角色的设计模式形式建模及演化

重用设计在改善软件开发过程中的作用越来越受到人们的重视.面向对象的软件设计模式概念的提出为软件设计的重用打开了新的局面.但在设计模式的具体应用中存在实现、文档和组合的问题.给出了一种基于角色的设计模式形式建模方法,将类、类属性、类之间的关系等都看作角色,并用形式建模语言Object-Z形式表示这些角色,可有效地解决设计模式实例化时存在的问题.基于角色的设计模式形式模型在演化时也基于角色进行演化,将模式的演化分为角色层演化和模式层演化,模式层演化是由多个角色层演化组成的.演化后的模型可以通过定理证明器验证与前模型是否保持一致.     

基于ORD和FSM的Web应用的建模与测试

Web测试是保证高质量Web应用的一种有效技术.然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来.对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型.首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Diagram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型.基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明.测试引擎将测试规格说明作为输入最终产生测试报告.全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述.     

基于复杂网络面向对象集成测试的研究

软件测试是保证软件质量的重要手段.面向对象的方法给软件系统带来好处的同时,也为测试带来了挑战,传统的测试方法无法应用于许多面向对象的特性.研究表明,大型软件系统内部结构具有小世界效应(Small-World,SW)和无标度特性(Scale-Free,SF).基于软件的复杂网络特性对面向对象的集成测试进行了研究,提出了一种通过分析类之间的交互复杂性和聚集复杂性来确定软件测试顺序的方法.利用该方法进行面向对象集成测试可以减少桩模块的数量,提高测试效率,且不降低原有测试覆盖度.     

金鹰卡通卫视高清EFP系统设计简析

本文介绍了金鹰卡通卫视高清EFP系统的设计原则和系统方案,并对设备的选择进行了分析,重点突出了该系统的高性价比特性。     

一种求解随机有限缓冲区流水线调度的混合差分进化算法

针对随机有限缓冲区流水线调度问题(Flow shop scheduling problem, FSSP), 提出混合差分进化(Differential evolution, DE)算法OHTDE, 用来最小化提前/拖后指标和最小化总体完成时间指标. OHTDE将DE和最优计算量分配(Optimal computing budget allocation, OCBA)技术以及假设检验(Hypothesis test, HT)有效结合. DE用于执行全局搜索和局部搜索; OCBA用于对有限计算量进行合理分配, 从而保证优质解得到较多仿真计算量, 提高了在噪声环境下获得优质解的置信度; HT用于在统计意义上比较解的性能, 从而一定程度上避免在解空间相近区域进行重复搜索. 进而, 对由OCBA和HT确定的优质解执行一种特殊的交叉操作, 加强DE的局部开发能力. 同时也采用有限马氏链理论对OHTDE的随机收敛性进行了分析. 仿真实验和算法比较验证了算法的有效性和鲁棒性.     

保尔德水利枢纽布置方案与挡水建筑物设计优化

保尔德水库坝址处河床狭窄,地址条件复杂,枢纽布置比较困难。在考虑以上因素的影响下,对枢纽布置进行多方案比选,确定将溢洪道布置在左岸的方案为推荐方案,并对该方案下挡水建筑物进行优化设计。该设计技术经济效益显著,可为同类水利工程的优化设计参考。     

基于FSM的测试理论、方法及评估

为搭建基于FSM的测试方法由理论研究通往工业应用的桥梁,文中讨论了若干基于FSM模型的测试方法及其相关理论,提出构造区分序列的理论及测试序列集合冗余约简的理论,补充并实现了若干基于FSM的测试生成算法.随后文中提出了基于FSM的测试方法评估的5项量化指标,实验评估了若干基于FSM模型的测试方法,给出了一些基于FSM测试...     

单级倒立摆的LQR控制和DMC控制Matlab仿真比较

建立了单级直线倒立摆的状态空间模型,分别从线性最优二次型（LQR）控制和模型预测控制的原理出发,在MAT-LAB/SIMULINK环境下,设计了LQR控制器和动态矩阵控制（DMC）控制器,对所建立的倒立摆模型对象进行系统控制仿真。仿真结果表明,作为先进控制的DMC控制的效果比作为最优控制的LQR控制效果更好,鲁棒性更强。     

Web软件的一种有效测试方法

测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Wcb登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。     

基于C++模板的Z规格说明的数据类型的实现

主要介绍了用C++类模板实现Z规格说明语言中的类型，包括数据结构的设计、成员函数的设计。该模板的实现便于代码的重用和简化求精，从而提高软件开发的效率。