Article Details

Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.

A New Comment on Reinforcement of Testing Criteria

Author 1: Monika Singh
Author 2: Vinod Kumar Jain

Full Text

Digital Object Identifier (DOI) : 10.14569/IJACSA.2017.080347

Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 8 Issue 3, 2017.

Abstract: This paper presents the formal aspects of testing criteria for Safety Critical Systems. A brief review of testing strategies i.e. white box and black box is given along with their various criteria’s. Z Notation; a formal specification language is used to sever the purpose of formalization. Initially, the schemas are formed for Statement Coverage (SC), Decision coverage (DC), Path Coverage (PC), Equivalence Partition Class (EPC), Boundary Value Analysis (BV) and Cause & Effect (C&F). The completeness and correctness of test schema are enriched by verifying these with Z/EVES; a Theorem Prover tool for Z specification.

Keywords: Formal Methods; Safety Critical System; Z Notation; Schema

Monika Singh and Vinod Kumar Jain, “A New Comment on Reinforcement of Testing Criteria” International Journal of Advanced Computer Science and Applications(IJACSA), 8(3), 2017. http://dx.doi.org/10.14569/IJACSA.2017.080347

@article{Singh2017,
title = {A New Comment on Reinforcement of Testing Criteria},
journal = {International Journal of Advanced Computer Science and Applications}
doi = {10.14569/IJACSA.2017.080347},
url = {http://dx.doi.org/10.14569/IJACSA.2017.080347},
year = {2017},
publisher = {The Science and Information Organization},
volume = {8},
number = {3},
author = {Monika Singh and Vinod Kumar Jain},
}

Open Access Journal
IJACSA