分层自动化测试框架搭建及应用

随着互联网时代的飞速发展,现代软件的更新速度也在不断提高,加大了回归测试的工作量,但大量可复用的测试用例无法在手工测试工作中加以利用,测试效率低下.因此,开发自动化测试框架,推广自动化测试,有利于减少测试人员对测试脚本的维护工作量,提高测试效率.本项目通过研究自动化测试理论及框架,选择了RobotFramework+Selenium2library开源测试工具来进行实践.在该框架上对不同层次的对象和逻辑进行抽象和分离封装,将业务流程、测试用例步骤与测试数据分层,同时通过Jenkins集成项目实现了版本管理、缺陷管理、测试用例库的统一协同运作.成功搭建这样一套完整的框架,可以实现测试用例的自动执行,解决手工测试中测试用例无法复用的问题.     

怀疑度计算公式受偶然正确性影响理论分析

软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索.     

MVC框架下基于MBUnit的单元测试应用研究

单元测试是根据软件开发各阶段的规格说明和程序的内部结构而精心设计一批测试用例,并利用这些测试用例去运行程序,以发现错误的过程。本文从分析MVC框架入手,结合支持.Net的改进单元测试框架Mbunit,依据MVC框架处理用户请求的流程来模拟、分析单元测试的整个流程,通过在实际开发项目(山东省信息化与工业化综合服务平台一期)中的实际应用,说明了该单元测试方法确实能够使ASP.NET MVC框架开发的软件测试思路清晰且全面。     

基于迭代预测降低巧合正确性测试用例影响的软件错误定位方法

巧合正确性测试用例是指某个测试用例虽然在执行程序时覆盖了错误的代码行,但是其测试结果依然是正确的.在测试用例集中,巧合正确性测试用例是普遍存在的.巧合正确性测试用例对基于程序谱的软件错误定位方法的错误定位精度产生很大的影响.为了避免这一影响,本文提出一种基于迭代预测降低巧合正确性测试用例影响的方法.该方法的基本思想是通过迭代的方法,预测巧合正确性测试用例的数目N,再对候选测试用例的巧合正确性可疑值进行排序,去掉可疑值较高的前v个巧合正确性测试用例,利用新的测试集进行错误定位,直到找到错误语句,或者候选的巧合正确性测试用例的个数小于迭代预测值N为止.使用Siemens Suite测试用例集对系统进行了测试,测试结果表明该方法能够有效提高基于程序谱的软件错误定位方法的错误定位精度.     

航天测控软件测试用例标准及应用研究

为了确保航天工程测控软件的质量,更加完善和规范软件的测试用例,对适用于航天软件测试用例的标准进行了深入研究。从测试用例的基本定义出发,分析了测试用例质量标准和一般设计方法,提出了测试用例设计的步骤和度量标准。根据航天工程测控软件的特点,制定了适合航天软件工程标准的模版和用例设计的具体原则。通过航天工程实际应用,表明了给出的测试用例标准的针对性和有效性,为航天测控任务提供了可用的测试框架。     

多级生成的自动化测试框架的中心技术研究与实现

本文通过研究各种自动化测试框架,并经过实际自动化测试项目的实践检验,提出一个更为先进的自动化测试框架概念,这个框架的中心思想是多级生成机制.采用该机制,解决了测试工作中业务分析难的问题,把这个主观因素很强的部分变得客观化,变得有依据,变得可以自动化.框架后半部分整合了前人的成熟经验,使用数据驱动的测试框架原理做了数据自动生成与添加工作,直到测试用例的自动生成,将测试的一套过程全部自动化,并且这一过程也有很好的可回归性.     

Testbed套件在航天嵌入式软件中的应用

随着航天技术的发展,航天软件的结构也越来越复杂,仅靠软件测试人员的人工统计分析已不能有效地对被测航天软件作出准确评价,使用高级的自动用例生成工具可以克服这些困难,但是完全的测试用例自动生成几乎是不可能的。本文介绍了人工设计测试用例和使用Testbed工具自动生成测试用例两种测试用例生成方法的优缺点,通过分析提出了一种Testbed测试工具辅助的测试用例设计方法,最后,以X型侦察处理DSP嵌入式软件为例,介绍了使用Testbed套件辅助测试用例生成和测试的具体方法步骤。     

面向C/S结构的软件自动化测试工具的设计

以软件的回归自动化测试为研究重点,设计了一个专门应用于CLIENT/SERVER型软件的回归自动化测试工具.该工具的测试引擎统一调度测试用例,测试用例具体实施方案上采用关键字驱动脚本技术,实现了一个脚本调用多个测试用例.同时该工具主要使用B-shell语言实现,使该系统能够在多个平台上运行.     

基于TTCN-3的RSRP测量精度的测试与实现

在TTworkbench软件上使用TTCN-3核心语言开发测试用例,设计RRM一致性测试整体架构及测试流程.联合PC及两个TD-LTE模拟小区组成整个测试系统,并与被测终端以射频方式连接.最后,通过测试结果的消息序列图和测试报告共同验证了测试用例的设计和实现符合标准要求.     

基于测试项抽取的测试用例复用方法

针对测试用例复用过程中测试用例与被测模块相关性较高的现状,提出了一种测试用例复用的方法.通过抽取测试用例步骤序列的测试项,生成一个测试项集合,然后在新测试工作时检索该集合以实现测试用例的复用.另外,为了便于测试用例的管理,文中采用XML描述测试用例.实例表明,该方法能够有效降低测试用例与被测模块相关性,提高测试效率.     

Schematic Extensions of MTL by Adding Weak Divisibility Axiom

