Testowanie oparte na modelu dla systemów zbudowanych z systemów

To powinno Cię zainteresować