Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

EFSM-based Testing Strategy for APIs Test of Embedded OS

  • Conference paper

Part of the book series:Lecture Notes in Computer Science ((LNTCS,volume 3605))

Included in the following conference series:

  • 1211Accesses

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.

This is a preview of subscription content,log in via an institution to check access.

Access this chapter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bowen, J.P., Bogdanov, K. (eds.) pp. 91–101. IEEE Computer Society Press, Los Alamitos (2002)

    Google Scholar 

  2. Petrenko, A., Boroday, S., Groz, R.: Confirming configurations in EFSM. In: Proceeding of FORTE XII (1999)

    Google Scholar 

  3. Zhong, X.-C., Zhang, N.: Embedded Software and Hopen System. BUAA press (2004)

    Google Scholar 

  4. Hopen 3.0 C library and API Manual,http://www.hopen.com.cn

  5. Edvardsson, J.: A survey on automatic test data generation. In: ECSEL, October 1999, pp. 21–28 (1999)

    Google Scholar 

  6. Korel, B.: Automated Software Test Data Generation. IEEE Transactions on Software Engineering 16(8), 870–879 (1990)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hopen Software Engineering Co., Ltd, No.4 Southern 4th St, ZhongGuanCun, Haidian District, P.O. Box 2717, Beijing, 100080, P.R. China

    SongXia Hao, XiChang Zhong & Yun Wang

Authors
  1. SongXia Hao

    You can also search for this author inPubMed Google Scholar

  2. XiChang Zhong

    You can also search for this author inPubMed Google Scholar

  3. Yun Wang

    You can also search for this author inPubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Computer Science, Zhejiang University, 310027, Hangzhou, Zhejiang, China

    Zhaohui Wu

  2. College of Computer Science, Zhejiang University, 973 WSN Joint Lab

    Chun Chen  & Jiajun Bu  & 

  3. Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200030, Shanghai, China

    Minyi Guo

Rights and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hao, S., Zhong, X., Wang, Y. (2005). EFSM-based Testing Strategy for APIs Test of Embedded OS. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds) Embedded Software and Systems. ICESS 2004. Lecture Notes in Computer Science, vol 3605. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11535409_76

Download citation

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp