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

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