Z Based Software Testing

Software development life cycle is the result of evolution ill software13; engineering discipline. In software development life cycle, requirement specification is one13; of the important phases as any error in this phase will be carried through the rest of the i13; phases. Many formal methods are suggested in an attempt to describe specifications in13; mathematical notations, so that precise and error free requirement specifications results. Z13; is one such formal specification language used to specify attributes of a system. T ilis13; document deals with some of the features of the language and its application to a specific !113; case study. The concept of cause and effect graphing is described to generate lest vectors i13; for testing software. whose specification is written in Z formal language