基于Petri网的组合虚拟仪器硬件评测

已有的评测方法多以硬件为主、软件为辅,评测成本高,评测信息单调.基于此,根据用例组合虚拟仪器硬件的模块结构建立用于评测的Petri网模型,通过软件生成测试用例进行测试,实现以软件为主、硬件为辅的评测机制.实验表明,该方法不但测试用例生成方便,评测代价低、效果好,而且可借鉴于设计通用虚拟仪器硬件评测系统.     

虚拟仪器的实现

虚拟仪器是继模拟仪器、数字化仪器、智能仪器后的新一代仪器,是电子测试领域发展的一个新方向。虚拟仪器是电子测量技术和计算机测控技术的前沿技术,它将计算机的采集、测试、分析与处理引入到电子测试领域,利用数字化技术和软件技术极大地提高了测试系统的灵活性和可扩展性。阐述了测试仪器的发展历程,给出了虚拟仪器的概念,总结了虚拟仪器的特点,重点研究了虚拟仪器的软件、硬件结构,并展望了虚拟仪器的发展前景。     

虚拟仪器与PC卡泰技术的现状与发展

虚拟仪器(VI)和卡泰(CATAI)-计算机采集测试分析仪器是电子测量和计算机测试控制的前沿技术,虚拟仪器将计算机采集测试分析引入到电子测量领域,用数字化和软件技术极大地提高了测量的灵活性和可扩充性.本文就虚拟仪器的状况和发展趋势作一展望和探讨.     

基于USB和构件的嵌入式电子测量工作站设计

介绍了基于USB和构件技术,用于大型工程电控中心测试和监控的嵌入式电子测量工作站.该嵌入式电子测量工作站充分利用了PC机强大数据处理能力和USB总线高速数据传输能力,并将基于构件的软件开发方法应用于嵌入式电子测量工作站软件开发,提高了软件开发效率和代码复用率.该嵌入式电子测量工作站具有功能多、体积小、成本低和携带方便等特点.     

家电控制器软件功能测试用例生成方法研究

控制器软件质量是影响家电产品可靠性的关键因素之一.设计了基于虚拟仪器技术的软件测试系统,以NI接口板卡和LabVIEW为平台,可以有效地完成家电控制器软件的功能测试.针对自动测试用例的生成、组织、存储等系统实现的关键问题,提出了编写测试用例和从手动测试结果中抽取测试用例这两种生成手段,并提出了测试用例分析、抽象描述和数据组织的方法,其有效性和实用性在实验室及现场使用中得到了验证.     

虚拟仪器技术的发展与展望

虚拟仪器是电子测量技术和计算机测控的前沿技术，虚拟仪器将计算机采集测试分析引入到电子测量领域，用数字化和软件技术极大地提高了测试的灵活性和可扩充性。介绍了虚拟仪器的发展、构成和应用，并对虚拟仪器技术的发展作出展望和预测。     

虚拟仪器对PC卡泰技术的现状与发展

虚拟仪器（ＶＩ）和卡泰（ＣＡＴＡＩ）－计算机采集测试分析仪器是电子测量和计算机测试控制的前沿技术,虚拟仪器将计算机采集测试分析引入到电子测量领域,用数字化和软件技术极大地提高了测量的灵活性和可扩充性。本文就虚拟仪器的状况和发展趋势作一展望和探讨。     

基于顺序图的FADEC软件需求状态图模型验证

基于模型的系统工程MBSE方法论在全权限数字电子控制(FADEC)软件开发领域的应用越来越普遍,模型作为开发过程中传递信息的介质,其在软件开发过程中的重要性不言而喻.完善的需求模型可以降低FADEC软件研制过程中的风险,提高研制效率.以SysML顺序图为测试用例,对模型进行测试.通过测试用例与需求的追踪关系,保证了测试的有效性.测试用例生成过程中利用了ATG用例自动生成技术.测试结果表明了此方法的实用性,实现了对需求模型的充分测试.     

虚拟仪器技术

使用虚拟仪器技术将灵活的软件以及PC技术的强大功能引入测试、控制和设计应用,从而使得在直流至2.7GHz的范围内可以进行精确的模拟和数字测量.阐述了虚拟仪器技术和虚拟仪器技术在产品测试、控制和设计中的应用.     

基于虚拟仪器架构的电子测量工作站设计

