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
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...
Multicast Routing Techniques To Make Optical Network Survivable Against Single Link/Node Failure.
Link/Node failures are very common in any networks but these failures have a huge impact on the overall performance of the network. Due to these link/node failures sometimes it is impossible to communicate in b/w t...
A Survey on Sensor Cloud: Architecture and Applications
Cloud Computing is a part of computer science and it enables providing Internet services to external customers via very scalable computing capacities. It is abstracted, controlled and high-scalable computer infrastructur...
A DC–DC Quad Active Bridge Converter Based Hybrid Energy Storage Systems
The Solid-state transformer (SST) has been proposed in this paper to replace the regular distribution transformer in the future smart grid. The SST provides ports for the integration of storage and distributed generation...