A New Comment on Reinforcement of Testing Criteria
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2017, Vol 8, Issue 3
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.
Authors and Affiliations
Monika Singh, Vinod Kumar Jain
Keywords
Related Articles
- EP ID EP250883
- DOI 10.14569/IJACSA.2017.080347
- Views 90
- Downloads 0
A New Automatic Method to Adjust Parameters for Object Recognition
To recognize an object in an image, the user must apply a combination of operators, where each operator has a set of parameters. These parameters must be “well” adjusted in order to reach good results. Usually, thi...
A Comparative Study of Stereovision Algorithms
Stereo vision has been and continues to be one of the most researched domains of computer vision, having many applications, among them, allowing the depth extraction of a scene. This paper provides a comparative study of...
Critical Success Factors In Implementing ITIL in the Ministry of Education in Saudi Arabia: An Exploratory Study
This paper engages with the ITIL framework for IT service delivery within the specific context of the Ministry of Education in the Kingdom of Saudi Arabia (KSA). A literature review process is used to develop a critical...
Link Prediction Schemes Contra Weisfeiler-Leman Models
Link prediction is of particular interest to the data mining and machine learning communities. Until recently all approaches to the problem used embedding-based methods which leverage either node similarities or latent g...
Applicability of the Maturity Model for IT Service Outsourcing in Higher Education Institutions
Outsourcing is a strategic option which complements IT services provided internally in organizations. This study proposes the applicability of a new holistic maturity model based on standards ISO/IEC 20000 and ISO/IEC 38...