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 88
- Downloads 0
Exploiting Document Level Semantics in Document Clustering
Document clustering is an unsupervised machine learning method that separates a large subject heterogeneous collection (Corpus) into smaller, more manageable, subject homogeneous collections (clusters). Traditional metho...
ReCSDN: Resilient Controller for Software Defined Networks
Software Defined Networking (SDN) is an emerging network paradigm that provides central control over the network. Although, this simplifies the network management and makes efficient use of network resources, it introduc...
Human Related-Health Actions Detection using Android Camera based on TensorFlow Object Detection API
A new method to detect human health-related actions (HHRA) from a video sequence using an Android camera. The Android platform works not only to capture video images through its camera, but also to detect emergency actio...
A Case Study for the IONEX CODE-Database Processing Tool Software: Ionospheric Anomalies before the Mw 8.2 Earthquake in Mexico on September 7, 2017
A software tool was developed in the Imaging Processing Research laboratory (INTI-Lab) that automatically downloads several IONEX files around a specific user input date and also performs statistical calculations to look...
Breast Cancer Detection with Mammogram Segmentation: A Qualitative Study
Mammography is specialized medical imaging for scanning the breasts. A mammography exam (A Mammogram) helps in the early detection and diagnosis of breast cancer. Mammogram image segmentation is useful in detecting the b...