A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
On MC/DC and implementation structure: An empirical study
2008
2008 IEEE/AIAA 27th Digital Avionics Systems Conference
Preserved Fulltext
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
2014
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2018
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2016
ACM Transactions on Software Engineering and Methodology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2011
Design, Automation, and Test in Europe
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 14th International Workshop on Microprocessor Test and Verification
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
/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)
2018
Conference proceedings (Universitetet i Oslo. Institutt for informatikk)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 Eighth International Conference on Software Security and Reliability
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
PRIORITIZING TECHNIQUE BASED ON GENETIC ALGORITHM- AN EXPERIMENTAL REVIEW
2018
International Journal of Advanced Research in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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