TY - JOUR
A2 - Huang, Chin-Yu
AU - Choi, Eun Hye
AU - Nishihara, Hideaki
AU - Ando, Takahiro
AU - Tang, Nguyen Van
AU - Aoki, Masahiro
AU - Yoshisaka, Keiichi
AU - Mizuno, Osamu
AU - Ohsaki, Hitoshi
PY - 2014
DA - 2014/05/11
TI - Formal Specification Based Automatic Test Generation for Embedded Network Systems
SP - 909762
VL - 2014
AB - 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.
SN - 1110-757X
UR - https://doi.org/10.1155/2014/909762
DO - 10.1155/2014/909762
JF - Journal of Applied Mathematics
PB - Hindawi Publishing Corporation
KW -
ER -