Model-based Testing of the Conference Protocol with Spec Explorer

Abstract

Abstract-

Using coverage to automate and improve test purpose based testing

“…By the use of this specification PHACT was able to detect 21 of the 27 faulty implementations. Manual TPs 10 195 75 0 17 P 10 195 75 0 17 A 10 195 75 0 17 D 16 328 104 0 17 C 29 650 133 0 18 CD 72 1678 266 0 18 MCDC 13 262 89 0 17 R 160 3503 817 0 18 Microsoft's SPECEXPLORER tool [36] has been applied to the Conference Protocol by Botinčan and Novaković [37]. Unfortunately, they did not use the 27 available faulty implementations but developed 3 mutants by their own.…”