A testing-based approach to ensure the safety of shared resource concurrent systems

Lars-Åke Fredlund, Julio Mariño, Raúl NN Alborodo and à ngel Herranz

Journal of Risk and Reliability, 2016, vol. 230, issue 5, 457-472

Abstract: The paper describes a framework for testing a class of safety-critical concurrent systems implemented using shared resource specifications. Shared resources contain declarative specifications of process interaction that can be used to derive, in a model-driven way, the most critical parts of a concurrent system. Here, we propose their use to build a state-based model that will help in testing a real implementation of the resource. The framework has been implemented using Erlang and QuickCheck and its source code is available. The paper also provides a novel parametric operational semantics for shared resources with scheduling policy annotations and a methodology to guide test-case generation from the shared resource specifications and a classification of common mistakes. We illustrate our framework by applying it to testing Java implementations of a prototypical automated shipping plant.

Keywords: Testing; concurrency; automated; model-based; property-based; black box; shared resources; Java; Erlang; QuickCheck (search for similar items in EconPapers)
Date: 2016
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://journals.sagepub.com/doi/10.1177/1748006X15614231 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:230:y:2016:i:5:p:457-472

DOI: 10.1177/1748006X15614231

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().