Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

Using Model Checking To Generate Tests From Requirements Specifications

[document] Submitted on 5 June, 2019 - 12:50
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

Date published
Document type
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

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

Susmita Ghose
Visit also