Show simple item record

dc.contributor.authorAuguston, Mikhail
dc.contributor.authorMichael, James Bret
dc.contributor.authorShing, Man-Tak
dc.date.accessioned2018-08-08T20:32:14Z
dc.date.available2018-08-08T20:32:14Z
dc.date.issued2006
dc.identifier.citationAuguston, Mikhail, James Bret Michael, and Man-Tak Shing. "Environment behavior models for automation of testing and assessment of system safety." Information and Software Technology 48.10 (2006): 971-980.
dc.identifier.urihttp://hdl.handle.net/10945/59398
dc.descriptionThe article of record as published may be found at http://dx.doi.org/10.1016/j.infsof.2006.03.005
dc.description.abstractThis paper presents an approach to automatic scenario generation from environment behavior models for testing of real-time reactive systems. The model of behavior is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating and executing test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the approach with a case study of a software prototype of the computer-assisted resuscitation algorithm for a safety-critical casualty intravenous fluid infusion pump. Published by Elsevier B.V.en_US
dc.description.sponsorshipU.S. Missile Defense Agency
dc.format.extent10 p.
dc.publisherElsevier
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
dc.titleEnvironment behavior models for automation of testing and assessment of system safetyen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentComputer Science (CS)
dc.subject.authorModel-based testing
dc.subject.authorTesting automation
dc.subject.authorReactive and real-time system testing


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record