Black box specifies behavior of a system or a part of a system - Formal Modelling & Verification

Q.  Which box specifies the behavior of a system or a part of a system?
- Published on 22 Jul 15

a. State box
b. Clear box
c. Black box
d. None of the above

ANSWER: Black box
 

    Discussion

  • Nirja Shah   -Posted on 20 Oct 15
    - Three types of boxes are used:
    Black box
    - The black box specifies the behaviour of a system or a part of a system,
    - The system (or part) responds to specific stimuli (events) by applying a set of transition rules that map the stimulus into a response.

    State box
    - This box encapsulates state data and services (operations) in a manner that is analogous to objects.
    - In this specification view, inputs to the state box (stimuli) and outputs (responses) are represented.
    - It also represents the "stimulus history" of the black box, that is the data encapsulated in the state box that must be retained between the transitions implied.

    Clear box
    - The transition functions that are implied by the state box are defined in the clear box.
    - Stated simply, a clear box contains the procedural design for the state box.

Post your comment / Share knowledge


Enter the code shown above:
 
(Note: If you cannot read the numbers in the above image, reload the page to generate a new one.)