Simulation Testing and Model Checking: A Case Study Comparing these Approaches

Kód výsledku v 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>

Výsledek na webu

<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>

Jazyk výsledku

angličtina

Název v původním jazyce

Simulation Testing and Model Checking: A Case Study Comparing these Approaches

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Simulation Testing and Model Checking: A Case Study Comparing these Approaches

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/ED1.1.00%2F02.0090" target="_blank" >ED1.1.00/02.0090: NTIS - Nové technologie pro informační společnost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2014

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Software Engineering for Resilient Systems

ISBN

978-3-319-12240-3

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

15

Strana od-do

116-130

Název nakladatele

Springer

Místo vydání

Heidelberg

Místo konání akce

Budapest

Datum konání akce

15. 10. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—