About: Formal specification to support advanced model based testing

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formal specification to support advanced model based testing Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf
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. (en)
Title	Formal specification to support advanced model based testing Formal specification to support advanced model based testing (en)
skos:prefLabel	Formal specification to support advanced model based testing Formal specification to support advanced model based testing (en)
skos:notation	RIV/68407700:21230/12:00197174!RIV13-MSM-21230___
http://linked.open...avai/predkladatel	Fakulta elektrotechnická
http://linked.open...avai/riv/aktivita	S
http://linked.open...avai/riv/aktivity	S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Jelínek, Ivan Frajták, Karel Bureš, Miroslav
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	136981
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/12:00197174
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	test automation; test case scenario generation; guidance application (en)
http://linked.open.../riv/klicoveSlovo	test automation guidance application test case scenario generation
http://linked.open...ontrolniKodProRIV	[3F7FF9FDF813]
http://linked.open...v/mistoKonaniAkce	Wroclaw
http://linked.open...i/riv/mistoVydani	New York
http://linked.open...i/riv/nazevZdroje	Federated Conference on Computer Science and Information Systems (FedCSIS 2012)
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Jelínek, Ivan Bureš, Miroslav Frajták, Karel
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open...ain/vavai/riv/wos	000312714400183
http://linked.open.../riv/zahajeniAkce	2012-09-09 (xsd:date)
number of pages	4 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE
https://schema.org/isbn	978-83-60810-48-4
http://localhost/t...ganizacniJednotka	21230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 36 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software