Vidya, S and Renuka Devi, M and Krishnan, A (1997) Z Based Software Testing. Technical Report. National Aerospace Laboratories, Bangalore, India.
Full text available as:![[img]](http://nal-ir.nal.res.in/style/images/fileicons/application_pdf.png) | PDF Restricted to Archive staff only Download (629Kb) |
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: | 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: | 24 May 2010 09:41 |
| URI: | http://nal-ir.nal.res.in/id/eprint/1269 |
Actions (login required)
| View Item |
