By Topic

Systematic incremental validation of rule-based reactive systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Hall, R.J. ; AT&T Bell Labs., Murray Hill, NJ, USA

Validating the specification of a reactive system, such as a telephone switching system, traffic controller, or automated network service, is difficult, primarily because it is extremely hard even to state a complete and correct set of requirements, let alone to prove that a specification satisfies them. A previous paper, R.J. Hall(1993), described a new validation proof technique, sound scenario generalization, which computes and proves a general validation lemma from a specific requirement-scenario and a candidate specification. That paper left open how the user should employ the technique to systematically validate a complete system. This paper describes an approach, based on a novel knowledge structure called a library of generalized scenario fragments, that combines the advantages of traditional software testing and automated theorem proving of specifications, avoiding most of their shortcomings. I also describe preliminary experience with ISAT-VA, a prototype of such an assistant

Published in:

Knowledge-Based Software Engineering Conference, 1994. Proceedings., Ninth

Date of Conference:

20-23 Sep 1994