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

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., Yevtushenko N., “Testing Nondeterministic Finite State Machines With Respect to the Separability Relation”, Lect. Not. Comp. Sci., 4581, 2007, 305–318

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