29 Hits in 3.5 sec

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs

Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2016 Proceedings of the 2016 Federated Conference on Computer Science and Information Systems  
According to DO178C/RTCA criterion it is mandatory to achieve Level A certification for MC/DC. Concolic testing is the combination of Concrete and Symbolic execution.  ...  Java-HCT generates more number of test cases since it combines the features of both Feedback-Directed Random Test and Concolic Testing. Hence, through Java-HCT, we achieve high MC/DC.  ...  Since, we focus to increase MC/DC percentage, so we have developed this COPECA to measaure MC/DC percentage.  ... 
doi:10.15439/2016f289 dblp:conf/fedcsis/GodboleyDM16 fatcat:fvkxsm3pgfan7egtukalqwhroq

Enhanced modified condition/decision coverage using exclusive-nor code transformer

S. Godboley, G. S. Prashanth, D. P. Mohapatra, B. Majhi
2013 2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s)  
It drives CREST TOOL to generate test suite and increase the MC/DC coverage. Our technique helps to achieve a significant increase in MC/DC coverage as compared to traditional CONCOLIC testing.  ...  In this paper, we propose an automated technique to generate a test suite that helps in achieving an increase in MC/DC coverage of a program under test.  ...  Our Proposed Approach The main purpose of our proposed MC/DC tester is to extend the Concolic testing to get increased MC/DC coverage.  ... 
doi:10.1109/imac4s.2013.6526469 fatcat:v7m7jbyjyfaxpi54qulm7xcew4

Increase in Modified Condition/Decision Coverage using program code transformer

Sangharatna Godboley, G. S. Prashanth, D. P. Mohapatro, B. Majhi
2013 2013 3rd IEEE International Advance Computing Conference (IACC)  
Our approach helps to achieve an increase in MC/DC coverage as compared to the traditional CONCOLIC testing.  ...  This transformed program is inserted into the CONCOLIC tester (CREST TOOL) to generate test data for increased MC/DC coverage.  ...  A brief Description of our approach [MT] Our approach developing MC/DC TESTER (MT), has central logic to extend the Concolic testing to get increased MC/DC.  ... 
doi:10.1109/iadcc.2013.6514432 fatcat:2ihf7qk77vb7peppi33rujr7zi

A Systematic Review of Concolic Testing with Aplication of Test Criteria

Lucilia Y. Araki, Leticia M. Peres
2018 Proceedings of the 20th International Conference on Enterprise Information Systems  
The search for test cases to increase the coverage of structural tests is being addressed by approaches that generate test cases using symbolic and concolic execution.  ...  We present in this paper a systematic review, using approach, of methods, techniques and tools regarding to concolic testing with application of test criteria.  ...  Papers Data Test Generation Coverage Criteria Concolic testing Tools Concolic Mutation Branch Coverage Path Coverage MC/DC Used Implemented (Qu and Robinson, 2011) ✓ ✓ DART, CUTE,  ... 
doi:10.5220/0006776301210132 dblp:conf/iceis/ArakiP18 fatcat:mpihjjeg2ndu5fer3kijr3r5zu

Moving the goalposts: coverage satisfaction is not enough

Gregory Gay, Matt Staats, Michael W. Whalen, Mats P. E. Heimdahl
2014 Proceedings of the 7th International Workshop on Search-Based Software Testing - SBST 2014  
., critical systems areas-structural coverage criteria must be satisfied to achieve certification.  ...  While tempting, recent empirical evidence indicates these tools should be used with caution, as merely achieving high structural coverage is not necessarily indicative of high fault detection ability.  ...  Dupuy and Leveson evaluate the MC/DC as a complement to functional testing, finding that the use of MC/DC improves the quality of tests [4] .  ... 
doi:10.1145/2593833.2593837 dblp:conf/icse/GaySWH14 fatcat:rhcw7zrecba6noc6wzjexreem4

The Risks of Coverage-Directed Test Case Generation

Gregory Gay, Matt Staats, Michael Whalen, Mats P. E. Heimdahl
2015 IEEE Transactions on Software Engineering  
Finally, Observable MC/DC, a criterion designed to account for program structure and the selection of the test oracle, can-in part-address the failings of traditional structural coverage criteria, allowing  ...  13.5% more faults than test suites generated specifically to achieve coverage.  ...  achieved by MC/DC, condition, and decision coverage-tests generated on the faulty version of Alarms only achieve 72% OMC/DC coverage, whereas 88% MC/DC coverage is achieved.  ... 
doi:10.1109/tse.2015.2421011 fatcat:awhynqe65ze7lfjgb7w3puo7lq

Green-JEXJ: A new tool to measure energy consumption of improved concolic testing

