This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n18http://purl.org/net/nknouf/ns/bibtex#
n13http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/resource/domain/vavai/subjekt/
n11http://linked.opendata.cz/ontology/domain/vavai/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F68407700%3A21230%2F12%3A00197174%21RIV13-MSM-21230___/
n19https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n22http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F68407700%3A21230%2F12%3A00197174%21RIV13-MSM-21230___
rdf:type
n11:Vysledek skos:Concept
rdfs:seeAlso
http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf
dcterms:description
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. 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.
dcterms:title
Formal specification to support advanced model based testing Formal specification to support advanced model based testing
skos:prefLabel
Formal specification to support advanced model based testing Formal specification to support advanced model based testing
skos:notation
RIV/68407700:21230/12:00197174!RIV13-MSM-21230___
n11:predkladatel
n21:orjk%3A21230
n4:aktivita
n22:S
n4:aktivity
S
n4:dodaniDat
n7:2013
n4:domaciTvurceVysledku
n10:3729486 n10:7010168 n10:7276648
n4:druhVysledku
n12:D
n4:duvernostUdaju
n5:S
n4:entitaPredkladatele
n8:predkladatel
n4:idSjednocenehoVysledku
136981
n4:idVysledku
RIV/68407700:21230/12:00197174
n4:jazykVysledku
n16:eng
n4:klicovaSlova
test automation; test case scenario generation; guidance application
n4:klicoveSlovo
n6:guidance%20application n6:test%20case%20scenario%20generation n6:test%20automation
n4:kontrolniKodProRIV
[3F7FF9FDF813]
n4:mistoKonaniAkce
Wroclaw
n4:mistoVydani
New York
n4:nazevZdroje
Federated Conference on Computer Science and Information Systems (FedCSIS 2012)
n4:obor
n9:IN
n4:pocetDomacichTvurcuVysledku
3
n4:pocetTvurcuVysledku
3
n4:rokUplatneniVysledku
n7:2012
n4:tvurceVysledku
Jelínek, Ivan Bureš, Miroslav Frajták, Karel
n4:typAkce
n17:WRD
n4:wos
000312714400183
n4:zahajeniAkce
2012-09-09+02:00
s:numberOfPages
4
n18:hasPublisher
IEEE
n19:isbn
978-83-60810-48-4
n13:organizacniJednotka
21230