Skip to main content

Generating Test Cases for Marine Safety and Security Scenarios: A Composition Framework

Resource type
Date created
In this paper we address the problem of testing complex computer models forinfrastructure protection and emergency response based on detailed and realisticapplication scenarios using advanced computational methods and tools. Specifically,we focus here on testing situation analysis decision support models for marine safety& security operations as a sample application domain. Arguably, methodicalapproaches for analyzing and validating situation analysis methods, decision supportmodels, and information fusion algorithms require realistic vignettes that describe ingreat detail how a situation unfolds over time depending on initial configurations,dynamic environmental conditions and uncertain operational aspects. Meaningfulresults from simulation runs require appropriate test cases, the production of whichis in itself a complex activity. To simplify this task, we introduce here the conceptualdesign of a Vignette Generator that has been developed and tested in an industrialresearch project. We also propose a framework for composing vignettes fromreusable vignette elements together with a formal representation for vignettes usingthe Abstract State Machine method and illustrate the approach by means of variouspractical examples.
Published as
Shahir et al. Security Informatics 2012, 1:4
Publication title
Security Informatics
Document title
Generating Test Cases for Marine Safety and Security Scenarios: A Composition Framework
Copyright statement
Copyright is held by the author(s).
You are free to copy, distribute and transmit this work under the following conditions: You must give attribution to the work (but not in any way that suggests that the author endorses you or your use of the work); You may not use this work for commercial purposes.
Scholarly level
Peer reviewed?
Member of collection
Download file Size
2190-8532-1-4.pdf 2.23 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 0