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 89
- Downloads 0
Challenges in Designing Ethical Rules for Infrastructures in Internet of Vehicles
Vehicular Ad-hoc Networks (VANETs) have seen significant advancements in technology. Innovation in connectivity and communication has brought substantial capabilities to various components of VANETs such as vehicles, inf...
Rule Based Artificial Intelligent System of Cucumber Greenhouse Environment Control with IoT Technology
The method proposed here allows control cucumber greenhouse environment based on IoT technology. IoT sensors are to measure the room and air temperature, relative humidity, CO2 content, water supply, liquid fertilizer, w...
Markovian Process and Novel Secure Algorithm for Big Data in Two-Hop Wireless Networks
This paper checks the correctness of our novel algorithm for secure, reliable and flexible transmission of big data in two-hop wireless networks using cooperative jamming scheme of attacker location unknown through Marko...
Entanglement Classification for a Three-qubit System using Special Unitary Groups, SU(2) and SU(4)
Entanglement is a physical phenomenon that links a pair, or a set of particles that correlates with each other, regardless of the distance between them. Recent researches conducted on entanglement are mostly focused on m...
Enhanced Mechanism to Detect and Mitigate Economic Denial of Sustainability (EDoS) Attack in Cloud Computing Environments
Cloud computing (CC) is the next revolution in the Information and Communication Technology arena. CC is often provided as a service comparable to utility services such as electricity, water, and telecommunications. Clou...