MTL is a Monoidal t-norm based logic introduced by Esteva and Godo by omitting divisibility axiom from Hájek's Basic logic (BL).Many logics can be obtained by adding axioms to MTL logic.Logic system WBL is obtained by adding weak divisibility axiom to logic system MTL.Logic system WMV is obtained by adding involution axiom to logic system WBL.WBL-algebra corresponding to logic system WBL and WMV-algebra to logic system WMV are defined respectively.It is proved that the both of logic system Luk and logic system Nilpotent minimum (NM) are the schematic extensions of logic system WMV.Weak Wajsberg algebra and the simplified form of logic system WMV are obtained.     

BLP模型的研究和改进

计算机网络的发展与普及使得信息系统的安全问题日益突出,如何构造一个高度安全的系统也成为人们研究的焦点。安全模型能明确表达系统对安全的需求,论文主要介绍了信息安全模型中的经典BLP模型,详细地描述了模型的结构和基本公理,分析了其存在的安全漏洞,并指出了改进方法。     

基于Object-Z与Markov链的校园卡系统测试用例

针对提高校园卡系统准确性和可靠性测试的要求,提出了Object-Z与Markov链结合的测试用例自动生成算法.使用Object-Z对系统进行形式化规约,生成测试场景和操作顺序图;将操作顺序图转换为Markov链使用模型;根据测试场景和Markov链使用模型生成数量相对合理的测试用例.该方法无需对系统进行运行,在需求分析与测试阶段就能对系统的功能进行测试.生成的校园卡系统测试用例证明该方法是有效的,并且在提高测试覆盖率的同时,使用Markov链也能保证对系统的可靠性测试.     

电路分析的公理化与教学实践

本文通过与欧氏几何公理系统的对比,对电路分析进行了公理化.电路分析公理系统以电荷为基本研究元素,以基尔霍夫定律作为唯一的公设.所有描述电路规律的定理能够通过基尔霍夫定律推导得到.所有计算电路电压和电流的方法也能够通过基尔霍夫定律得到.公理化后的电路分析概念更加清晰,结构更加明了,有利于学生兴趣的培养.     

中介逻辑与中介公理集合论的综述

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响。文中主要从下面3个方面论述：中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见。此外,还展望了中介数学系统的应用前景。     

Functional Validation of Mixed Hardware/Software Systems based on Specification, Partitioning, and Simulation of Test Cases

Tecs is a test case development methodology for the functional validation of large electronic systems, typically consisting of several custom hardware and software components. The methodology determines a hierarchical top-down test case development process including test case specification, validation, partitioning and implementation. The test case development process addresses the functional validation of the system and its components such as ASICs, boards, HW and software modules; it does not facilitate timing or performance verification. The system functions are used to define test cases at the system level and to derive sub-functions for the system components. Test cases are specified, using a special purpose formalism, and validated before they are applied to the system under test. Furthermore, we propose a technique to partition test cases corresponding to the partitioning of the system into sub-systems and components. This technique can significantly reduce system simulation time because it allows the full validation of system functions by simulation at the sub-system and component level. The system model need only be simulated with a reduced set of stimuli to validate the interfaces between sub-systems. We present a test case specification language and tools that support the proposed methodology. The validation of a switching function illustrates methodology, language, and tools.     

CBTC系统中车载设备功能实现

随着城市轨道交通进入了高速发展时期,新一代的列车控制CBTC系统被运用到城市轨道交通的建设中。本文以北京地铁房山线采用的阿尔斯通URBALISTMCBTC系统为例。文章主要对CBTC系统的定义和结构进行介绍,并对其车载设备的功能实现理论进行分析和探讨。基于房山线工程,文章使用白盒测试方法对车载设备主程序测试方案进行设计...     

基于智能交互技术的自动化测试方法研究与实现

在对交互式软件进行测试分析的基础上,本文提出了一套自动化测试框架中UI交互的智能模型,测试系统利用屏幕感知技术获取待测系统的状态并积累到专家系统中,专家系统根据待测系统的状态分析产生下一测试动机,选择测试数据生成测试用例,使测试工程师从测试动机的发起者转变成测试系统的监控者,力求解决由于测试工程师能力不同带来测试质量不同的问题。实践证明,基于智能交互技术的自动化测试大大提高了测试用例生成的质量和效率,由该技术支持的自动化测试框架已经在一些大型金融系统中得到应用,并取得良好效果。     

Construction of broadband passive macromodels from frequency data for simulation of distributed interconnect networks

This paper discusses a method for the construction of multiport broadband passive macromodels using frequency data obtained from an electromagnetic simulation or measurements. This data could represent the frequency response of a distributed interconnect system. The macromodels are generated using rational functions by solving an eigenvalue problem. For numerical computation, the macromodels are represented as a summation of rational functions consisting of low-pass, band-pass, high-pass, and all-pass filters. The stability and passivity of the macromodels are enforced through constraints on the poles and residues of rational functions. To enable the construction of broadband macromodels, methods based on band division, selector, subband reordering, subband dilation, and pole replacement have been used. Two test cases that describe the performance of the proposed algorithm, and three test cases that are representative of distributed systems have been analyzed to verify the efficiency of the method.     

IDEAS05: Unifying Models of Test Cases and Requirements

In industry, due to market pressures, it is common that the system requirements are out of date or incomplete for certain parts of the system. Nevertheless, we can always find up to date test cases which implicitly complements the related requirements. Therefore, instead of simply using test cases to detect software failures, in this paper we present an approach to update requirements using test cases. To accomplish this, we first assume that both requirements and test cases are formally documented; we reuse previous works that provide such models automatically as CSP formal specifications. Thus, we formally define a merge operation using the operational semantics of CSP. Finally, we use part of a real case study to experience the proposed approach.