Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance
Michael, James Bret
Otani, Thomas W.
MetadataShow full item record
In this paper we present a new approach for developing libraries of temporal formal specifications. Our approach is novel in its use of UML statechart-based assertions for formal specifications and its emphasis on validation testing, including an emphasis on the inclusion of validation test scenarios as an integral part of a formal specification library. Validation test scenarios are needed to ensure a robust validation process and to improve the reliability and assurance of the specification and resulting software.
The Second International Conference on Secure System Integration and Reliability ImprovementThe article of record as published may be found at https://doi.org/10.1109/SSIRI.2008.54
Showing items related by title, author, creator and subject.
Woodward, Joseph H. (Monterey, California. Naval Postgraduate School, 1993-09);The development of new composite materials, which lack the historical field data base, has led to the need for an accelerated life testing method applicable to composites. Accelerated life testing by increasing the sustained ...
Kelly, Timothy James (Monterey, California. Naval Postgraduate School, 1993-03);As recognized in the software engineering process, software testing during development is an aspect that must be improved to accurately predict and reduce probabilities of future software failures. A possible method of ...
Galinski, Jonathan J. (Monterey, California: Naval Postgraduate School, 2015-09);This thesis provides natural language requirements and associated formal specifications for an electric power grid. These specifications are the first step in using bounded constraint solving to detect early bleak states ...