基于多信号流图模型的等效故障注入样本选取

为了提高测试性故障注入试验的工程实践性,针对选取的故障样本不可注入或注入成本太高的情况,提出了一种基于多信号流图模型的等效故障注入样本选取方法。建立了系统的多信号流图模型,得到了故障-故障关联矩阵和故障-测试关联矩阵,并以提高故障样本注入率为目标,通过结合测试故障子集的概念,提出了等效故障注入样本的定义和选取方法。实例表明,该方法能够有效地提高故障样本的注入率,保证了测试性验证试验的顺利进行。     

手机应用软件测试方法概述

针对目前手机应用软件存在的问题和如何进行手机应用软件进行测试的问题,结合外部质量和内部质量的质量模型,考虑从功能性、可靠性和效率三方面对其质量特性进行测试,并对测试方法进行了概述     

测试性验证试验中的故障样本综合加权分配方法

针对目前测试性验证试验中故障样本分配考虑因素单一,分配结果不太合理,影响测试性验证评估准确度的问题,文章综合考虑故障样本分配的影响因素,提出了故障样本分配的综合加权方法;首先,在分析影响因素的基础上,明确了综合加权分配算法;然后对影响系数和影响因素的权值进行确定;最后,通过在某系统测试性验证试验中的应用表明,该方法考虑因素更加全面,与基于故障率的按比例分层抽样分配方法相比较,故障样本分配结果更加合理,测试性验证评估结果更加接近系统测试性设计的真实水平,更具有工程应用价值.     

超文本应用软件测试充分性准则初探

在开发超文本应用软件时，测试是费时费力的工作。现有软件测试充分性准则并非直接适用于超文本应用软件。本文首先讨论超文本应用的三级测试需求；节点级验证节点中所今信息的正确性，链接级检接实现的正确性、系统结构对系统结构进行评估以测试可用性。     

基于VXI总线测试系统的可视化编程

介绍了如何利用HP VEE可视化编程语言，实现复杂的VXI总线测试软件设计的思路、结构及组成，并结合HP VEE与高级语言的特点，具体设计了集成化的VXI惯性仪器测试应用软件。     

企业应用软件总线的架构设计

本文首先介绍了企业应用软件总线的定义和特点，然后应用J2EE技术对企业应用软件总线的架构设计提出了总体的设计思路和方法。指出了企业应用软件总线在企业软件应用信息系统中的地位、层次和作用，最后设计了我们的企业应用软件总线所提供的功能。     

对应用软件进行安全测试的对手模式及其应用

基于网络应用软件对安全性需求的日益加强，提出将安全性测试增加到软件功能性测试之中的观点，并且给出对应用软件进行安全测试的对手模式，以及为快速高效实施对手模式进行软件分解的方法和对手模式的应用范围。基于对手模式给出一种应用软件系统的抗攻击定理，该理论从安全性角度导出了一种实用的估算网络应用软件寿命的方法。     

测试性试验中定数截尾试验方案与序贯试验方案的对比

针对目前测试性试验中的定数截尾试验方案和序贯截尾试验方案,在其各自工程应用的基础上,对比分析两种方案的优缺点,从理论分析、样本量确定、样本的抽样分配、测试性指标的评估和适用性5个方面进行论述,阐述各自的特点和适用范围.研究成果为测试性试验方案的制定提供理论基础,是对现有测试性试验方案制定理论方法的补充和完善,对测试性验证试验的工程开展具有很强的指导意义.     

手机软件二进制代码静态逆向安全测试例析

二进制代码逆向分析是应用软件安全测试中对技术能力要求较高的一种方法。本文以实际工作案例为基础,详细介绍了对某手机端下载软件进行静态逆向安全测试的思路、方法、过程以及注意事项。     

基于系统软件资源的应用软件功能集成策略

本文围绕开发微机应用软件系统的工程组织问题，从操作系统的角度对应用软件的功能集成机理进行了分析，提出了“面向对象+模块化+系统软件融合调度”的软件工程组织策略。该策略强调系统分析以功能为划分对象的依据，并将其开发为可独立运行的模块，系统集成和功能调度以系统软件底层资源的基础，是一种可操作性和买用性较强，先进、可靠、易维护、易扩充的应用软件开发方法。     

基于软件可靠性工程的测试模型

软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。     

软件测试不确定性研究及解决途径

从分析软件测试的不确定性产生的原因，分析软件测试中存在的问题，提出加强软件测试工程化管理、测试方法模板的复用、采用测试用例的知识共享作为解决问题的途径，介绍了一种软件测试管理平台的实现。     

对计算机软件测试的几点看法

