Proceedings of the Korean Operations and Management Science Society Conference (한국경영과학회:학술대회논문집)
- 2004.05a
- /
- Pages.607-610
- /
- 2004
Test case generation strategy and method of embedded software based on POF(Physics of Failure)
POF기반한 내장형 소프트웨어의 테스트 전략
-
Lee, S.Y.
(Industrial Eng., Ajou Univ.)
;
-
Jang, J.S.
(Industrial Eng., Ajou Univ.)
;
- Jang, S.H. (Industrial Eng., Ajou Univ.) ;
- Ko, B.G. (Industrial Eng., Ajou Univ.) ;
-
Choi, K.H.
(Computer Eng., Ajou Univ.)
;
-
Park, S.K.
(Computer Eng., Ajou Univ.)
;
-
Jung, K.H.
(Electronics Eng., Ajou Univ.)
;
- Lee, M.H. (Div. of Internet Information, Semyung Univ.)
-
이상용
(아주대학교 산업공학과)
;
-
장중순
(아주대학교 산업공학과)
;
- 장세헌 (아주대학교 산업공학과) ;
- 고병각 (아주대학교 산업공학과) ;
-
최경희
(아주대학교 컴퓨터공학과)
;
-
박승규
(아주대학교 컴퓨터공학과)
;
-
정기현
(아주대학교 전자공학과)
;
- 이명호 (세명대학교 인터넷 정보공학부)
- Published : 2004.05.21
Abstract
It is still not sufficient for the famous embedded software test methods such as Finite State Machine, Software Cost Reduction and model coverage based test case generation, to pinpoint where bugs hang around and to figure out what makes the bugs. A new approach to ameliorate the drawbacks is proposed in this paper. In the approach, we define a generic model for embedded software. And we also define failure mechanism for embedded software, and a way to generate test cases based on it.