Consistency Checks
This section gives a number of examples of consistency checks that can be made on the models produced in the system design.
- Check that there is a simple (preferably one-to-one) mapping between all the top-level subsystems in the architecture definition and some of the design modules as defined in the design module structure.
- Check that the actual modules (SDL packages etc.) used in the design are consistent with the design module structure.
- Check that the subsystems in the logical architecture in the analysis object model are mapped to the architecture definition in the design.
- Check that all use cases from the requirements analysis and system analysis are refined to design use cases.
- Check that the instances in the design use cases correspond to the blocks/processes in the architecture definition.
- Check that all objects in the analysis object model either has been mapped to some interface definition or really are internal to their module.
- Check that the different models conform to the rules for their respective notation (like SDL and MSC).