262 Hits in 5.3 sec

On MC/DC and implementation structure: An empirical study

Mats P.E. Heimdahl, Michael W. Whalen, Ajitha Rajan, Matt Staats
2008 2008 IEEE/AIAA 27th Digital Avionics Systems Conference  
This observation confirms our suspicion that MC/DC used as a test adequacy metric is highly sensitive to structural changes in the implementation, and that test suite adequacy measurement using the MC/  ...  DC metric will be better served if done over the inlined implementation.  ...  TestSet1 in Table 6 provides MC/DC over the function; the test cases with in3 = false (bold faced) contribute towards MC/DC of the in1 or in2 condition in the if-then-else statement.  ... 
doi:10.1109/dasc.2008.4702848 fatcat:6e4qcrzpivcy7djlxaguetfrgi

Generating test case chains for reactive systems

Peter Schrammel, Tom Melham, Daniel Kroening
2014 International Journal on Software Tools for Technology Transfer (STTT)  
We give conditions for the existence and minimality of a single test case chain and minimize the number of test case chains if a single test case chain is infeasible.  ...  We report experimental results with our ChainCover tool for C code generated from Simulink models and compare it to state-of-the-art test suite generators.  ...  The test goals might also be generated from an EFSM specification or from code coverage criteria like MC/DC.  ... 
doi:10.1007/s10009-014-0358-6 fatcat:r2434z2fyffe7nhif2s2rptdbm

Towards a Framework for Constraint-Based Test Case Generation [chapter]

François Degrave, Tom Schrijvers, Wim Vanhoof
2010 Lecture Notes in Computer Science  
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP).  ...  We advocate the use of standard CP search strategies in order to express preferences on the generated test cases and to obtain the desired degree of coverage.  ...  This system will enable us to investigate the exact relation between the use of particular search strategies for constraint solving and the generation of interesting sets of test cases according to different  ... 
doi:10.1007/978-3-642-12592-8_10 fatcat:cppmyzmshrautbchvxjvh2kfte

From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Sergiy A. Vilkomir, Jonathan P. Bowen
2006 Formal Aspects of Computing  
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  ...  We analyse a major shortcoming of the MC/DC criterion, namely the deficiency of requirements for the testing of the "false operation" type of failures.  ...  [Hay86] , automatic test case generation [BCG00, BCM00] , and the selection of test cases and evaluation of test results [Hor95] .  ... 
doi:10.1007/s00165-005-0084-7 fatcat:zzbp4rskmfg3fezxet5vrxltve

Automation of Combinatorial Interaction Test (CIT) Case Generation and Execution for Requirements based Testing (RBT) of Complex Avionics Systems

P Venkata Sarla, Balakrishnan Ramadoss
2018 International Journal of Advanced Computer Science and Applications  
This paper describes about the innovative approach towards automation of Combinatorial Interaction Test case generation and execution for Requirements Based Testing of complex avionics systems for achieving  ...  test adequacy in a highly time efficient and cost efficient manner.  ...  optimal test cases.  ... 
doi:10.14569/ijacsa.2018.091217 fatcat:xuiovbp5kvfbpo6jzwej4u3koe

Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach [article]

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
2020 arXiv   pre-print
the manual effort required to generate test cases and ensuring requirements coverage.  ...  In two industrial case studies, UMTG automatically and correctly translated 95% of the use case specification steps into formal constraints required for test data generation; furthermore, it generated  ...  For example, ISO26262, the main international automotive standard, enforces statement, branch, and MC/DC coverage for unit testing only [3] .  ... 
arXiv:1907.08490v2 fatcat:lph77r5to5cc5mlczlee6sgk4e

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage

Gregory Gay, Ajitha Rajan, Matt Staats, Michael Whalen, Mats P. E. Heimdahl
2016 ACM Transactions on Software Engineering and Methodology  
Our results demonstrate that test suites achieving MC/DC over implementations with structurally complex Boolean expressions are generally larger and more effective than test suites achieving MC/DC over  ...  Additionally, we found that test suites generated over simpler implementations achieve significantly lower MC/DC and fault finding effectiveness when applied to complex implementations, whereas test suites  ...  Based on the definition of MC/DC, TestSet1 in Figure 1 provides MC/DC over program Version 1 but not over Version 2; the test cases with in 3 = false contribute towards MC/DC of the expression in 1 or  ... 
doi:10.1145/2934672 fatcat:lbhf7fqkjzfhdmq7lkmoppaqki

