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 129
- Downloads 0
Microcredit and Women Empowerment: Evidence from Microcredit Clients of the Upper ManyaKrobo Rural Bank in the Eastern Region of Ghana
Women, more than men, are faced with difficulties in accessing financial services. Women in developing countries in particular, face cultural barriers that prevent them from access to credit for productive ventures and a...
A Review Paper on Image Compression Unit Using DCT
The field of image and video compression has gone through rapid growth during the past thirty years, leading to various coding standards. The main goal of continuous efforts on image/video coding standardization is to ac...
Production and Marketing of Wind Energy in India through Cooperative Basis
Energy is the keystone of human life and prosperity as well as a vital component of environmental rehabilitation. The growth of human population and the development of civilization can be partially attributed to energy a...
Electrical Discharge Machining Characteristics of Hybrid Mg/Sicp/Flyash Composites
The objectives of this research is to prepare the hybrid Mg/SiCp/Flyash metal matrix composite through powder metallurgy technique and investigate the effects of process parameters like current, pulse on time and pulse o...
NFC Enabled Smartphone Applicationfor Mundane Activities
People persistently attempt to enhance their personal satisfaction and advances, have an imperative part on it. Money transactions between mobile phones is exhausted and a troublesome operation to perform following there...