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 107
- Downloads 0
Employee Satisfaction Level – A Study on Multispeciality Hospital
Employee satisfaction is one of the critical criteria to improve the efficiency of any organizations. Here the researchers have picked the multispecialty hospital as a centre to conduct the research. Researchers have tak...
Extensible Compiler
A compiler is a computer program or a set of program which converts the data from source code to object code, source code mean human understandable form whereas object means machine understandable form i.e.binary languag...
Multideployment and Multisnapshotting on IAAS Cloud Environments
Infrastructure as a Service (IaaS) cloud computing has revolutionized the way we think of acquiring resources by introducing a simple change: allowing users to lease computational resources from the cloud provider’s data...
Chemical Investigation of Saturated Aliphatic Ester from the Tuber of Dioscorea Bulbifera
Dioscorea bulbifera (family- Discoreaceae) is found commonly in India. Recent Pharmacological finding indicate that its tubers possess significant activities, rejuvenating and tonic. Phytochemical investigations of tuber...
Design and Analysis of Micro-Mixer for Enhancing Mixing Performance
Design and analysis of various micro-mixers for enhancing the mixing performance is presented in this. The shape of micro channels is an important design variable to achieve the desired mixing performance. However, if ob...