IDEAS home Printed from https://ideas.repec.org/a/hin/jnljam/909762.html
   My bibliography  Save this article

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Author

Listed:
  • Eun Hye Choi
  • Hideaki Nishihara
  • Takahiro Ando
  • Nguyen Van Tang
  • Masahiro Aoki
  • Keiichi Yoshisaka
  • Osamu Mizuno
  • Hitoshi Ohsaki

Abstract

Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language called SENS and a SENS -based automatic test generation tool called TGSENS . Our approach is summarized as follows: (1) A user describes requirements of target embedded network systems by logical property-based constraints using SENS . (2) Given SENS specifications, test cases are automatically generated using a SAT-based solver. Filtering mechanisms to select efficient test cases are also available in our tool. (3) In addition, given a testing goal by the user, test sequences are automatically extracted from exhaustive test cases. We’ve implemented our approach and conducted several experiments on practical case studies. Through the experiments, we confirmed the efficiency of our approach in design and test generation of real embedded air-conditioning network systems.

Suggested Citation

  • Eun Hye Choi & Hideaki Nishihara & Takahiro Ando & Nguyen Van Tang & Masahiro Aoki & Keiichi Yoshisaka & Osamu Mizuno & Hitoshi Ohsaki, 2014. "Formal Specification Based Automatic Test Generation for Embedded Network Systems," Journal of Applied Mathematics, Hindawi, vol. 2014, pages 1-21, May.
    • Handle: RePEc:hin:jnljam:909762
    DOI: 10.1155/2014/909762
    as

    Download full text from publisher

    File URL: http://downloads.hindawi.com/journals/JAM/2014/909762.pdf
    Download Restriction: no
    File URL: http://downloads.hindawi.com/journals/JAM/2014/909762.xml
    Download Restriction: no
    File URL: https://libkey.io/10.1155/2014/909762?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:hin:jnljam:909762. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Mohamed Abdelhakeem (email available below). General contact details of provider: https://www.hindawi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.