Control Model for Analyzing Erroneous Human Behavior a System Safety Using Model Checker with Mutation Testing Approach
Journal Title: International journal of Emerging Trends in Science and Technology - Year 2015, Vol 2, Issue 7
Abstract
Safety critical system always provides the automatic system machine where automation testing become an important part for safety. Automation testing is one way to change the way to operate Safety critical system. This is achieved by changing the nature of the tasks that the operators perform. Safety standard assures the little about design and verification of operating procedures. Safety in coma system is maintained by using model checker and mutation testing model. The model checker is used for validating informal hazard analysis result. The coma monitoring system verifies the erroneous human behavior in coma patient system using model checker in which mutation testing method analyze the human behavior interface with the system and generate the invalid actions. The state diagram of coma patient recognition system use for identify whether the system is in safe state or in unsafe state. Testing is important in order to achieve sufficiently high software quality. Test-suite derived from the specification can only be as good as the specification itself
Authors and Affiliations
Manisha Umak
Keywords
Related Articles
- EP ID EP241084
- DOI -
- Views 152
- Downloads 0
Analysis of Plate Girder Bridge for Class-AA Loadings (Tracked Vehicles)
A bridge is a means by which a road, railway or other service is carried over an obstacle such as a river, valley and other road or railway line, either with no intermediate support or with only a limited number of suppo...
A Hybrid Approach to Control Home Area Networks
This paper aims to develop and to design a smart home system by using a Hybrid approach. This approach uses a combination of both Bluetooth and GSM, Sending by short message service (SMS) via global system for mobile com...
Skills of Critical Thinking
Critical thinking is the ability to think clearly and rationally about what to do and what to believe. Critical thinkers have ability to engage in reflective and independent thinking and develop the understanding with lo...
A Survey Paper on Modified Approach for Kmeans Algorithm
Kmeans type clustering aims at partitioning a data set into clusters such that the objects in a cluster are compact and the objects in different clusters are well separated. However, most kmeans-type clustering algorithm...
Encoding and Decoding information with the help of Hill Cipher
The role of cryptographic part in today‟s world is very significant. It not only secures information mathematically by mailing massage with a key but also provides confidentiality which is the most important factor in to...