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
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! |
Provides definitions
Cover images
Introduction
•Monitored Variables •Controlled Variables •Input Event •Output Event •Auxiliary Variables: Modes ( from Mode class) , Terms •Constants