Model-based test case generation using symbolic execution

2013 ◽  
Author(s):  
Kazuki Munakata ◽  
Susumu Tokumoto ◽  
Tadahiro Uehara
Keyword(s):  
Symbolic Execution ◽  
Test Case Generation ◽  
Test Case ◽  
Model Based

scholarly journals Test case generation for object-oriented imperative languages in CLP

2010 ◽  
Vol 10 (4-6) ◽  
pp. 659-674 ◽  
Author(s):  
MIGUEL GÓMEZ-ZAMALLOA ◽  
ELVIRA ALBERT ◽  
GERMÁN PUEBLA
Keyword(s):  
Symbolic Execution ◽  
Object Oriented ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Software Development Process ◽  
Java Programs ◽  
Promising Application ◽  
Account Due ◽  
Imperative Language

AbstractTesting is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an object-oriented (OO) imperative language, symbolic execution becomes challenging as, among other things, it must be able to backtrack, complex heap-allocated data structures should be created during the TCG process and features like inheritance, virtual invocations and exceptions have to be taken into account. Due to its inherent symbolic execution mechanism, we pursue in this paper that Constraint Logic Programming (CLP) has a promising application field in tcg. We will support our claim by developing a fully CLP-based framework to TCG of an OO imperative language, and by assessing it on a corresponding implementation on a set of challenging Java programs.

scholarly journals TEST CASE GENERATION BERBASIS STATE MODEL UNTUK VERIFIKASI SISTEM LAYANAN PERMOHONAN ROHANIWAN

2020 ◽  
Vol 16 (1) ◽  
Author(s):  
Defri Kurniawan ◽  
Danang Wahyu Utomo ◽  
Novita Kurnia Ningrum
Keyword(s):  
State Machine ◽  
State Model ◽  
Test Case Generation ◽  
Test Case ◽  
Use Case ◽  
Behaviour Modelling ◽  
Model Based ◽  
Model Based Testing ◽  
State Machine Diagram

Pembuatan kasus uji (<em>test case generation</em>) merupakan tahapan yang membutuhkan sumber daya terbesar yang memiliki pengaruh terhadap keefektifan dan efisiensi suatu pengujian perangkat lunak. Pembuatan <em>test case</em> menjadi salah satu topik penelitian paling manarik. Pengujian berbasis model (<em>model based testing</em>) diusulkan untuk membuat kasus uji pada Sistem Layanan Permohonan Rohaniwan Kementerian Agama Provinsi Jawa Tengah. Model yang diusulkan dalam pembuatan kasus uji dimulai dari kegiatan pengumpulan kebutuhan, menganalisa <em>use case</em> dan <em>class</em>, mengidentifikasi <em>state</em>, melakukan pemodelan perilaku (<em>behaviour modelling</em>) menggunakan<em> state machine diagram</em> dan membuat daftar kasus uji. Penelitian menunjukkan penggunaan model berbasis <em>state</em> mempu mendukung pembuatan kasus uji (<em>test case</em>) dan dapat mendeteksi perilaku (<em>behavior</em>) dari <em>response</em> sistem yang kurang sesuai terhadap inputan atau aksi yang diberikan oleh <em>user.</em>

Tools and Techniques for Model Based Testing

2010 ◽  
pp. 226-249
Author(s):  
Swapan Bhattacharya ◽  
Ananya Kanjilal ◽  
Sabnam Sengupta
Keyword(s):  
Software Development ◽  
Development Time ◽  
Domain Model ◽  
Test Case Generation ◽  
Test Case ◽  
Model Based ◽  
Testing Tools ◽  
Research Activities ◽  
Model Based Testing ◽  
Tools And Techniques

Software testing has gained immense importance in the present competitive world of developing software more quickly, more efficiently and more accurately. Testing activity is carried out throughout the lifecycle of software development and not only towards the end of development. Time and effort required to correct errors, detected later is much more compared to those, which are detected earlier. This has direct impact on costs and has led to a splurge of research activities in this domain. Model-based testing has recently gained attention with the popularization of modeling itself. It refers to testing and test case generation based on a model that describes the behavior of the system. The OMG initiative MDA has revolutionized the way models would be used for software development. There are a number of modeling techniques in use today- some have formal syntax like Z, VDM while some are semi-formal like UML. We have made a comprehensive summary of a considerable number of research works on Model Based testing. First, the issues, challenges and problems of model based testing have been discussed. Then the different methods developed for testing or test case generation based on the models are summarized. Finally a list of model based testing tools used for testing has been collectively presented.

Automated Model-Based Test Case Generation Using Uml Activity Diagram: A Review

2021 ◽  
pp. 109-121
Author(s):  
Rozi Nor Haizan Nor ◽  
Md Abdul Monim ◽  
Yusmadi Yah Jusoh ◽  
Nur Ilyana Ismarau Tajuddin
Keyword(s):  
Test Case Generation ◽  
Test Case ◽  
Activity Diagram ◽  
Model Based ◽  
Uml Activity Diagram
Sign in / Sign up

Export Citation Format

Share Document