• Jan 05, 2017 News![CFP] 2017 the annual meeting of IJFCC Editorial Board, ICCTD 2017, will be held in Paris, France during March 20-22, 2017.   [Click]
  • Mar 24, 2016 News! IJFCC Vol. 4, No. 4 has been indexed by EI (Inspec).   [Click]
  • Jun 28, 2017 News!Vol.6, No.3 has been published with online version.   [Click]
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. Nancy Y. Liu
    • Abstracting/ Indexing: Google Scholar, Engineering & Technology Digital Library, and Crossref, DOAJ, Electronic Journals LibraryEI (INSPEC, IET).
    • E-mail:  ijfcc@ejournal.net 
Editor-in-chief
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

[PDF]

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-2016. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net