Generating Test Cases Through Markov Models for Undertaking Comprehensive Testing of Embedded Systems
Journal Title: International Journal of P2P Network Trends and Technology(IJPTT) - Year 2013, Vol 3, Issue 10
Abstract
Cleanroom Software Engineering (CRSE) methodology has incorporated in it, the Markov models based on which the number of test cases that should be used for testing can be determined. Model based statistics are developed based on Markov model and the same are used for determining the number of test cases that should be used for testing each path contained in a Usage model. A very few methods have been presented in literature which define the actual process to be used for generating the test cases especially considering the testing of embedded systems. Every embedded system should be tested comprehensively and testing must include both hardware and software states that exist in every path of the Markov model. Testing embedded systems comprehensively requires usage of many methods which include Scaffolding, Logical analysis, etc. and undertaking testing at different locations. In this paper, a formal method has been presented which generates test cases using Markov model for achieving comprehensive testing of an embedded system.
Authors and Affiliations
D. Bala Krishna Kamesh , Dr. A. K. Vasishtha , Dr. JKR Sastry , Dr. V Chandra Prakash
Network Intrusion Detection Using Hybrid Simplified Swarm Optimization Technique
Network security risks grow tremendously in recent past, the attacks on computer networks have enhanced hugely and need economical network intrusion detection mechanisms. Data processing and machine-learning techni...
Methodology for Artificial Immune Systems and Immune Pathology
Artificial immune system (AIS) mimics the superior properties of biological immune system and provides an effective method in intelligent computing and intelligent system designing. But the disease-causing mechanis...
Contrast Enhancement for Emissive Display Using Histogram Equalization and Bilateral Tone Adjustment
Contrast enhancement has an important role in image processing applications. Conventional contrast enhancement techniques often fail to produce satisfactory results for broad variety of low contrast images or canno...
A Survey of Layer Specific and Cryptographic primitive attacks and their countermeasures in MANETS
Wireless networks are gaining popularity to its peak today, as the users want wireless connectivity irrespective of their geographic position. In MANET nodes which are within the range of each other can connect dir...
Communication and Implementation of Plug and Play Enabled Devices in Sensor Network
Most of sensor networks are static in nature and do not provide standardized and systematic network management capabilities. Intelligence is not associated with the sensors. In order to make a sensor network more...