Sammanfattning av denna webbsida: Vi undersöker komplexiteten i att testa olika programkonstruktioner. Vi gör detta genom att bestämma ett mått på att testa komplexiteten som kallas VCP-dimension, som liknar Vapnik-Chervonenkis dimension, och tillämpa den på programklasser, där alla program i en klass delar samma syntaktikstruktur. VCP-dimensionen ger gränser för antalet testpunkter som behövs för att fastställa att ett program är ungefär korrekt, så genom att studera det för en klass av program får vi insikt i hur det är att testa den programkonstruktion som representeras av klassen. Vi undersöker VCP-dimensionen av straight line code, om-thenellse uttalanden, och för loopar. Vi jämför också VCP-dimensionen av inbäddade och sekventiella om-sen-selse uttalanden samt av två typer av för loopar med inbäddade om-sen-else uttalanden. Slutligen utför vi en empirisk studie för att uppskatta den förväntade komplexiteten hos straight line-kod.
Ett annat papper som handlar om komplexiteten av att testa olika klasser av program i white-box testning är REF, där Romanik och Vitter definierar ett mått på testning komplexitet som kallas VCP-dimension.
Using Vapnik-Chervonenkis Dimension to Analyze the Testing Complexity of Program Segments
{'venue': 'Inf. Comput.', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}