首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 109 毫秒
1.
修正条件/判定覆盖(MC/DC)是软件测试方法之一.文中通过介绍MC/DC这种测试方法推导出一个关于任意一个布尔表达式其测试集个数的问题的结论.首先从介绍这种测试方法的定义及如何寻找其测试集的方法开始出发;其次推导出关于测试集个数的结论,并加以理论证明;最后以一些实例来说明此结论.  相似文献   

2.
MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用。  相似文献   

3.
使用LDRA Testbed对实例进行覆盖测试,介绍了获得语句覆盖率、分支覆盖率以及MC/DC覆盖率的方法,同时阐述了这3种覆盖测试方法的优劣,表明了LDRA Testbed能够有效获取被测软件的动态覆盖率信息,降低测试难度,提高测试效率。  相似文献   

4.
介绍了一种车载大功率DC/DC电源变换器(以下简称DC/DC)的测试方法,运用V模式理念并结合半实物仿真验证测试方法对DC/DC的技术方案进行了全数字仿真验证测试、对DC/DC的控制电路部分进行了快速控制原型仿真验证测试、对DC/DC的功率电路部分进行了硬件在环仿真验证测试、对集成功率及控制电路的DC/DC进行了功率硬件在环验证测试,并根据测试结果又进行了迭代验证测试。通过半实物验证测试,对DC/DC各项设计参数的正确性及性能指标符合性进行验证测试,保证DC/DC技术方案的合理可行。  相似文献   

5.
随着软件的发展,测试技术也在发展。MC/DC即修改条件/判定覆盖,是一种较新的结构覆盖准则,它是在C/DC(条件/判定覆盖)的基础上发展起来的。与其它结构覆盖准则相比,它只是线性地增加了测试用例的数量,使得软件测试更加具有可操作性。而对于测试来说,测试用例的选择和优化是至关重要的。在探讨MC/DC的基础上,利用MC/DC的特点,初步提出了利用MC/DC进行测试集减少的方法,使得减少后的测试集与原测试集对测试需求有着相同或相似的覆盖率,并对此方法的利弊做了一定的分析。  相似文献   

6.
测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。  相似文献   

7.
对不断更新的软件进行回归测试时,持续增加的测试用例会造成累计测试用例数量庞大,进而影响测试成本。在故障定位领域,已有研究在考虑语句覆盖、路径覆盖等的基础上,提出了CMR&PVR等不同的测试用例约简方法。然而,这些方法在一定程度上影响了原始测试用例集的MC/DC(修订的条件/判定)覆盖率。提出一种以MC/DC覆盖为基础的综合测试用例约简方法MCDCR,利用该方法对原始测试用例集约简后,在确保原有故障定位准确性并保持较高约简比的同时,大幅提高了测试用例对程序的MC/DC覆盖率。采用Ochiai方法在Siemens 程序集上进行了实验及验证,结果表明MCDCR约简方法的综合效果明显优于已有的约简方法。  相似文献   

8.
软件测试是保证软件质量的有效方法,但测试工作过程繁琐,工作量较多。探索高效、可靠的测试用例设计方法一直是大家追求的目标,随着航空航天产品逻辑复杂性的提高及软件规模的日益增大,这种要求也变得更加迫切。依据MC/DC设计的测试用例既提高了测试用例设计的效率又增加了测试覆盖率,比较适合测试逻辑关系相对复杂的软件。当前的很多软件测试工具提供了软件测试覆盖率的判定功能,可以评定设计出的测试用例是否满足MC/DC的要求,而软件测试人员需要的是逆向的过程,论文提出应用唯一原因法和屏蔽法原理设计测试用例,可达到根据逻辑关系自动生成满足MC/DC要求测试用例的目的,提高了测试用例设计的效率。  相似文献   

9.
在Internet迅速发展的今天,TCP/IP协议族的一致性测试具有重要意义。协议一致性测试研究工作主要集中于两方面:测试组织,测试方法的研究和测试系统的建立;测试集,如何生成高质量的测试集。文章针对跨越Internet的远程异地测试需求,研究了时间透明性问题、测试组织、测试方法和测试系统构成。作者已将这种方法用于PITS系统TCP/IP协议族的远程异地测试子系统的设计。原来为各种本地测试方法所编写的TTCN抽象测试集只需小的修改即可使用。  相似文献   

