EFSM-based testing strategy for APIs test of embedded OS

  • Authors:

  • SongXia Hao;XiChang Zhong;Yun Wang

  • Affiliations:

  • Hopen Software Engineering Co., Ltd, Beijing, P.R. China;Hopen Software Engineering Co., Ltd, Beijing, P.R. China;Hopen Software Engineering Co., Ltd, Beijing, P.R. China

  • Venue:
  • ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
  • Year:
  • 2004

  • Automated Software Test Data Generation

    IEEE Transactions on Software Engineering

  • Confirming configurations in EFSM

    FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we present a two-phase approach to generate test data for the EFSM model of an embedded operating system. We first build the EFSM model of the system. The model can then be used to automatically generate test data for testing of APIs. We also point out certain issues that need further study.