Using Model Checking To Generate Tests From Requirements Specifications

Keywords requirements specifications model checking scr requirements method using model specifications
Standards groups

Generating Test Sequences from an Operational Specification
• Derivation of functions from the condition/event table
• Translation of these into the language of the model checker
• Construction of test sequences using the model checker’s ability to generate counterexamples

Metadata
Date published
1978
Document type
presentation
Pages
3
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Presentation-Generating Test Cases From Reqts Susmita.pdf application/pdf   17.82 KB English DOWNLOAD!
File attachments
Cover images
Introduction

•Monitored Variables •Controlled Variables •Input Event •Output Event •Auxiliary Variables: Modes ( from Mode class) , Terms •Constants

Author(s)
Susmita Ghose
Visit also