By Topic

Requirements-based testing of real-time systems: Modeling for testability

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

3 Author(s)
Chandrasekharan, M. ; GTE Laboratories, Incorporated ; Dasarathy, B. ; Kishimoto, Z.

Requirements validation depends largely on the techniques used for specification, so the augmented finite-state machine (FSM) model used to capture the external behavior of a real-time system is central to the environment. Therefore, this paper describes the validation techniques used and explores those aspects of the specification model that facilitate test generation and execution using the behavioral description. We refer to this theme as requirements modeling for testability. Our thesis is: although an FSM or an augmented FSM may be relatively limited in its ability to capture the whole range of practical systems' behaviors, it is adequate for real-time systems in which sequential computations dominate. The FSM model should be preferred for applications in which high reliability is a primary concern; expressive power can be traded off to ensure quality.

Published in:

Computer  (Volume:18 ,  Issue: 4 )