Z Based Software Testing

Vidya, S and Renukadevi, M and Krishnan, A (1997) Z Based Software Testing. Technical Report. National Aerospace Laboratories, Bangalore, India.

Full text available as:
[img] PDF
Restricted to Archive staff only

Download (629Kb)


    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.

    Item Type: Proj.Doc/Technical Report (Technical Report)
    Uncontrolled Keywords: Formal specifications;Testing;Cause-effect graph;Event tree;cutset;Pathset;Schema.
    Subjects: AERONAUTICS > Aircraft Design, Testing & Performance
    Division/Department: Aerospace Electronics and Controls Division, Aerospace Electronics and Controls Division, Aerospace Electronics and Controls Division
    Depositing User: Mrs Manoranjitha M D
    Date Deposited: 08 May 2006
    Last Modified: 09 Sep 2015 10:22
    URI: http://nal-ir.nal.res.in/id/eprint/1269

    Actions (login required)

    View Item