About: Automated Construction of Reasonable Environment for Java Components

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

About: Automated Construction of Reasonable Environment for Java Components 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
Description	In software component verification, one of the challenges is model checking of isolated components. The environment of an isolated component is unknown, and therefore a part of an input to a model checker is missing. This problem can be addressed via automated generation of an artificial environment - component and its environment form a complete program that can be verified using common model checkers. Focusing on concurrency errors in Java components, we propose to automatically generate a reasonable artificial environment that makes efficient detection of concurrency errors with Java PathFinder possible. Such an environment executes in parallel those component's methods that interact via concurrency constructs of Java and thus likely contain concurrency errors. We employ static code analysis to identify sets of methods to be executed in parallel and a metric to order the sets according to the degree of interaction. Benefits of the technique are illustrated on results of experiments. In software component verification, one of the challenges is model checking of isolated components. The environment of an isolated component is unknown, and therefore a part of an input to a model checker is missing. This problem can be addressed via automated generation of an artificial environment - component and its environment form a complete program that can be verified using common model checkers. Focusing on concurrency errors in Java components, we propose to automatically generate a reasonable artificial environment that makes efficient detection of concurrency errors with Java PathFinder possible. Such an environment executes in parallel those component's methods that interact via concurrency constructs of Java and thus likely contain concurrency errors. We employ static code analysis to identify sets of methods to be executed in parallel and a metric to order the sets according to the degree of interaction. Benefits of the technique are illustrated on results of experiments. (en)
Title	Automated Construction of Reasonable Environment for Java Components Automated Construction of Reasonable Environment for Java Components (en)
skos:prefLabel	Automated Construction of Reasonable Environment for Java Components Automated Construction of Reasonable Environment for Java Components (en)
skos:notation	RIV/00216208:11320/09:00207478!RIV10-MSM-11320___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET400300504), Z(MSM0021620838)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Adámek, Jiří Parízek, Pavel Kalibera, Tomáš
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	Univerzita Karlova v Praze / Matematicko-fyzikální fakulta
http://linked.open...dnocenehoVysledku	304448
http://linked.open...ai/riv/idVysledku	RIV/00216208:11320/09:00207478
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Automated; Construction; Reasonable; Environment; Components (en)
http://linked.open.../riv/klicoveSlovo	Components Environment Automated Reasonable Construction
http://linked.open...odStatuVydavatele	US - Spojené státy americké
http://linked.open...ontrolniKodProRIV	[F565C33D4F3A]
http://linked.open...i/riv/nazevZdroje	Electronic Notes in Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...v/svazekPeriodika	253
http://linked.open...iv/tvurceVysledku	Adámek, Jiří Kalibera, Tomáš Parízek, Pavel
http://linked.open...n/vavai/riv/zamer	Moderní metody, struktury a systémy informatiky
issn	1571-0661
number of pages	16 (xsd:int)
http://localhost/t...ganizacniJednotka	11320

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software