Test Generation from Event System Abstractions to Cover Their States and Transitions
- 作者: Julliand J.1, Kouchnarenko O.1, Masson P.A.1, Voiron G.1
-
隶属关系:
- FEMTO-ST, UMR 6174 CNRS and Univ. Bourgogne Franche-Comté 16
- 期: 卷 44, 编号 1 (2018)
- 页面: 1-14
- 栏目: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176568
- DOI: https://doi.org/10.1134/S0361768818010085
- ID: 176568
如何引用文章
详细
Model-based testing of event systems can take advantage of considering abstractions rather than explicit models, for controlling their size. When abstracting still a test has to be a concrete connected and reachable event sequence. This paper presents a test generation method based on computing a reachable and connected under-approximation of the abstraction of an event system. We compute the under-approximation with concrete instances of the abstract transitions, that cover all the states and transitions of the predicatebased abstraction. We propose an algorithmic method that instantiates each of the abstract transitions, and maintains for widening it a frontier of concretely reached states. We present heuristics to favour the instances connectivity. The idea is to prolong whenever possible the already reached sequences of concrete transitions, and to parameterize the order in which the states and actions occur. This concrete under-approximation ends up covering partially (at best totally) the reachable abstract transitions. The computed tests are paths of the under-approximation. The paper also reports on an implementation, which permits to provide experimental results confirming the interest of the approach with related heuristics.
作者简介
J. Julliand
FEMTO-ST, UMR 6174 CNRS and Univ. Bourgogne Franche-Comté 16
编辑信件的主要联系方式.
Email: jjullian@femto-st.fr
法国, route de Gray F-25030, Besançon Cedex
O. Kouchnarenko
FEMTO-ST, UMR 6174 CNRS and Univ. Bourgogne Franche-Comté 16
Email: jjullian@femto-st.fr
法国, route de Gray F-25030, Besançon Cedex
P. Masson
FEMTO-ST, UMR 6174 CNRS and Univ. Bourgogne Franche-Comté 16
Email: jjullian@femto-st.fr
法国, route de Gray F-25030, Besançon Cedex
G. Voiron
FEMTO-ST, UMR 6174 CNRS and Univ. Bourgogne Franche-Comté 16
Email: jjullian@femto-st.fr
法国, route de Gray F-25030, Besançon Cedex
补充文件
