EFSM-based testing strategy for APIs test of embedded OS

被引：0
|
作者：
Hao, SX [1 ]
Zhong, XC [1 ]
Wang, Y [1 ]
机构：
[1] Hopen Software Engn Co Ltd, Beijing 100080, Peoples R China
来源：
EMBEDDED SOFTWARE AND SYSTEMS | 2005年 / 3605卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：522 / 527
页数：6
相关论文
共 50 条
  • [1] An EFSM-Based Test Data Generation Approach in Model-Based Testing
    Mohd-Shafie, Muhammad Luqman
    Kadir, Wan Mohd Nasir Wan
    Khatibsyarbini, Muhammad
    Isa, Mohd Adham
    Ghani, Israr
    Ruslai, Husni
    [J]. CMC-COMPUTERS MATERIALS & CONTINUA, 2022, 71 (03): : 4337 - 4354
  • [2] Automatic Test Generation System for EFSM-Based Protocols
    Shu, Ting
    Cai, Qiangxin
    Liu, Lianggui
    Jia, Yubo
    [J]. 2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 2182 - 2186
  • [3] Validation of SDL specifications using EFSM-based test generation
    Wong, W. Eric
    Restrepo, Andy
    Choi, Byoungju
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2009, 51 (11) : 1505 - 1519
  • [4] Feasible Transition Path Generation for EFSM-based System Testing
    Wong, Sieng
    Ooi, Chia Yee
    Hau, Yuan Wen
    Marsono, M. N.
    Shaikh-Husin, Nasir
    [J]. 2013 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2013, : 1724 - 1727
  • [5] EFSM-Based Test Case Generation: Sequence, Data, and Oracle
    Yang, Rui
    Chen, Zhenyu
    Zhang, Zhiyi
    Xu, Baowen
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2015, 25 (04) : 633 - 667
  • [6] New approach for EFSM-Based passive testing of web services
    Benharref, Abdelghani
    Dssouli, Rachida
    Serhani, Mohamed Adel
    En-Nouaary, Abdeslam
    Glitho, Roch
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 13 - +
  • [7] A test generation method for EFSM-based protocols using the transitions feasibility estimation
    [J]. Shu, Ting (shuting@zstu.edu.cn), 1600, Science and Engineering Research Support Society (09):
  • [8] An EFSM-based passive fault detection approach
    Ural, Hasan
    Xu, Zhi
    [J]. TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS, 2007, 4581 : 335 - +
  • [9] EFSM-Based Test Data Generation with Multi-Population Genetic Algorithm
    Zhou, Xiaofei
    Zhao, Ruilian
    You, Feng
    [J]. 2014 5TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2014, : 925 - 928
  • [10] An EFSM-based multimedia synchronization model and the authoring system
    Huang, CM
    Lo, CM
    [J]. IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1996, 14 (01) : 138 - 152
12345