An approach for developing and validating libraries of temporal formal specifications
Sybor, Colleen A.
Michael, James B.
MetadataShow full item record
This thesis examines the role of independent validation in the development of software systems. As software systems become increasingly larger and more complex the role of software validation becomes crucial. In particular, one must make sure that the specification of a software system is correct with respect to customer expectations. We introduce an approach for developing and validating reuse libraries of temporal formal specifications. These libraries include UML statechart based assertions for formal specifications and their associated validation test scenarios. We build the validation test scenarios with the goal of ensuring that specifications within the libraries are indeed error-free and consistent.
Showing items related by title, author, creator and subject.
Drusinsky, Doron; Michael, James Bret; Otani, Thomas W.; Shing, Man-Tak (2008);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 ...
Cruickshank, Kristian John. (Monterey, California. Naval Postgraduate School, 2009-03);Validation of safety-critical software requirements is a difficult and frequently misunderstood task. It answers the question of "are we building the right product?" and is essential to Software Engineering. However, ...
Use of Statechart Assertions for Modeling Human-in-the-Loop Security Analysis and Decision-Making Processes Schumann, Michael A. (Monterey, California. Naval Postgraduate School, 2012-06);Processes are a fundamental component of most activities undertaken by humans. In software engineering and information assurance, in particular, it is important that processes be understandable, documented, and repeatable ...