Browse > Article
http://dx.doi.org/10.9708/jksci.2011.16.12.001

A Design and Implementation of Reliability Analyzer for Embedded Software using Markov Chain Model and Unit Testing  

Kwak, Dong-Gyu (School of Computer Science and Engineering)
Yoo, Chae-Woo (School of Computer Science and Engineering)
Choi, Jae-Young (School of Computer Science and Engineering)
Publication Information
Journal of the Korea Society of Computer and Information / v.16, no.12, 2011 , pp. 1-10 More about this Journal
Abstract
As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.
Keywords
Embedded Software; Unit Testing; Reliability Analysis; Mark Chain;
Citations & Related Records
Times Cited By KSCI : 5  (Citation Analysis)
연도 인용수 순위
1 Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit, "The Galileo Fault Tree Analysis Tool", Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Comp uting, p. 232, June 15-18, 1999.
2 Eun-Gu Lee, "A Study on Markov Chain", Journal of Korea Society of Mathematical Education v.20 n.3, pp. 19-22, 1982. 6.
3 Gwendolyn H. Walton, J. H. Poore, "Generating transition probabilities to support model-based software testing", Software-Practice & Experience v.30 n.10, pp. 19-22, 1982. 6.
4 Janes A. Whittaker, Michaei G. Thomason, "A Markov Chain Model for Statistical Software Testing", IEEE Transactions on Software Engineering v.20 n.10, pp. 812-824, October. 1994.   DOI   ScienceOn
5 Donggyu Kwak, Chae-Woo Yoo, Yongyun Cho, "A Software Unit Testing Tool based on The XML Test Script for Embedded Systems", Journal of Korea Society of Computer and Information v.14 n.1, pp. 17-24, 2009. 1.
6 Donggyu Kwak, Chae-Woo Yoo, Yongyun Cho "A Software Unit Testing Tool based on The XML Test Script for Embedded System", Journal of the Korea Society of Computing & Information, v.14, n.1, pp. 17-24, 2009. 1.
7 Subversion, http://subversion.tirgris.org.
8 Sung-su Kim, Sanghyuk Park, "Development of Reliability Block Diagram Analysis Tool for H/W Redundancy Structure based on Unit Module", Journal of the Korean Society for Aeronautical & Space Sciences, v.37 n.6, pp. 595-601, 2009. 6.   DOI   ScienceOn
9 J. Dugan, K. Venkataraman, R. Gulati, "DIFtree: A software package for the analysis of dynamic fault tree models", Proc. 1997 Reliability and Maintainability Symposium, January 1997.
10 J. Rajgopal, M. Mazumdar, "Modular operational test plans for inferences on software reliability based on a Markov model", Software Engineering, IEEE Transactions v. 28, pp. 358-363, 2002. 4.   DOI   ScienceOn
11 Jeffery Horn, "Finite Markov Chain Analysis of Genetic Algorithms with Niching", Proceedings of the 5th International Conference on Genetic Algorithms, pp. 110-117, 1993.
12 Kim Hee Cheul, " The Study for NHPP Software Reliability Growth Model based on Exponentiated Exponential Distribution", Journal of the Korea Society of Computing & Information, v.11, n.5, pp. 9-18, 2006. 11.
13 Sung-su Kim, Sanghyuk Park, Sung-Hwan Kim, Keeyoung Choi, Cheol-Keun Ha, Choon-Bae Park, "Development of Reliability Block Diagram Analysis Tool for H/W Redundancy Structure based Unit Module", Journal of KSAS v.37 n.6, pp. 595-601, 2009. 6.
14 B. Beizer, Software Testing Techniques. Van Nostrand Reinhold 2nd edition, 1990.