Formal specification to support advanced model based testing

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F12%3A00197174" target="_blank" >RIV/68407700:21230/12:00197174 - isvavai.cz</a>

Výsledek na webu

<a href="http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf" target="_blank" >http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal specification to support advanced model based testing

Popis výsledku v původním jazyce

Reliability and correctness of a web application are crucial factors to its success. Errors occurring in nondeterministic moments do not attract the target audience of the application. It is quite impossible to deliver 100% reliable application. Hidden errors are discovered when target users are using the application. With proper tooling and support the time between the error discovery or report and the error elimination can be reduced. In this paper we are proposing formal model for a model based improvement of a testing process of the web application. Our goal is to create a formal model and design a testing framework based on the direct guidance of a tester 1through the testing process, verifying his steps and providing better feedback.

Název v anglickém jazyce

Formal specification to support advanced model based testing

Popis výsledku anglicky

Reliability and correctness of a web application are crucial factors to its success. Errors occurring in nondeterministic moments do not attract the target audience of the application. It is quite impossible to deliver 100% reliable application. Hidden errors are discovered when target users are using the application. With proper tooling and support the time between the error discovery or report and the error elimination can be reduced. In this paper we are proposing formal model for a model based improvement of a testing process of the web application. Our goal is to create a formal model and design a testing framework based on the direct guidance of a tester 1through the testing process, verifying his steps and providing better feedback.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2012

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

Federated Conference on Computer Science and Information Systems (FedCSIS 2012)

ISBN

978-83-60810-48-4

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

1311-1314

Název nakladatele

IEEE

Místo vydání

New York

Místo konání akce

Wroclaw

Datum konání akce

9. 9. 2012

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

WRD - Celosvětová akce

Kód UT WoS článku

000312714400183