Googeln "Software-Test-Theorie" scheint nur Theorien im weichen Sinne des Wortes zu geben; Ich habe nichts gefunden, was als Theorie im mathematischen, informationstheoretischen oder in einem anderen wissenschaftlichen Sinne klassifiziert werden könnte. Was ich suche, ist etwas, das formalisiert,...