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 141
- Downloads 0
Cubic Harmonious Labeling Of Certain Star and Bistar Graphs
A (n,m) graph G =(V,E) is said to be Cubic Harmonious Graph(CHG) if there exists an injective function f:V(G)→{1,2,3,………m3+1} such that the induced mapping f * chg: E(G)→ {13 ,23 ,33 ,……….m 3 } defined by f * chg (uv) =...
Mothers and Future Generation
Mothers are special caregivers of families in Rwandan society, but not only Rwanda but also the whole world, mothers bear babies nine months during pregnancy, they take care of babies during breast feeding and some lose...
Adaptive Fuzzy Logic Based Speed Control of Permanent Magnet Synchronous Motor Using FPGA
The proposed project reveals the FPGA based Sensor-less speed control of permanent magnet synchronous motor (PMSM) by using adaptive fuzzy logic technique. The FPGA scheme integrates Fuzzy logic control technique and spa...
Comparison of Biodiesel Production From Karanja Seeds, Jatropha Seeds and Thumba Oil
The transesterification process was carried out for karanja oil seed, jatropha oil seed and thumba oil by using alkali catalyst KOH. The properties of biodiesel like density, viscosity, flash point, pour point, cloud poi...
The Maiganga Coal Mine Drainage and Its Effects on Water Quality, North Eastern Nigeria
A hydrogeological study was carried out in Maiganga and environ, Gombe State. The aim of the research was to determine the major, trace, and rare earth elements content in effluent discharge from the coal mine and its ef...