一种基于内置合约检查和可配置接口的软构件测试技术*

从构件使用者和开发者的角度分析构件及构件化软件的测试,利用B. Meyer的合约化软件设计思想作为构件测试的理论基础,并在其上面进行了扩展与改进,提出了一种基于内置合约检查和可配置接口的构件测试技术。该方法的优点是：当构件被部署到新的系统环境中时,能够自动测试其服务端是否遵守彼此之间合约,并验证自身在运行阶段履行其所声明的义务的能力;利用可配置接口,可以根据所部署环境和特定系统的需求,动态地选择测试强度;当构件集成出现问题时,能够从抛出的异常信息定位到出错的位置。     

软件构件测试

研究软件构件测试技术,介绍自定义构件的开发。结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,从定义内置测试的测试点开始,提出了一种内置测试框架(Built-In Test Framework,BITF),最后给出了构件内置测试过程,并利用内置测试方法对设计的GIS构件进行了测试。     

构件化软件内建自测试技术研究

目前,构件技术已经在软件工程中广泛使用,同时给软件测试带来了一系列问题.借用硬件自测试的思路,提出了在构件中设置测试点、插装构件接口探针等方法,实现了构件化软件内建自测试.     

构件软件的测试问题综述

基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。     

构件软件的自适应测试

在受控马尔可夫链方法的框架内讨论了具有测试用例限制的构件软件的自适应测试.介绍了自适应软件测试,并针对构件软件内部不可知的特点对其软件系统建模,选择测试决策,仿真研究了自适应软件测试,以及采用递归的最小二乘法进行参数估计部分的算法改进.     

构件功能行为测试的研究

由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试.     

基于子域的构件软件充分性测试样本生成策略

基于构件的软件开发给软件测试带来了新的挑战。现有基于构件的软件测试充分性的研究表明,集成测试时的软件测试充分性不能保证构件的测试充分性,同时,构件的测试充分性也不能保证软件的测试充分性。提出了将构件测试充分性对集成测试的限制转化为子域的思想,将测试标准产生的软件子域和构件子域映射的软件子域进行统一的处理,从而对基于构件的软件测试样本集生成与优化提出了一个新的思路。     

面向构件化软件的合约检查测试框架

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。     

基于耦合测试信息元数据模型的构件集成测试

文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效.     

构件软件的回归测试复杂性度量

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.     

软构件的可测试性研究

构件的可测试性是决定构件质量的关键因素,若能在构件设计阶段就考虑构件的可测试性问题,改善和提高构件的可测试性,那么构件质量就能得到很好的保障,进而减少系统开发时的测试成本。文中针对这个问题,讨论了影响构件可测试性的几个因素,分析了构件测试中存在的问题和构件测试要达到的目标,提出一种构造可测试性构件的通用体系结构,即在原有构件的基础上增加测试工具,把可测试性构件当作对包含嵌入式测试和跟踪工具的扩展单元。     

基于构件的软件测试若干问题分析

论述了构件软件测试中的相关问题，重点讨论了构件软件的缺陷分析，构件软件的测试策略，测试充分性标准，构件测试中存在问题和挑战以及可能的解决方案探讨等。通过研究，体会到构件技术给软件开发带来人们所期望的好处的同时，也带来了新的问题和挑战，人们对构件技术的运用，特别是对构件软件测试制品的运用，应该更加谨慎。     

军用VXI测试系统的软构件技术

介绍了集成军用ATE/ATS系统所用到的软构件技术 ,并阐述了构件技术的特征结构和典型的三种构件模型。     

软件构件技术的现状与未来

软件构件技术的蓬勃兴起揭开了软件开发由作坊式生产向工业化生产转变的革命序幕。该文对软件构件技术进行了综述。首先通过对面向对象技术的回顾分析,说明了软件构件技术发展的技术背景与动机。接下来,对软件构件技术进行了阐述,并对当前主流的软件构件技术进行了技术描述和分析,包括:EnterpriseJavaBeans、CORBAComponentModel、微软的COM/DCOM/COM+和.NETAssembly、目前正处于热点的Web服务技术,以及面向构件的语言。最后,分析并指出了软件构件技术的发展未来是业务构件技术,它是最终实现软件工业化生产的希望。     

基于软构件的MIS系统开发研究

在研究软构件理论的基础上，将构件技术引入MIS系统的开发，提出了一种基于软构件的MIS系统开发模型，采用Power—Builder实现了该模型。并在多个MIS系统中得到有效应用。     

基于软构件的MIS系统开发研究

在研究软构件理论的基础上,将构件技术引入MIS系统的开发,提出了一种基于软构件的MIS系统开发模型,采用Power-Builder实现了该模型,并在多个MIS系统中得到有效应用。     

Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems

This paper examines the motivations and expectations of Built-In-Test (BIT) techniques for Run-Time-Testability (RTT) in component-based software systems. The difficulties associated with testing and integrating fully encapsulated components lead to a requirement for testing interfaces. The format of these interfaces is explored at a high level of abstraction, and some possibilities for Built-In-Test (BIT) are described. BIT is concerned with the detection of error conditions arising internally to a component, or arising from erroneous component interactions, and the propagation of these error conditions to a system component having responsibility for error handling and/or recovery. The implications for testability, reliability and maintainability are discussed, and it is concluded that BIT offers potential for improved product quality. Whilst the proposed approach is considered appropriate for a wide range of software systems, issues related to real-time systems, such as deadlock and timing constraints are of particular interest.     

基于复用的军用软件构件化与生产线技术探讨

软件复用是避免重复开发的重要解决方案,软件构件化与生产线技术可以明显提高软件开发效率及复用水平。论文介绍了软件复用、构件化、生产线的基本概念和关键技术,并就其在军用软件的应用方法进行研究。     

软构件技术在信息系统开发中的应用研究

以高等院校教务管理系统的开发为背景，提出了一个基于软构件技术，适合于小型应用软件开发的过程模型和组织模型，介绍了基于主题文档的分析方法在高等院校教务管理中的应用，提出了一个基于原子文档关联矩阵发现系统中大粒度构件的方法，对系统中的构件进行了层次划分，给出了高等院校教务管理系统中的构件抽取实例，并探讨了利用构件组装应用软件的方法和过程。     

基于软件体系结构与组件技术的自动化测试系统软件的开发

针对汽车交流发电机特性,研发了汽车交流发电机性能自动化测试系统,系统软件采用“软件体系结构＋组件技术”模式开发。分析了系统软件体系结构各个功能构件,在充分利用已有的商业组件基础上,运用COM组件技术对体系中的构件进行抽象和封装形成系统所特需的COM组件,并按照系统软件体系结构组装组件。