10.
MC/DC是一套航电A级软件的测试覆盖性准则,可以有效减少测试用例量.针对如何快速获取尽可能小的测试用例集这一难点展开研究,重点关注于具有耦合条件的逻辑表达式,提出了两套解决方案,分别用于解决零耦合/弱耦合条件和强耦合条件问题,并给出了示例证明.结果表明,灵活使用两套算法,可以全面解决一般逻辑表达式的MC/DC测试用例集的快速生成问题.  相似文献   

11.
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/DC) criterion. This new criterion has been developed from the well-known Modified Condition/Decision Coverage (MC/DC) criterion and is more suitable for the testing of safety-critical software where MC/DC may not provide adequate assurance. As a formal language for describing the criteria, the Z notation has been selected. Formal definitions in the Z notation for RC/DC, as well as MC/DC and other criteria, are presented. Specific examples of using these criteria for specification-based testing are considered and some features are formally proved. This characterization is helpful in the understanding of different types of testing and also the correct application of a desired testing regime. Received July 2004 Revised November 2005 Accepted November 2005 by J. Derrick, M. Harman and R.M. Herons  相似文献   

12.
MC/DC(修订的条件/判定覆盖)准则是一种实用的软件结构覆盖率测试准则。目前,MC/DC在国际上已被广泛地应用于软件验证和测试过程中,在我国也被应用于一些软件项目中。介绍了MC/DC准则,提出了用此准则进行结构覆盖率分析时需注意的两个问题:结构覆盖率分析的问题和复杂逻辑语句的问题。最后,详细讨论了用MC/DC准则检查逻辑表达式错误时需考虑的3个方面及相应的改进方法,这3个方面包括逻辑式中操作符OR与XOR的误写、括号的位置不正确和逻辑组元被误写。  相似文献   

13.
Concolic testing techniques do not necessarily aim to achieve a specific MC/DC coverage. On the other hand, MC/DC is considered as a standard and a strong test coverage criterion. It is mandated for many categories of applications such as safety critical software. We present an automated code transformation technique that can be used as a front end to a concolic tester for achieving high MC/DC. Our experimentation on seventeen moderately complex programs shows that our approach achieves higher MC/DC over traditional concolic tester on the average by 24.84 %, for the code we tested.  相似文献   

14.
Distributed concolic testing (DCT) for complex programs takes a remarkable computational time. Also, the achieved modified condition/decision coverage (MC/DC) for such programs is often inadequate. We propose an improved DCT approach that reduces the computational time and simultaneously enhanced the MC/DC. We have named our approach SMCDCT (scalable MC/DC percentage calculator using DCT). Our experimental study on forty‐five C programs indicates 6.62% of average increase in MC/DC coverage. Copyright © 2016 John Wiley & Sons, Ltd.  相似文献   

15.
Software testing is particularly expensive for developers of high-assurance software, such as software that is produced for commercial airborne systems. One reason for this expense is the Federal Aviation Administration's requirement that test suites be modified condition/decision coverage (MC/DC) adequate. Despite its cost, there is evidence that MC/DC is an effective verification technique and can help to uncover safety faults. As the software is modified and new test cases are added to the test suite, the test suite grows and the cost of regression testing increases. To address the test-suite size problem, researchers have investigated the use of test-suite reduction algorithms, which identify a reduced test suite that provides the same coverage of the software according to some criterion as the original test suite, and test-suite prioritization algorithms, which identify an ordering of the test cases in the test suite according to some criteria or goals. Existing test-suite reduction and prioritization techniques, however, may not be effective in reducing or prioritizing MC/DC-adequate test suites because they do not consider the complexity of the criterion. This paper presents new algorithms for test-suite reduction and prioritization that can be tailored effectively for use with MC/DC. The paper also presents the results of empirical studies of these algorithms.  相似文献   

16.
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号