Skip to main content
Kent Academic Repository

Automated Construction of Reasonable Environment for Java Components

Parizek, Pavel, Adamek, Jiri, Kalibera, Tomas (2009) Automated Construction of Reasonable Environment for Java Components. In: Proceedings of the 6th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA). Electronic Notes in Theoretical Computer Science , 253 (1). pp. 182-196. Elsevier (doi:10.1016/j.entcs.2009.09.033) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30607)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://www.cs.kent.ac.uk/pubs/2009/3138

Abstract

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 performed on real-life Java components.

Item Type: Conference or workshop item (UNSPECIFIED)
DOI/Identification number: 10.1016/j.entcs.2009.09.033
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Tomas Kalibera
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 16 Nov 2021 10:08 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30607 (The current URI for this page, for reference purposes)

University of Kent Author Information

Kalibera, Tomas.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.