Z Based Software Testing

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

[img] PDF
tr_pd_al_9716_R85002.pdf
Restricted to Repository staff only

Download (645kB)

Abstract

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: Monograph (Technical Report)
Uncontrolled Keywords: Formal specifications;Testing;Cause-effect graph;Event tree;cutset;Pathset;Schema.
Subjects: AERONAUTICS > Aircraft Design, Testing & Performance
Depositing User: Users 15 not found.
Date Deposited: 08 May 2006
Last Modified: 09 Sep 2015 04:52
URI: http://nal-ir.nal.res.in/id/eprint/1269

Actions (login required)

View Item View Item