一种面向交互代码的构件合约化测试方法

构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。     

软件测试研究进展

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和Web Services测试等。     

基于SOA的水利构件研究

针对目前水利应用软件重复开发、不能灵活部署和系统安全性差等问题,采用基于SOA体系结构的设计思想和方法,设计了一种基于Web服务的水利构件框架,给出了水利业务构件的Web服务描述模型以及基于构件框架实例的具体设计与开发过程。取得了在此框架上快速搭建高复用性业务应用的效果,为解决基于SOA的构件式水利软件设计与开发提供了参考。     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

空间连杆机构的公差设计

为设计者进行空间连杆机构的误差分析及公差设计提供一种有效的设计方法，提出基于机构输出运动轨迹对于机构构件尺寸的雅克比矩阵，建立了机构运动误差与构件尺寸偏差之间、构件尺寸公差与制造成本之间的数学模型，并在给定机构运动允许误差的条件下，通过优化设计确定了机构构件的尺寸公差带。     

基于公理设计的软件构件设计优化

为了提高软件开发的有效性和正确性,提出了一种基于公理设计的构件设计与优化新方法,详细给出了该方法的设计和实现过程.在此基础上,以调度构件的开发作为研究实例,分别对按照公理设计和传统方法得到的两种设计方案进行了设计、分析、比较和优化,验证了该方法在软件开发方面的有效性和正确性.     

Click模块化IPv6路由器性能测试方法研究

可重构路由器具有开放的体系结构,可以灵活重构,具有良好的可扩展性.Click提供了一种可重构路由开发软件平台,其基于构件的模块化特性使其在配置路由器及性能测试方面高效、灵活.文中给出了基于Click的模块化路由器性能测试方法,并设计了路由器性能测试的收发包Click结构,应用Click构件对模块化Click IPv6路由器的吞吐量、丢包率及时延进行测试.测试的方法方便灵活,且可用于可重构路由器模块和整体性能的测试.     

关于应用程序构件服务模型的设计及实现

基于构件的软件开发方法如何与面向对象方法有效地结合,从而实现软件分析、设计与实现的连续性与一致性是值得研究的问题.本文结合三层客户/服务器模型,探讨了在基于构件的应用程序开发中,从OOA&OOD模型建立应用程序的构件服务模型的方法,为基于构件的软件开发提供了基础.本文中所提出的开发方法已经用于实践的项目开发中,且取得了较好的效果.同时,文中也针对构件服务模型的形式化验证方法提出了研究思路.     

构件化角色设计的研究

系统中角色控制模块是重复开发率最高的模块之一。本文将构件化的思想引入到角色控制管理中,提出了角色设计应具有复用性、用户透明性及可配置性等原则,为角色复用、再复用和基于角色的权限控制提供了一种可行的解决途径。     

基于构件的动态配置应用框架设计与实现

以软件复用为背景, 对基于构件的软件开发和应用框架技术进行了研究.为使基于构件的软件开发更具灵活性与适应性,基于.NET平台设计并实现了一种基于构件的动态配置应用框架.该框架把"依赖注入"思想封装为一个构件,通过该构件可以灵活便捷的加载其他构件,不必关心其他构件复杂的内部实现,并且可以动态更新,加载构件而不必重新编译系统.最后举例介绍了一个应用实例以说明相应的系统开发流程.该技术思想在实际应用中取得了良好效果.     

构件可测试性模型研究与应用

本文分析了目前军队构件化软件开发的实际情况，在已有的工作基础上，提出了一个对构件可测试性进行度量的五边形法则，该方法能够直观地体现被测构件的可测试性指标数值，能够让构件开发者清楚地了解构件存在的缺陷，指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目，通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性，并得到了开发方及测试人员的认可。     

A Metadata Model Based on Coupling Testing Information to Increase Testability of Component

A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated. So how to increase testability of component has become a key technology in the software engineering community. Here a method is introduced to increase component testability. And meanings of component testability and relative effective ways to increase testability are summarized. Then definitions of component coupling testing criterion, DU-I （Definition-Use Information） and OP-Vs （ Observation-Point Values ） are given. Base on these, a definition-use table is introduced, which includes DU-A and OP-Vs item, to help component testers to understand and observe interior details about component under test better. Then a framework of testable component based on above DU-table is given. These facilities provide ways to detect errors, observe state variables by observation-points based monitor mechanism. Moreover, above methods are applied to our application developed by ourselves before, and some test cases are generated. Then our method is compared with Orso method and Kan method using the same example, presenting the comparison results. The results illustrate the validity of our method, effectively generating test cases and killing more mutants.     

一种形式化的构件模型框架

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。     

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

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

CORBA组件运行和开发环境研究

提出了一个符合通用请求代理体系结构（CORBA）规范的软件组件运行环境的设计，作为CORBA组件的运行时刻支持平台，它独立于软件组件、负责组件的装入、管理和调度等工作。在研究中，采用当前先进的软件组件“容器”思想，将所有的软件组件纳入同一进程中运行，在设计中，充分利用了对象请求代理（ORB）核心所具有的功能，并针对CORBA组件设计了组件开发环境、使软件开发工作具有一定的自动化程度、提高了组件开发的质量和效率。     

可测试性设计在仿真中应用研究

电子系统的设计必须考虑可测试性.论述减少测试数量和简化测试程序的方法,讨论测试设计中的扫描设计和边界扫描等问题     

利用体系结构的建模方法支持测试设计的重用

将体系结构的建模方法应用于测试设计,测试设计和软件设计自上至下同步进行.利用基于体系结构的建模方法将软件设计规范和测试设计规范紧密结合,形成统一的模型描述框架,从而构建层次化的测试设计模型,同时给出了测试用例之间关系的精确定义.结论是:基于体系结构的建模方法能够大大提高软件开发过程中各工作产品的可测试性和测试用例的可维护性,能够有效地支持测试设计的重用.     

模拟电路可测拓扑条件和可测性分析及可测性设计

深刻地阐述了系统的可测性问题 ,提出了从可测性分析和可测性设计两方面进行研究的观点 .针对支路故障诊断法 ,讨论了可测拓扑条件、可测性分析和可测性设计问题 ,提出了几个新的必要且几乎充分可测拓扑条件 ,并依据这些条件给出了可测性分析和可测性设计的一些方法