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.
Download file
Counter downloads: 73
- Title TEST SUITES DERIVATION FOR NONDETERMINISTIC FINITE STATE MASHINES WITH RESPECT TO THE SEPARABILITY RELATION
- Headline TEST SUITES DERIVATION FOR NONDETERMINISTIC FINITE STATE MASHINES WITH RESPECT TO THE SEPARABILITY RELATION
- Publesher
Tomsk State University - Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 3(5)
- Date:
- DOI
Keywords
недетерминированный автомат , отношение неразделимости , полный проверяющий тест Authors
References
Евтушенко Н. В., Спицына Н. В. О верхней оценке длины разделяющей последовательности // Вестник Томского госуниверситета. Приложение. Сер. Математика. Кибернетика. Информатика. 2006. №18. С. 54-58.
Shabaldina N., El-Fakih К. and Yevtushenko N. Testing Nondeterministic Finite State Machines With Respect to the Separability Relation // Lect. Not. Сотр. Sci. 2007. V. 4581. P. 305-318.
TEST SUITES DERIVATION FOR NONDETERMINISTIC FINITE STATE MASHINES WITH RESPECT TO THE SEPARABILITY RELATION | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2009. № 3(5).
Download full-text version
Download fileCounter downloads: 208