loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Emil Vassev 1 ; Mike Hinchey 2 and Aaron Quigley 1

Affiliations: 1 Lero - The Irish Software Engineering Research Centre, University College Dublin, Ireland ; 2 Lero - The Irish Software Engineering Research Centre, University of Limerick, Ireland

ISBN: 978-989-674-009-2

Keyword(s): Autonomic Computing, Model Checking, ASSL, Java PathFinder.

Related Ontology Subjects/Areas/Topics: Algorithms and Data Structures ; Cross-Feeding between Data and Software Engineering ; Model-Driven Engineering ; Programming Languages ; Requirements Elicitation and Specification ; Software Engineering ; Software Engineering Methods and Techniques ; Software Testing and Maintenance

Abstract: Autonomic computing has been recognized as a valid approach to the development of large-scale self-managing complex systems. The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic systems where we approach the problem of formal specification, validation, and code generation of such systems within a framework. As part of our research on ASSL, we have developed and investigated different approaches to software verification. Currently, the latter is possible via built-in consistency checking and functional testing where handling logical errors is a daunting task. In this paper, we discuss our work on model checking with NASA’s Java PathFinder tool, which is an explicit-state model checker that works directly on the generated Java code. We propose optional automatic generation of test drivers in the form of PathFinder API calls seeded in the ASSL-generated code.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.207.137.4

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Vassev E.; Hinchey M.; Quigley A. and (2009). TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL.In Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-989-674-009-2, pages 251-256. DOI: 10.5220/0002279902510256

@conference{icsoft09,
author={Emil Vassev and Mike Hinchey and Aaron Quigley},
title={TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL},
booktitle={Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2009},
pages={251-256},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002279902510256},
isbn={978-989-674-009-2},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - TOWARDS MODEL CHECKING WITH JAVA PATHFINDER FOR AUTONOMIC SYSTEMS SPECIFIED AND GENERATED WITH ASSL
SN - 978-989-674-009-2
AU - Vassev, E.
AU - Hinchey, M.
AU - Quigley, A.
PY - 2009
SP - 251
EP - 256
DO - 10.5220/0002279902510256

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.