Filters








21 Hits in 5.4 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  
Combination of RANDOOP and jCUTE creates more test cases. COPECA is used to measure MC/DC% using the generated test cases.  ...  In this paper, we extend concolic testing by computing MC/DC using the automatically generated test cases.  ...  Table II presents the generated test cases and MC/DC% for RANDOOP, jCUTE, and Java-HCT.  ... 
doi:10.15439/2016f289 dblp:conf/fedcsis/GodboleyDM16 fatcat:fvkxsm3pgfan7egtukalqwhroq

Auto-generating Test Sequences Using Model Checkers: A Case Study [chapter]

Mats P. E. Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao
2004 Lecture Notes in Computer Science  
We developed a framework for specification-based test generation using the NuSMV model-checker and code based test case generation using Java Pathfinder, and collected time and resource usage data for  ...  generating test cases using symbolic, bounded, and explicit state model-checking algorithms.  ...  The counterexample generated for an MC/DC trap property describes not one test case, but an MC/DC test case pair-the first test case takes a transition t out of state X with a particular truth as- In  ... 
doi:10.1007/978-3-540-24617-6_4 fatcat:b6b3mxamdfdtdlikwgscayxr4y

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).  ...  Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria such as branch coverage and modified condition  ...  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

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl, Raimund Kirner, Peter Puschner
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
Beside random test data generation the test case generation uses formal methods, in detail model checking techniques.  ...  In model-based testing the test cases are derived from a model of the system under test.  ...  The test case specification also contains information about coverage metrics, for instance, aimed coverage criteria, like branch coverage or MC/DC.  ... 
doi:10.1109/wises.2006.329116 dblp:conf/wises/KandlKP06 fatcat:u6oxa4ytnbgu3apjanpzazw7ii

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Susanne Kandl
2006 2006 International Workshop on Intelligent Solutions in Embedded Systems  
Beside random test data generation the test case generation uses formal methods, in detail model checking techniques.  ...  In model-based testing the test cases are derived from a model of the system under test.  ...  The test case specification also contains information about coverage metrics, for instance, aimed coverage criteria, like branch coverage or MC/DC.  ... 
doi:10.1109/wises.2006.237154 fatcat:ap7a7bmooja6dllwjzlotsq2mq

Testing with model checkers: a survey

Gordon Fraser, Franz Wotawa, Paul E. Ammann
2009 Software testing, verification & reliability  
About a decade after the initial proposal to use model checkers for the generation of test cases we take a look at the achievements in this field of research.  ...  They are, however, also very useful as test cases. Many different approaches have been presented, many problems have been solved, yet many issues remain.  ...  In all interpretations of MC/DC, it takes a pair of test cases to cover a clause.  ... 
doi:10.1002/stvr.402 fatcat:d5l5gldrfjcgrkknu4kzfsapnu

Test Case Generation Strategy for Timing Diagram
Timing diagram의 테스트 케이스 생성 전략

Hong-Seok Lee, Ki-Hyun Chung, Kyung-Hee Choi
2010 The KIPS Transactions PartD  
The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model.  ...  In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results.  ...  SDV를 이용하여 MC/DC커버리지 범주로 테스트 케이스 를 생성하면 조건(Condition), 판단(Decision), MC/DC 범주 를 모두 생성하는데, 조건과 판단 범주가 MC/DC범주에 포 함되므로 생성된 테스트 케이스 목표들이 중복되는 것들이 존재한다.  ... 
doi:10.3745/kipstd.2010.17d.4.283 fatcat:slfkjt3a6vertadin3viiqhju4

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines [chapter]

Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel, Dirk Beyer
2015 Lecture Notes in Computer Science  
Based on this principle, we present a novel approach for automated product-line test-suite generation incorporating extensive reuse of reachability information among test cases derived for dierent test  ...  However, generating eective test suites remains computationally expensive, consisting of repetitive reachability analyses for multiple test goals according to a coverage criterion.  ...  To answer the research questions, we implemented a product-line test-suite generator based on CPA/tiger 4 , a test-case generator on top of CPAchecker 5 , which is a software model checker for C programs  ... 
doi:10.1007/978-3-662-46675-9_6 fatcat:opqizwubvndfnhchf5pcdxm32a

