Variants of Validity and their Impact on the Overall Test Space

Dealingwiththequestionwhetherornota givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem,how tonavigateappropriatelythroughtheavailable knowledgespacetoproveortorefutethatpropertyunderinvestigation.Moreoveritisdesireabletogetanalgorithmwhichsolvesthattask efficiently. Appliedtotheareaofsystemvalidation,we willproposesomesolutionallowingforthereductionoftestcases,i.e.ofthescaleofthe knowledgespacetobeinvestigated,whenvalidatingsometargetsystembytesting. Thekeyideafortestcasereductionistoexploit certaininheritancepropertiesoftheunderlying spaceofinputdata. Initsrightperspective,inheritanceisinduction.Duetotheimpossibilitytocreateany generalinductionschemefordeductivejustificationofinductivereasoning,therearisesthe necessityofdomain-dependentvariants.

• Type: Conference
• Year: 1998
• Where: FLAIRS
• Authors: Jörg Herrmann, Klaus P. Jantke, Rainer Knauf
• Keywords: Artificial Intelligence, FLAIRS 1998, Givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem, How Tonavigateappropriatelythroughtheavailable Knowledgespacetoproveortorefutethatpropertyunderinvestigation.Moreoveritisdesireabletogetanalgorithmwhichsolvesthattask, Thekeyideafortestcasereductionistoexploit Certaininheritancepropertiesoftheunderlying Spaceofinputdata