W ramach pracy opracowano metodę wykorzystującą testowanie mutacyjne do oceny testów rozproszonych systemów informatycznych, wykonano badania możliwości wykorzystania testów walidacyjnych do testowania ... więcej

W ramach pracy opracowano metodę wykorzystującą testowanie mutacyjne do oceny testów rozproszonych systemów informatycznych, wykonano badania możliwości wykorzystania testów walidacyjnych do testowania oraz opracowano metodę syntezy rozproszonych aplikacji dla koncepcji "Internet of Things". W zakresie testowania mutacyjnego na podstawie obliczonego podobieństwa poszczególne mutanty z ciągu testowego były klasyfikowane jako wykrywane lub niewykrywalne przez dany zestaw testów. Następnie tak otrzymane wyniki porównane były z wynikami rzeczywistymi, czyli otrzymanymi w wyniku wykonania wszystkich zestawów testów dla mutantów w ciągu testowego. Wyniki przeprowadzonych eksperymentów pozwalają wnioskować o skuteczności takiego podejścia. W zakresie badania testów walidacyjnych opracowano programowy wstrzykiwacz błędów SFIBP (Software Fault Injector for BPEL Processes). [...]

In this work the method of mutation testing for distributed systems was developed, a possibilities of applying validation scenarios for testing, was also analyzed, and the method of synthesis of distributed ... więcej

In this work the method of mutation testing for distributed systems was developed, a possibilities of applying validation scenarios for testing, was also analyzed, and the method of synthesis of distributed applications for Internet of Things was developed. Starting from the similarity of mutants evaluated for a test sequence, all mutants are classified as detectable or non-detectable by the given test. Next, the theoretical results are compared with the experimental results obtained for all tests. It occurred that the proposed approach gives satisfactory results. For evaluation of validation scenarios the software fault injector for BPEL processes (SFIBP) was developed. [...]