Geodesic
Test suites derivation for nondeterministic finite state mashines with respect to the separability relation
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 63-65 
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/
@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},
     year = {2009},
     number = {10},
     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
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
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a31/
%G ru
%F PDM_2009_10_a31

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.

[1] Shabaldina N., El-Fakih K. and Yevtushenko N., “Testing Nondeterministic Finite State Machines With Respect to the Separability Relation”, Lecture Notes in Computer Science, 4581, 2007, 305–318

[2] Evtushenko N. V., Spitsyna N. V., “O verkhnei otsenke dliny razdelyayuschei posledovatelnosti”, Vestnik Tomskogo gosuniversiteta. Prilozhenie, 2006, no. 18, 54–58