Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed
Software testing consumes half of the entire software development cost where test case generation is the most cost consuming activity in the whole process. The emergence of automatic test case generation has helped in reducing the cost eventually. Recently, model-based testing (MBT) for automatic...
Saved in:
Main Author: | |
---|---|
Format: | Thesis |
Published: |
2017
|
Subjects: | |
Online Access: | http://studentsrepo.um.edu.my/8134/2/All.pdf http://studentsrepo.um.edu.my/8134/6/aneesa.pdf http://studentsrepo.um.edu.my/8134/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.um.stud.8134 |
---|---|
record_format |
eprints |
spelling |
my.um.stud.81342020-01-21T00:35:18Z Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed Aneesa Ali, Ali Saeed QA76 Computer software Software testing consumes half of the entire software development cost where test case generation is the most cost consuming activity in the whole process. The emergence of automatic test case generation has helped in reducing the cost eventually. Recently, model-based testing (MBT) for automatic test case generation gains interest in industry and academia due to its provision of systematic, automated, and comprehensive testing. One of the input models for MBT is state machine model which currently widely utilized to model embedded systems. Generating test cases from Unified Modeling Language (UML) state machine models has two major challenges: generating feasible paths, and generating data to satisfy the paths. The existing infeasible path detection methods are restricted to extended finite state machine (EFSM) models with integer data type only. For detecting infeasible paths that involve Object Constraints Language (OCL) constraints, new method is needed to cover all the sophisticated constructs of OCL. For test data generation, the existing search-based techniques (SBTs) have been applied to satisfy only one OCL constraint by time. In order to generate optimal data to satisfy whole constraints in the feasible path, new method with SBTs is necessary to satisfy the whole constraints at the same time of the whole path executing. This thesis presents a method for generating feasible test cases from UML state machine models with OCL constraints. One contribution of this thesis is developing an efficient technique for detecting automatically infeasible paths that contain transitions with conflicted OCL constraints. A model-driven approach was used for generating abstract test cases from the feasible paths. This model driven approach was integrated with the proposed infeasible path detection method which based on analyzing various OCL constructs and operations. The second contribution of this thesis is developing an accurate search-based test data generator for generating automatically optimal test data to satisfy the whole constraints in the path. In the proposed search-based test data generator, a whole constraints analyzer and a fitness function that evolves itself based on the error feedback were proposed. The whole constraint analyzer and the fitness function were combined with four SBTs (genetic algorithm, evolutionary algorithm, simulating annealing, and quantum genetic algorithm). Case study evaluation was conducted based on three industrial open source case studies in order to evaluate empirically the significant of the performance of the proposed method. The results were statically analyzed using t-test to show the significance of the proposed method compared to the existing methods. The results show that the proposed infeasible path detection method was efficient and detect 99 percent of the infeasible paths in the three industrial systems. The results of the proposed search-based test data generator show significant performance compared to the existing search-based test data generator. 2017-10 Thesis NonPeerReviewed application/pdf http://studentsrepo.um.edu.my/8134/2/All.pdf application/pdf http://studentsrepo.um.edu.my/8134/6/aneesa.pdf Aneesa Ali, Ali Saeed (2017) Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed. PhD thesis, University of Malaya. http://studentsrepo.um.edu.my/8134/ |
institution |
Universiti Malaya |
building |
UM Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Malaya |
content_source |
UM Student Repository |
url_provider |
http://studentsrepo.um.edu.my/ |
topic |
QA76 Computer software |
spellingShingle |
QA76 Computer software Aneesa Ali, Ali Saeed Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
description |
Software testing consumes half of the entire software development cost where test
case generation is the most cost consuming activity in the whole process. The emergence
of automatic test case generation has helped in reducing the cost eventually. Recently,
model-based testing (MBT) for automatic test case generation gains interest in industry
and academia due to its provision of systematic, automated, and comprehensive testing.
One of the input models for MBT is state machine model which currently widely utilized
to model embedded systems. Generating test cases from Unified Modeling Language
(UML) state machine models has two major challenges: generating feasible paths, and
generating data to satisfy the paths. The existing infeasible path detection methods are
restricted to extended finite state machine (EFSM) models with integer data type only. For
detecting infeasible paths that involve Object Constraints Language (OCL) constraints,
new method is needed to cover all the sophisticated constructs of OCL. For test data
generation, the existing search-based techniques (SBTs) have been applied to satisfy
only one OCL constraint by time. In order to generate optimal data to satisfy whole
constraints in the feasible path, new method with SBTs is necessary to satisfy the whole
constraints at the same time of the whole path executing. This thesis presents a method for
generating feasible test cases from UML state machine models with OCL constraints. One
contribution of this thesis is developing an efficient technique for detecting automatically
infeasible paths that contain transitions with conflicted OCL constraints. A model-driven
approach was used for generating abstract test cases from the feasible paths. This model
driven approach was integrated with the proposed infeasible path detection method which
based on analyzing various OCL constructs and operations. The second contribution
of this thesis is developing an accurate search-based test data generator for generating automatically optimal test data to satisfy the whole constraints in the path. In the proposed
search-based test data generator, a whole constraints analyzer and a fitness function that
evolves itself based on the error feedback were proposed. The whole constraint analyzer
and the fitness function were combined with four SBTs (genetic algorithm, evolutionary
algorithm, simulating annealing, and quantum genetic algorithm). Case study evaluation
was conducted based on three industrial open source case studies in order to evaluate
empirically the significant of the performance of the proposed method. The results were
statically analyzed using t-test to show the significance of the proposed method compared
to the existing methods. The results show that the proposed infeasible path detection
method was efficient and detect 99 percent of the infeasible paths in the three industrial
systems. The results of the proposed search-based test data generator show significant
performance compared to the existing search-based test data generator. |
format |
Thesis |
author |
Aneesa Ali, Ali Saeed |
author_facet |
Aneesa Ali, Ali Saeed |
author_sort |
Aneesa Ali, Ali Saeed |
title |
Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
title_short |
Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
title_full |
Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
title_fullStr |
Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
title_full_unstemmed |
Test case generation from state machine with OCL constraints using search-based techniques / Aneesa Ali Ali Saeed |
title_sort |
test case generation from state machine with ocl constraints using search-based techniques / aneesa ali ali saeed |
publishDate |
2017 |
url |
http://studentsrepo.um.edu.my/8134/2/All.pdf http://studentsrepo.um.edu.my/8134/6/aneesa.pdf http://studentsrepo.um.edu.my/8134/ |
_version_ |
1738506106190168064 |
score |
13.209306 |