Generating Test Cases Through Markov Models for Undertaking Comprehensive Testing of Embedded Systems

	International Journal of P2P Network Trends and Technology (IJPTT)
	© 2013 by IJPTT Journal
	Volume-3 Issue-6
	Year of Publication : 2013

Citation

D. Bala Krishna Kamesh , Dr. A. K. Vasishtha , Dr. JKR Sastry , Dr. V Chandra Prakash."Generating Test Cases Through Markov Models for Undertaking Comprehensive Testing of Embedded Systems ". International Journal of P2P Network Trends and Technology (IJPTT), V3(6):1 - 22  Nov - Dec 2013, ISSN:2249-2615, www.ijpttjournal.org. Published by Seventh Sense Research Group.

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.

References

[1] D. Bala Krishna Kamesh, Prof. A.K. Vasishtha, Dr. JKR. Sastry and Dr. V. Chandra Prakash, “Estimating the Failure rates of Embedded Software through Program Slices”, International Journal of Systems and Technology, Vol. 6, Issue 1, pp. 49-58, 2013.
[2] D. Bala Krishna Kamesh, Dr. A. K. Vasishtha, Dr. JKR Sastry and Dr. V. Chandra Prakash, “Developing Usage Models through Stimulus Response Sequences”, International Journal of Advances in Science and Technology, Vol. 7, No. 4, 2013.
[3] D. Bala Krishna Kamesh, Dr. A. K. Vasishtha, Dr. JKR Sastry and Dr. V. Chandra Prakash, “Assessing the Probability of Failure and Distribution of Test Cases among Paths in the Usage Model”, (Communicated) 2013.
[4] Jacobson, Booch G and Rumbaugh J, “The Unified Software Development Process”, Addison Wesley, Reading, MA, 1999.
[5] Lee N.H and Cha S.D, “Generating Test Sequences from a set of MSCs”, Computer Networks, 2003.
[6] Nancy Van Schooenderwoert, “Taming the embedded Tiger-Agile Test Technique for embedded Software”, IEEE Proceedings of the Agile Development Conference ADC, 2004.
[7] Prowell S.J., “JUMBL: A tool for Model Based Statistical Testing“, proceedings of the 36th Hawaii International Conference on System Science, 2002.
[8] Sastry J.K.R, Rajasekhara Rao K, and Sasi Bhanu J, “Comprehensive requirements specification of a Cost effective testing Tool”, Proceedings of CSI National Conference on Software Engineering, NCSOFT-2007, pp. 73-85, 2007.
[9] Sergiy A. Vilkomir, Thomas Swain and Jesse H. Poore, “Combinatorial test case selection with Markovian usage models”, Fifth International Conference on Information Technology: New Generations, 2008.
[10] Tsai W.T, Bai X, Paul R and Yu L, “ Scenario-Based Function Regression Testing”, Proc. of IEEE COMPSAC, pp. 496-501, 2001.
[11] Tsai W.T, Yu L, Paul R and Saim A, “Scenario-Based Object-Oriented Test Frameworks for Testing Distributed Systems”, IEICE Transactions, 2003.

Keywords

- Markov model, usage model, Comprehensive Testing, Embedded Systems, Clean Room Software Engineering