TY  - CONF
ID  - SisLab2711
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2711/
A1  - Vu, Dieu Huong
A1  - Truong, Anh Hoang
A1  - Chiba, Yuki
A1  - Aoki, Toshiaki
Y1  - 2017///
N2  - We present a model-based testing approach for reactive systems where both test inputs and expected results are generated from `restricted' Event-B specifications. We show that it is possible to automatically build the restricted Event-B specifications from the original ones base on a knowledge base of the system under tests. The restricted models are to reduce the state space of the original Event-B models while preserving the possible testing paths, so that our model-based generated test suite can archive equivalent path coverage as using the original models. We also present a tool and a testing skeleton that are easy to use so that system developers can effectively test an arbitrary number of scenarios with reactive systems.
TI  - Automated testing reactive systems from Event-B model
M2  - Ha Noi, Viet Nam
AV  - public
T2  - 2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science
ER  -