一种基于Object-Z规格说明的集成测试用例生成方法

形式化方法具有精确的描述性和很强的抽象性.用形式化方法描述规格说明,避免了在需求分析阶段对数据结构和算法细节的详细描述,同时又避免了一般建模方法中的模糊性和歧义性.针对组件系统的集成测试产生测试用例,提出一种使用Object-Z模式描述组件模型的方法,并且针对模型提出测试准则,产生测试场景,然后根据得到的测试场景产生测试用例.     

嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

组件技术在分布式测试系统与测试工具集成中的应用

设计了一种分布式测试系统软件体系结构,对测试过程及测试工具进行统一管理.通过组件对象模型技术建立了分布式软件测试环境,并在组件的基础上开发了用于第三方测试工具集成的API接口及配置工具.当集成新的测试工具时,只需利用API接口开发工具组件及修改配置文件,测试平台完全不用修改,系统具有二次开发能力.     

多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包

提出了一种多层次测试包(MLT)用来测试系统层的设计.该包可以被用来测试由门组件层C+ +代码和C+ +复杂函数构成的混合设计.电路部件在高功能层上被描述,而C+ +函数被用来描述门组件层的部件.测试工具可用高层C+ +函数的模拟来用于门组件层部件.使用这个包避免了将被测试部件转换成硬件描述语言,同时也提高了测试应用程序的模拟速度.     

面向对象的表格图像版面分析方法研究

提出了一种面向对象的表格图像版面分析方法,引入属性关系图的概念来描述表格版面结构,以表达表格组件间的复杂高维关系.属性关系图中属性的引入一方面可以描述组件的非结构特性,另一方面还可以利用属性来表达一些组件间的约束关系.该方法已应用于实际系统,测试结果表明该方法能够充分表达表格的结构化特点,同时具有相当的灵活性,为表格分析提供了一个实用的接口.     

基于XML的组件自动测试框架

当可重用组件被应用到新的环境中时,需要经过测试来验证其功能是否符合系统要求.提出一种基于XML的组件自动测试框架,可以在组件运行的真实环境中对组件进行自动测试.所提出的测试框架包含两个部分,即测试例生成器和测试引擎.测试例生成器产生XML格式的测试套,并记录测试结果;测试引擎作为被测组件的客户,与被测组件进行消息交互,提供消息跟踪信息.由于XML文件很适合进行传输和数据交换,所以本方法可以用于测试分布式系统中的组件.     

一种航空电子系统体系结构错误行为验证方法

针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用错误模型附件描述组件的错误行为和导致的故障影响,并使用层次自动机作为中间状态,通过转换算法实现体系结构错误行为模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证体系结构设计的组件错误影响和应对措施是否满足系统的安全性目标,提升安全性评估的准确性和效率。     

梯度下降优化模糊系统的接触电阻预测方法

根据接触电阻的特点,将结合模糊逻辑的预测方法引入电气领域,提出基于模糊系统的接触电阻预测新方法.根据接触电阻与各影响因素之间的关系及研究目的进行试验,得到足量试验数据,将所有试验数据分成两部分,训练数据和测试数据.通过训练数据运用梯度下降算法训练模糊系统,调整模糊系统参数,建立相应的接触电阻模型,利用训练数据建立接触电阻的回归分析模型.通过测试数据对两种模型进行测试,基于模糊系统的接触电阻模型的测试结果优于回归分析.预测与比较结果表明:若能得到足量训练数据,用梯度下降算法训练模糊系统建立的接触电阻模型精确可靠.     

基于XML的组件系统的设计与实现

为了使基于Web的信息管理系统具有可扩展性、重用性,提高开发效率,提出了一种基于XML描述的组件系统.该组件系统将Web页面抽象成四类组件,并以XML文件进行持久存储,在生成页面时进行解析和实例化.系统发布后,用户和开发人员仍能以较小代价对用户界面和流程控制进行微量修改,无需重新编译.     

面向对象软件回归测试选择策略

回归测试在软件维护阶段是一个重要且必须的一个工作,它为修改后的软件的正确性提供保证,回归测试选择技术是选择已存在的原有程序的测试用例集构成新的测试用例来测试修改后软件,通过对已存在测试用例集,选择有限测试用例对修改后软件测试可以减少测试周期和测试成本.提供了一个面向对象软件选择策略测试方法,对修改前软件和修改后软件创建类关系图,利用该模型进行测试,这种选择策略确保软件质量是有效,经济,安全的.     

Research of the Control Domain of Edges in Regression Testing

Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph （CFG）. It import the inherit strategy of object-oriented language to ensure an edge＇s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.     

一种基于构件的嵌入式实时软件测试方法

基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

基于非线性回归最小二乘法的改进Gompertz模型参数估计

可靠性增长试验是产品研制阶段不可缺少的一项提高产品可靠性的工程项目。成败型试验的可靠性增长数据通常用Gompertz模型进行评估,但存在S形增长数据拟合精度差的不足。根据高斯一牛顿最小二乘法和多元线性回归最小二乘法原理,提出改进的Gompertz模型参数估计的非线性回归最小二乘法。用试验数据对改进后的模型进行验证,拟合度较好。     

面向对象软件的修改影响分析研究

在软件维护阶段,修改后的程序应该被重新测试,保证修改能满足用户需求,并且软件能正常运行。但面向对象程序中一个小的修改能产生很大影响,这为测试增加了困难。为了节省测试成本,应只测试修改及修改所影响的部分。提出了一种鉴别修改所影响的部件的方法。     

PID在轴承模拟试验加载系统中的应用

将小二元回归数学模型与PID控制算法相结合，对轴承模拟试验加载系统的智能控制进行了试验研究。由于微机控制系统的计算机程序具有很高的灵活性，可以方便地修改PID控制算式，使得这种控制方式有很高的控制精度。实践也表明PID参数的调整使力加载过程更加准确，经实际运行得到了理想的控制效果。     

嵌入式系统初探

本文介绍了嵌入式系统的定义、构件化技术和嵌入式系统组件方法。在此基础上指出嵌入式系统和构件化技术的不同点,并得出嵌入式系统的发展需要一个可大范围采用的组件技术标准。     

基于构件技术的软件测试问题探讨

描述了构件技术的特点，介绍了构件及构件软件的概念、特点和由此引发的测试问题，以及现有构件软件测试方法的研究情况。