Sangharatna Godboley, Arpita Dutta, Bhagyashree Besra, Durga Prasad Mohapatra
2015 2015 International Conference on Green Computing and Internet of Things (ICGCIoT)  
Our proposed method achieves 7.45% of average increase in branch coverage for some sample programs.  ...  In this paper, we developed a tool to measure energy consumption of improved concolic testing. We have named our tool as Green-JEXJ (Green JEXNCT JCUTE).  ...  In future, we will extend this work to measure energy consumption of MC/DC testing method. Further, we also aim to develop a distributed framework to increase the scalability of our approach.  ... 
doi:10.1109/icgciot.2015.7380424 fatcat:k37zgrxlpzhw3hf5fernms26w4

Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
2008 Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08  
Our experiments indicate that a careful choice of heuristics and certain combinations of random and directed testing achieve better coverages as compared to the existing commercial tools. 1  ...  Specifically, REDIRECT uses a careful combination of the above techniques, and in addition, the method uses a set of pattern-guided heuristics for tackling nonlinear blocks.  ...  Furthermore, using Reactis, we could achieve 50% MC/DC coverage of the Stateflow block, whereas, with REDIRECT, we could achieve 100% MC/DC coverage.  ... 
doi:10.1145/1450058.1450088 dblp:conf/emsoft/SatpathyYR08 fatcat:fkfmm7v2hndwtbpqbfbe7hzrvi

Handling dynamic data structures in search based testing

Kiran Lakhotia, Mark Harman, Phil McMinn
2008 Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08  
The result is a lightweight and efficient method, as shown in the results from a case study, which compares the method to CUTE, a concolic unit testing tool.  ...  There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have excelled.  ...  Achieving branch coverage on the CIL transformed code is equivalent to achieving MC/DC (Modified Condition/Decision Coverage) on the original code.  ... 
doi:10.1145/1389095.1389435 dblp:conf/gecco/LakhotiaHM08 fatcat:jryqtcn42ba6pbgnt2gcup2hdu

Cross-layer analysis, testing and verification of automotive control software

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, M. Satpathy, Stefan Resmerita, Wolfgang Pree
2011 Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11  
The coverage goals like state, transi-tion, and MC/DC over the SL/SF models can be translated into equivalent formal models like SAL [51] .  ...  MC/DC (Modified Condition/Decision Coverage) [53] is also highly recommended as per the automotive standard ISO 26262. The coverage of the input domain is also another test criteria.  ... 
doi:10.1145/2038642.2038683 dblp:conf/emsoft/BroyCGRSRP11 fatcat:wixbqk74mrdhpl4e42n4hatqha

CTGEN - a Unit Test Generator for C

Tatiana Mangels, Jan Peleska
2012 Electronic Proceedings in Theoretical Computer Science  
We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or internal assertions.  ...  In this paper we describe the main features of CTGEN, their technical realisation, and we elaborate on its performance in comparison to a list of competing test generation tools.  ...  The test generation technique is currently extended to support MC/DC coverage. .NET C C C C C machine code Java CAPABILITIES C0 Y Y Y Y Y Y Y Y Y C1 Y Y Y Y Y Y Y Y Y MC/DC N Y N N N N N N Y C2 N Y Y Y  ... 
doi:10.4204/eptcs.102.9 fatcat:vj6u26pborhcbc6afeed3y3ikm

PBCOV: a property-based coverage criterion

Kassem Fawaz, Fadi Zaraket, Wes Masri, Hamza Harkous
2014 Software quality journal  
Typically, a test requirement is a structural program element, and the coverage metric value represents the percentage of elements covered by a test suite.  ...  PBCOV is a dynamic analysis technique that also leverages properties and is characterized by the following: (a) It considers the state space of first-order logic properties as the test requirements to  ...  Typically MC/DC considers the coverage of a code decision predicate in terms of its clauses.  ... 
doi:10.1007/s11219-014-9237-3 fatcat:o2sqvmq7sze4namag2d5aloif4

Using Metamorphic Testing to Improve Dynamic Symbolic Execution

Eman Alatawi, Tim Miller, Harald Sondergaard
2015 2015 24th Australasian Software Engineering Conference  
Our hypothesis is that using metamorphic testing increases the ability of a DSE test suite to find faults, and that the follow-up tests execute some previously-uncovered segments.  ...  From a given test suite, follow-up tests inputs are generated, and their outputs are compared to outputs from the original tests, using metamorphic relations.  ...  ACKNOWLEDGMENTS The first author acknowledges support from Taibah University through a scholarship to pursue graduate studies at the University of Melbourne.  ... 
doi:10.1109/aswec.2015.16 dblp:conf/aswec/AlatawiMS15 fatcat:ayb7mwmvt5acjbguxakucbsis4

DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks [article]

Yang Feng, Qingkai Shi, Xinyu Gao, Jun Wan, Chunrong Fang, Zhenyu Chen
2020 arXiv   pre-print
To mitigate this problem, we propose DeepGini, a test prioritization technique designed based on a statistical perspective of DNN.  ...  However, the testing oracle, which defines the correct output for a given input, is often not available in the automated testing.  ...  In addition, Jones and Harrold [14] reported that MC/DC, a stricter form of branch coverage, is also applicable to coverage-based test prioritization.  ... 
arXiv:1903.00661v2 fatcat:qapiimde3jbgvpghieasxyvaby

On Testing Machine Learning Programs [article]

Houssem Ben Braiek, Foutse Khomh
2018 arXiv   pre-print
Finally, we identify gaps in the literature related to the testing of ML programs and make recommendations of future research directions for the scientific community.  ...  As the field of ML continues to grow, we are likely to witness transformative advances in a wide range of areas, from finance, energy, to health and transportation.  ...  They propose a testing approach that consists of a set of four criteria inspired by MC/DC and a test cases generator based on linear programming (LP).  ... 
arXiv:1812.02257v1 fatcat:yhomj6slnzeb5hp4xxww2ymaa4
« Previous Showing results 1 — 15 out of 29 results