A Tool For Generating Test Cases from Formal Specification of Programs

Please enable javascript in your browser.

Mortezazadeh Jagargh, Iman | 2013

658 Viewed

Type of Document: M.Sc. Thesis
Language: Farsi
Document No: 46894 (19)
University: Sharif University of Technology
Department: Computer Engineering
Advisor(s): Mirian Hosseinabadi, Hassan
Abstract:
The use of formal methods in the software development process has many advantages. One of the benefits is extracting test cases from formal specification with test coverage criteia. In this study, we tried to extracting control flow graph form Z language. Using this graph and control flow graph coverage criteria, test cases are derived from Z. A tool to automate the generation of test cases from Z also produced. This tool uses the CZT, describing formal language Z receives and uses the standard graph covers, set of test cases stems. Using mutants, the proposed method was evaluated by this method was able to achieve a score of 92%
Keywords:
Formal Specification ; Software Testing ; Control Flow ; Z Specification Language ; Coverage Criterias ; Control Flow Graph ; Test Case

No TOC