Abstract:

Formal methods have precise description and high-level abstraction capability. Written specification in a formal method avoids consideration of data structures and algorithms in detail at the demand analysis stage. Meanwhile, it can reduce uncertainty and ambiguity in system modeling. This paper proposes a method for describing component models by using Object-Z schema and criteria to generate test a scenario, generating test cases for integrated testing on component systems.

Key words: specification; integration testing; Object-Z model; test case; component