@article{ART001611501},
author={곽동규 and Yoo,Jae-Woo and Jaeyoung Choi},
title={A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing},
journal={Journal of The Korea Society of Computer and Information},
issn={1598-849X},
year={2011},
volume={16},
number={12},
pages={1-10}
TY - JOUR
AU - 곽동규
AU - Yoo,Jae-Woo
AU - Jaeyoung Choi
TI - A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing
JO - Journal of The Korea Society of Computer and Information
PY - 2011
VL - 16
IS - 12
PB - The Korean Society Of Computer And Information
SP - 1
EP - 10
SN - 1598-849X
AB - 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.
KW - Embedded Software;Unit Testing;Reliability Analysis;Mark Chain
DO -
UR -
ER -
곽동규, Yoo,Jae-Woo and Jaeyoung Choi. (2011). A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing. Journal of The Korea Society of Computer and Information, 16(12), 1-10.
곽동규, Yoo,Jae-Woo and Jaeyoung Choi. 2011, "A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing", Journal of The Korea Society of Computer and Information, vol.16, no.12 pp.1-10.
곽동규, Yoo,Jae-Woo, Jaeyoung Choi "A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing" Journal of The Korea Society of Computer and Information 16.12 pp.1-10 (2011) : 1.
곽동규, Yoo,Jae-Woo, Jaeyoung Choi. A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing. 2011; 16(12), 1-10.
곽동규, Yoo,Jae-Woo and Jaeyoung Choi. "A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing" Journal of The Korea Society of Computer and Information 16, no.12 (2011) : 1-10.
곽동규; Yoo,Jae-Woo; Jaeyoung Choi. A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing. Journal of The Korea Society of Computer and Information, 16(12), 1-10.
곽동규; Yoo,Jae-Woo; Jaeyoung Choi. A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing. Journal of The Korea Society of Computer and Information. 2011; 16(12) 1-10.
곽동규, Yoo,Jae-Woo, Jaeyoung Choi. A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing. 2011; 16(12), 1-10.
곽동규, Yoo,Jae-Woo and Jaeyoung Choi. "A Design and Implementation of Reliability Analyzerfor Embedded Software using Markov Chain Model and Unit Testing" Journal of The Korea Society of Computer and Information 16, no.12 (2011) : 1-10.