Simulation Testing and Model Checking: A Case Study Comparing these Approaches
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F14%3A43922847" target="_blank" >RIV/49777513:23520/14:43922847 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-12241-0_9" target="_blank" >http://dx.doi.org/10.1007/978-3-319-12241-0_9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-12241-0_9" target="_blank" >10.1007/978-3-319-12241-0_9</a>
Alternative languages
Result language
angličtina
Original language name
Simulation Testing and Model Checking: A Case Study Comparing these Approaches
Original language description
One of the challenging problems in software development is the assuring of the correctness of the created software. During our previous research, we developed a framework for the simulation-based testing of software components SimCo that allows us to perform testing of component-based applications or its fragments. SimCo was originally designed to perform the tests according to a given scenario in order to determine extra-functional properties of the components. However, it can be also used to test thecorrectness of the component behaviour. Other ways of verifying software correctness are model checking tools, such as Java Path-finder. We want to compare strengths and weaknesses of the two approaches as represented by SimCo and Java Pathfinder. In this paper, we are discussing the results of the comparison of these two testing methods on a case study using the implementation of the FTP protocol.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - New Technologies for Information Society</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Software Engineering for Resilient Systems
ISBN
978-3-319-12240-3
ISSN
0302-9743
e-ISSN
—
Number of pages
15
Pages from-to
116-130
Publisher name
Springer
Place of publication
Heidelberg
Event location
Budapest
Event date
Oct 15, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—