基于虚拟仪器体系结构将电子测量仪器以工作站的形式进行设计与实现。提出事件处理机的概念,用FPGA进行实现,并将其作为工作站的设备控制核心,以USB2.0总线作为设备与主机的通信接口,集成实现了示波器、逻辑分析仪、信号发生器等多个硬件模块,软件采用LabWindows/CVI及VC++7.1工具,实现了关联测量模块之间的同步与联动。     

软件测试设计重要度的决策分析

针对软件测试设计策略优化问题,提出一种基于测试重要度的测试设计决策分析算法。该方法依据测试有效性原则,采用层次分析理论,通过定量和定性相结合的方法,解决软件测试过程中测试重要度比较和分析问题,完成对软件测试设计工作的重点或优先级的决策分析,优化测试设计策略,进而合理地分配测试资源,有效发现软件存在的缺陷,提高软件测试的效率。     

面向云测试的并行测试用例自动生成方法

为实现云计算环境下的高效软件测试,提出一种Web 应用系统功能测试的并行测试用例自动生成方法。该方法首先根据场景流图采用深度优先遍历算法生成并行测试路径,录制组合产生并行测试脚本,并进行参数化处理;然后,使用基于搜索的软件测试(SBST)方法自动生成可经过目标路径的有效测试数据集,脚本与数据耦合形成大量可并行部署的自动化测试用例。为验证方法的有效性设计了自动化云测试原型系统。实验结果表明,该并行测试用例自动生成方法可以高效地为云平台提供测试用例输入,提高测试效率。     

一种新的软件测试方法的研究

提出基于蒙特卡罗的软件可靠性测试方法。它是软件工程中的一个新的研究领域,主要探讨蒙特卡罗方法和软件工程的交叉。一方面借鉴一些传统的软件测试方法,另一方面借助于蒙特卡罗方法,提出的一套全新的测试技术。     

参数依赖型软件参数更动测试策略和方法

参数依赖型软件是指初始化时读取并解析配置参数,并据此进行任务处理的软件,航天测控软件是典型的参数依赖型软件。航天测控软件具有明显的领域软件特征,多采用领域工程分析技术,实现业务处理逻辑和具体任务参数的分离,达到仅通过修改任务配置参数而适应高强度型号任务的目的。通过对参数依赖型软件架构、应用模式的分析,提出一种对参数依赖特性进行验收测试、参数更动测试的流程、策略和方法。并基于该方法,对远程数据交互软件进行了参数依赖特性测试,测试结果表明,该方法具有测试覆盖性强、测试重点突出、测试效率高的特点。     

软件边界组合测试的典型案例分析

介绍了软件系统测试中功能组合测试与边界测试的概念和技术要求。针对我国目前军用型号软件测试的主要过程与方法,总结了在测试用例设计方面存在的不足。结合一个型号软件系统测试中未暴露的典型软件缺陷案例,分析了测试用例设计上的原因,说明了将功能组合测试与边界测试结合实施的必要性。提出了一种基于因果图的边界组合测试方法。经系统测试验证了该方法的可行性和有效性。     

基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。     

面向服务软件的蜕变测试方法

在面向服务软件的测试过程中,由于在服务发现之前不可知的交互对象和同一个服务可能会有不同实现,往往出现程序执行结果不能提前预知的Oracle问题。为了有效地解决面向服务软件测试中的Oracle问题,基于面向服务架构(SOA)的特点,提出将蜕变测试方法用于面向服务软件的单元测试和集成测试过程中,依据面向服务软件每个服务的自身性质构造蜕变关系,设计蜕变测试类执行测试用例并验证蜕变关系是否保持,如果蜕变关系被违反了,则发现和报告缺陷,从而有效地支持面向服务软件的测试。     

SMArDT modeling for automotive software testing

Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error-prone. Model-based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model-based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.     

回归测试中测试用例集优化方法的研究

回归测试是软件演化过程中频繁进行的且开销巨大的一项任务,测试用例集的优化程度直接影响着测试的成本和效率。针对回归测试过程的特点,提出一种对测试用例集优化的新方法,即通过对测试用例集进行必要的消除冗余和调整排序,完成了对初始测试用例集的精简以及执行顺序的确定过程,使得有限的测试资源得到科学合理的分配。实验结果表明,相对于以往的测试用例集优化方法,新方法的效率和资源分配的合理性均有了显著的提高。