Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: W-method

Sortuj według:

Ogranicz wyniki do:

Refinement in Finite State Machine Testing

Ipate F., Bălănescu T.

Fundamenta Informaticae

2005

Vol. 64, nr 1-4

191-203

The paper formalizes two types of refinement for finite state machines: OR refinement and p-OR refinement. For each such type of refinement, it shows that, if the implementation is also constructed through a process of refinement, then the application of Chow's W test generation method can be distributed into smaller chunks, thus diminishing the effort devoted to testing and the size of the final test set.