On the Distribution of Property Violations in Formal Models: An Initial Study

Jimin Gao, Mats Heimdahl, David Owen, Tim Menzies
2006 30th Annual International Computer Software and Applications Conference (COMPSAC'06)  
If so, these observations could be revealing some of the fundamental aspects of software (model) faults and have implications on how software engineering activities, such as analysis, testing, and reliability  ...  Our results indicate that random search quickly finds the vast majority of property violations in our case-example.  ...  most easy software faults, while more costly testing techniques, for example, boundary value testing or testing to achieve MC/DC coverage, can be reserved for later stages in the testing process.  ... 
doi:10.1109/compsac.2006.64 dblp:conf/compsac/GaoHOM06 fatcat:ylotre3ktzdnnea4bki5vouice

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

Michael Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
2019 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)  
new test cases to improve coverage.  ...  The model is then mutated to automatically generate scenarios that have a more complete coverage than the manual ones.  ...  The test case generation takes several hours on reasonably strong servers.  ... 
doi:10.1109/iceccs.2019.00018 dblp:conf/iceccs/ButlerDHOSFSTFT19 fatcat:nsml6asc4rgu7as2syv6rfabzm

Testing automation systems by means of model checking

Igor Buzhinsky, Valeriy Vyatkin
2017 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)  
to the MC/DC criterion.  ...  Finally, Publication VII builds on Publication VI and combines test case execution with coverage-based test case generation, forming a unified testing framework based on model checking.  ...  On stage 3, a test suite is generated.  ... 
doi:10.1109/etfa.2017.8247579 dblp:conf/etfa/BuzhinskyV17a fatcat:vbsgbhivbbe2tn2qpava3qmcfm

Software Construction and Analysis Tools for Future Space Missions [chapter]

Michael R. Lowry
2002 Lecture Notes in Computer Science  
NASA and its international partners will increasingly depend on software-based systems to implement advanced functions for future space missions, such as Martian rovers that autonomously navigate long  ...  After reviewing these challenges, this paper describes tools that have been developed at NASA Ames that could contribute to meeting these challenges: 1) Program synthesis tools based on automated inference  ...  test harness and suitable test cases.  ... 
doi:10.1007/3-540-46002-0_1 fatcat:bvrk3ouyfbgyxmogsvsstquplm

People-Centered Software Development: An Overview of Agile Methodologies [chapter]

Frank Maurer, Theodore D. Hellmann
2013 Lecture Notes in Computer Science  
The second part of the chapter covers agile quality assurance with a focus on test-driven development and the state space of testing.  ...  Current problems in agile testing, including measuring test quality and testing applications with large state spaces, are discussed.  ...  Close to the other extreme, we have multiple condition / decision coverage (MC/DC).  ... 
doi:10.1007/978-3-642-36054-1_7 fatcat:nbp5dkhovndrdafazcwe5alxpy

Test-suite reduction for model based tests: effects on test quality and implications for testing

M.P.E. Heimdahl, D. George
Proceedings. 19th International Conference on Automated Software Engineering, 2004.  
Model checking techniques can be successfully employed as a test case generation technique to generate tests from formal models.  ...  In this report we describe our experiment, analyze the results, and discuss the implications for testing based on formal specifications.  ...  For example, we may generate test-suites that provide MC/DC coverage of the formal model, execute the tests on the generated code, and show that the specification and code behave equivalently for this  ... 
doi:10.1109/ase.2004.1342735 fatcat:d5n3v7ebp5c3nd5yxwurflurei

Generating efficient test sets with a model checker

G. Hamon, L. de Moura, J. Rushby
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.  
It is well-known that counterexamples produced by model checkers can provide a basis for automated generation of test cases.  ...  In one example, our method achieves complete state and transition coverage in a Stateflow model for the shift scheduler of a 4-speed automatic transmission with a single test case. i  ...  Many methods based on model checking generate very inefficient test sets: for example, they generate a separate test for each case to be covered, and the individual tests can be long also.  ... 
doi:10.1109/sefm.2004.1347530 fatcat:flyq52qenrchtmhexgm2l7s4ji
« Previous Showing results 1 — 15 out of 21 results