• Aug 09, 2018 News![CFP] The annual meeting of IJFCC Editorial Board, ICCTD 2019, will be held in Prague, Czech Republic during March 2-4, 2019.   [Click]
  • Aug 09, 2018 News!IJFCC Vol. 6, No. 1-No. 3 has been indexed by EI (Inspec).   [Click]
  • Dec 24, 2018 News!The papers published in Vol.7, No.1-No.2 have all received dois from Crossref.
General Information
    • ISSN: 2010-3751
    • Frequency: Bimonthly (2012-2016); Quarterly (Since 2017)
    • DOI: 10.18178/IJFCC
    • Editor-in-Chief: Prof. Mohamed Othman
    • Executive Editor: Ms. Cherry L. Chan
    • Abstracting/ Indexing: Google Scholar,  Crossref, Electronic Journals LibraryEI (INSPEC, IET), etc.
    • E-mail:  ijfcc@ejournal.net 
Prof. Mohamed Othman
Department of Communication Technology and Network Universiti Putra Malaysia, Malaysia
It is my honor to be the editor-in-chief of IJFCC. The journal publishes good papers in the field of future computer and communication. Hopefully, IJFCC will become a recognized journal among the readers in the filed of future computer and communication.
IJFCC 2012 Vol.1(2): 106-110 ISSN: 2010-3751
DOI: 10.7763/IJFCC.2012.V1.28

Automatic Generation of Systematic Test Cases Using AADL for Embedded Software

Chunyan Ma, Yue Li, Yunwei Dong, and Yaqi Liu
Abstract—AADL is used to design embedded software in ever-increasing mission-critical applications. With the complexity of embedded software increasing, integration testing and system testing based on codes are becoming more difficult. This paper describes a systematic test cases generation approach using AADL for embedded software. The approach uses hierarchical testing model to generate test cases which is fully automatic model-driven. This paper designs one set of mapping rules from AADL to hierarchical testing model for constructing it automatically. The case study shows experimental process of the test model construction and test case generation. Automatic generation of systematic test cases using AADL for Embedded Software is feasible.

Index Terms—AADL, test cases generation, hierarchical testing model.

Chunyan Ma is with School of Software and Microelectronics, Northwestern Polytechnical University, Xi’an, China (e-mail: machunyan@nwpu.edu.cn).
Yue Li and Yunwei Dong are with School of Computer Science, Northwestern Polytechnical University, Xi‟an, China
Yaqi Liu is with Institute of Computing Technology Chinese Academy of Sciences, Beijing, China


Cite: Chunyan Ma, Yue Li, Yunwei Dong, and Yaqi Liu, "Automatic Generation of Systematic Test Cases Using AADL for Embedded Software," International Journal of Future Computer and Communication vol. 1, no. 2, pp. 106-110, 2012.
Copyright © 2008-2018. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net