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.

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}
}