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

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_10_a31,
     author = {E. A. Aken'shina 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 = {63--65},
     publisher = {mathdoc},
     number = {10},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/}
}
TY  - JOUR
AU  - E. A. Aken'shina
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  - 63
EP  - 65
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/
LA  - ru
ID  - PDM_2009_10_a31
ER  - 
%0 Journal Article
%A E. A. Aken'shina
%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 63-65
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/
%G ru
%F PDM_2009_10_a31
E. A. Aken'shina; N. V. Shabaldina. Test suites derivation for nondeterministic finite state mashines with respect to the separability relation. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 63-65. http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/