Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance

  • Authors:

  • Doron Drusinsky;James Bret Michael;Thomas W. Otani;Man-Tak Shing

  • Affiliations:

  • -;-;-;-

  • Venue:
  • SSIRI '08 Proceedings of the 2008 Second International Conference on Secure System Integration and Reliability Improvement
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.