Geodesic
Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
Prikladnaâ diskretnaâ matematika, no. 3 (2009), pp. 106-111

Voir la notice de l'article provenant de la source Math-Net.Ru

In this paper we improve test suite derivation method for nondeterministic FSMs with respect to the nonseparability relation. The nonseparability relation can be checked when “all weather conditions” assumption does not hold. Our modification is based on the refinement of tree truncation conditions. It is shown that test suites constructed according to the method with our improvements are (in most cases) shorter and still complete. 
@article{PDM_2009_3_a11,
     author = {E. A. Akenshina and N. V. Shabaldina},
     title = {Test suites derivation for nondeterministic finite state mashines with respect to the separability relation},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {106--111},
     publisher = {mathdoc},
     number = {3},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_3_a11/}
}
TY  - JOUR
AU  - E. A. Akenshina
AU  - N. V. Shabaldina
TI  - Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 106
EP  - 111
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_3_a11/
LA  - ru
ID  - PDM_2009_3_a11
ER  - 
%0 Journal Article
%A E. A. Akenshina
%A N. V. Shabaldina
%T Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 106-111
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_3_a11/
%G ru
%F PDM_2009_3_a11
E. A. Akenshina; N. V. Shabaldina. Test suites derivation for nondeterministic finite state mashines with respect to the separability relation. Prikladnaâ diskretnaâ matematika, no. 3 (2009), pp. 106-111. http://geodesic.mathdoc.fr/item/PDM_2009_3_a11/