Towards Formally Verified Optimizing Compilation in Flight Control Software

Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, Jean Souyris, Marc Herbstritt
2011 Design, Automation, and Test in Europe  
The main point is to allow optimized code generation by relying on the formal proof of correctness instead of the current un-optimized generation required to produce assembly code structurally similar  ...  This work presents a preliminary evaluation of the use of the CompCert formally specified and verified optimizing compiler for the development of level A critical flight control software.  ...  Traceability is used to attain Multiple Condition Decision Coverage (MC/DC) over the code structure of each symbol of the library.  ... 
doi:10.4230/oasics.ppes.2011.59 dblp:conf/date/FrancaFLPS11 fatcat:i24xywldovgkdnrjosdrcxcloa

Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach

Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand
2020 IEEE Transactions on Software Engineering  
In this paper, we present Use Case Modeling for System-level, Acceptance Tests Generation (UMTG), an approach that supports the generation of executable, system-level, acceptance test cases from requirements  ...  In two industrial case studies, UMTG automatically and correctly translated 95% of the use case specification steps into formal constraints required for test data generation; furthermore, it generated  ...  For example, ISO26262, the main international automotive standard, enforces statement, branch, and MC/DC coverage for unit testing only [3] .  ... 
doi:10.1109/tse.2020.2998503 fatcat:f7ve42c7qzdnjjqrjr24f6apsm

Modified Condition Decision Coverage: A Hardware Verification Perspective

Mohamed A. Salem, Kerstin I. Eder
2013 2013 14th International Workshop on Microprocessor Test and Verification  
It provides a generic MC/DC overview while explaining MC/DC types, and criteria of MC/DC validation in the software domain.  ...  These insights present novel MC/DC aspects that optimize the minimal MC/DC coverage requirements, defines MC/DC compositionality concepts, and provide RTL design guidelines for MC/DC fulfillment.  ...  This rich generation of observability test vectors, would enable optimization of the number of test vectors in an MC/DC test suite to be less than (N + 1) as in this case.  ... 
doi:10.1109/mtv.2013.16 dblp:conf/mtv/SalemE13 fatcat:4c3ti4yfv5dxdpzakum5lsmq4a

Toward Rigorous Object-Code Coverage Criteria

Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats P. E. Heimdahl
2017 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)  
/decision coverage (MC/DC).  ...  Preliminary results indicate that object-code coverage can be made robust to compilation variations and is comparable in its bug-finding efficacy to source level MC/DC.  ...  In practice, we construct the master suite by combining the test cases generated by two available test generation methods -random generation and coverage-guided test generation for MC/DC and source-level  ... 
doi:10.1109/issre.2017.33 dblp:conf/issre/ByunSRMH17 fatcat:mb7ldrca4narhlcdrhxrn2xulu

Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Erika Ábrahám, Silvia Lizeth Taipa Tarifa, Erika Ábrahám, Silvia Lizeth Taipa Tarifa
2018 Conference proceedings (Universitetet i Oslo. Institutt for informatikk)  
Moreover, implementing test suites for such distributed systems and protocols is also a complex and time-consuming task. Model-based testing (MBT) is a promising approach to software testing.  ...  The paper also provides a proof of concept implementation in Maude and a case study involving dynamic auto scaling.  ...  For system tests, we have generated up to 38 test cases; for unit tests, we have generated up to 424 test cases.  ... 
doi:10.18154/rwth-conv-236485 fatcat:zs3dnnvm7namrmvuvswg5df4we

Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution

Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao
2014 2014 Eighth International Conference on Software Security and Reliability  
For the open source projects w.r.t branch coverage, our approach in average reduces 25.5% generated test cases and 36.3% solved constraints than the traditional DSE-based approach without path filtering  ...  with lower testing cost.  ...  In order to support other criteria like MC/DC, they tailored fitness functions in the search process to generate specific test cases.  ... 
doi:10.1109/sere.2014.23 dblp:conf/ssiri/SuPFHYJZ14 fatcat:ucclbz5pnjhnjeos3hnf3ry7tm


2018 International Journal of Advanced Research in Computer Science  
Software testing is the system of validation and verification of the application product.  ...  From the point of view of pleasant of checking out and discount of testing fee, automation of trying out process is the necessity of the hour.  ...  They presented 2 new calculations for test suite diminishment and prioritization that join parts of MC/DC viably like complexities of MC/DC and also the success of test suite decline technique is evaluated  ... 
doi:10.26483/ijarcs.v9i1.5327 fatcat:wvezoadlvnhtjntgp2pqktdozi

Ensuring the Observability of Structural Test Obligations

Ying Meng, Gregory Gay, Michael Whalen
2018 IEEE Transactions on Software Engineering  
I am thankful to the Advanced Technology Center at Rockwell Collins Inc. for granting access, through Michael Whalen, to industrial case examples.  ...  MC/DC can be achieved in (number of conditions + 1) test cases if care is taken in selecting test input.  ...  Branch Coverage is easier to understand and explain than MC/DC, and proving that your test cases meet the more strenuous requirements of MC/DC requires more time and effort.  ... 
doi:10.1109/tse.2018.2869146 fatcat:76pa7umupvfklmoqfim44ta3yi
« Previous Showing results 1 — 15 out of 262 results