随着软件技术规模和复杂程度的加大,作为软件工程中贯穿整个软件生命周期重要组成部分的软件测试,要求越来越严格,也富有很强的挑战性。笔者根据多年从事软件测试经验,提出从事软件测试的几点看法,相信本文对软件测试起着抛砖引玉的借鉴作用。     

Testing scientific software: A systematic literature review

ContextScientific software plays an important role in critical decision making, for example making weather predictions based on climate models, and computation of evidence for research publications. Recently, scientists have had to retract publications due to errors caused by software faults. Systematic testing can identify such faults in code.ObjectiveThis study aims to identify specific challenges, proposed solutions, and unsolved problems faced when testing scientific software.MethodWe conducted a systematic literature survey to identify and analyze relevant literature. We identified 62 studies that provided relevant information about testing scientific software.ResultsWe found that challenges faced when testing scientific software fall into two main categories: (1) testing challenges that occur due to characteristics of scientific software such as oracle problems and (2) testing challenges that occur due to cultural differences between scientists and the software engineering community such as viewing the code and the model that it implements as inseparable entities. In addition, we identified methods to potentially overcome these challenges and their limitations. Finally we describe unsolved challenges and how software engineering researchers and practitioners can help to overcome them.ConclusionsScientific software presents special challenges for testing. Specifically, cultural differences between scientist developers and software engineers, along with the characteristics of the scientific software make testing more difficult. Existing techniques such as code clone detection can help to improve the testing process. Software engineers should consider special challenges posed by scientific software such as oracle problems when developing testing techniques.     

软件工程中对软件使用者的人文关怀

一个成功的软件首先要得到软件使用者的肯定。软件工程是为了解决软件危机而出现的、将工程化的方法引入软件领域的产物。如何在软件的整个生命周期中,抛开纯粹的技术因素,更多地关心使用者,体现对他们的人文关怀,是我们需要认真面对的问题。本文从软件工程中的需求分析、界面设计、软件测试和软件实施等几个方面,对这一问题作了初步的探讨。     

软件工程中对软件使用者的人文关怀

一个成功的软件首先要得到软件使用者的肯定。软件工程是为了解决软件危机而出现的、将工程化的方法引入软件领域的产物。如何在软件的整个生命周期中，抛开纯粹的技术因素，更多地关心使用者，体现对他们的人文关怀．是我们需要认真面对的问题。本文从软件工程中的需求分析、界面设计、软件测试和软件实施等几个方面，对这一问题作了初步的探讨。     

An experimental study of adaptive testing for software reliability assessment

Adaptive testing is a new form of software testing that is based on the feedback and adaptive control principle and can be treated as the software testing counterpart of adaptive control. Our previous work has shown that adaptive testing can be formulated and guided in theory to minimize the variance of an unbiased software reliability estimator and to achieve optimal software reliability assessment. In this paper, we present an experimental study of adaptive testing for software reliability assessment, where the adaptive testing strategy, the random testing strategy and the operational profile based testing strategy were applied to the Space program in four experiments. The experimental results demonstrate that the adaptive testing strategy can really work in practice and may noticeably outperform the other two. Therefore, the adaptive testing strategy can serve as a preferable alternative to the random testing strategy and the operational profile based testing strategy if high confidence in the reliability estimates is required or the real-world operational profile of the software under test cannot be accurately identified.     

软件的易测试性分析方法述评

软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。     

关于大学如何开展软件测试专业的教育

随着信息技术的快速发展,软件系统的规模越来越大。软件测试技术是保证软件质量、验证软件能否完成设定功能的有效方法,软件工程整个过程都要涉及软件测试。因此,在软件工程中,软件测试技术已经慢慢发展形成一个新的独立的软件专业。而高校是培养人才的重要摇篮,承担着为社会发展输送人才的重任,所以高校应该如何开展软件测试专业的教育是个重要的课题。     

Deriving products for variability test of Feature Models with a hyper-heuristic approach

Deriving products from a Feature Model (FM) for testing Software Product Lines (SPLs) is a hard task. It is important to select a minimum number of products but, at the same time, to consider the coverage of testing criteria such as pairwise, among other factors. To solve such problems Multi-Objective Evolutionary Algorithms (MOEAs) have been successfully applied. However, to design a solution for this and other software engineering problems can be very difficult, because it is necessary to choose among different search operators and parameters. Hyper-heuristics can help in this task, and have raised interest in the Search-Based Software Engineering (SBSE) field. Considering the growing adoption of SPL in the industry and crescent demand for SPL testing approaches, this paper introduces a hyper-heuristic approach to automatically derive products to variability testing of SPLs. The approach works with MOEAs and two selection methods, random and based on FRR-MAB (Fitness Rate Rank based Multi-Armed Bandit). It was evaluated with real FMs and the results show that the proposed approach outperforms the traditional algorithms used in the literature, and that both selection methods present similar performance.