Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

A New Comment on Reinforcement of Testing Criteria

Author 1: Monika Singh Author 2: Vinod Kumar Jain
International Journal of Advanced Computer Science and Applications (IJACSA) · Vol. 8, No. 3 · Published 2017

DOI: https://doi.org/10.14569/IJACSA.2017.080347

Download PDF Cite Call for Papers

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

How to Cite this Article

Singh, M., & Jain, V. K. (2017). A New Comment on Reinforcement of Testing Criteria. International Journal of Advanced Computer Science and Applications, 8(3). https://doi.org/10.14569/IJACSA.2017.080347

Singh, Monika, and Vinod Kumar Jain. "A New Comment on Reinforcement of Testing Criteria." International Journal of Advanced Computer Science and Applications, vol. 8, no. 3, 2017, https://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},
  volume    = {8},
  number    = {3},
  year      = {2017},
  publisher = {The Science and Information Organization},
  author    = {Monika Singh and Vinod Kumar Jain},
  doi       = {10.14569/IJACSA.2017.080347},
  url       = {https://doi.org/10.14569/IJACSA.2017.080347}
}

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJACSA Journal Cover

IJACSA