The Formal Method Applied in The APIs Test of Embedded OS

摘要：

In this paper we investigated the problem of formal methods used in APIs test of an embedded operating system. We also present a two-phase approach to generate test data for the EFSM model. We first build the EFSM model of the system. The model can then be used to automatically generate test data for testing of APIs. Our approach is efficient and provides a practical solution to generating test data for APIs test in any embedded OS.

作者: Hao SongXia Zhong XiChang Wang Yun

作者单位: Hopen Software Engineering Co.,Ltd.No.4 Southern 4th St, ZhongGuanCun, P.O.Box 2717 Haidian District,Beijing 100080, P.R.China

会议类型: 国际会议

会议名称: 首届嵌入式软件与系统国际会议(Proceedings of the First International Conference on Embedded Software and System)

会议地点: 杭州

会议语种:英文

页码: 466-471

在线出版日期: 2004-12-09（万方平台首次上网日期，不代表论文的发表时间）