Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

FLAIRS
1998

favoriteEmaildiscussreport

95views Artificial Intelligence» more FLAIRS 1998»

Variants of Validity and their Impact on the Overall Test Space

13 years 6 months ago

Variants of Validity and their Impact on the Overall Test Space

Download www.aaai.org

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.

Jörg Herrmann, Klaus P. Jantke, Rainer Knauf

Real-time Traffic

Artificial Intelligence | FLAIRS 1998 | Givensystemdoessulllcesomeinterestingpropertyoneisconfrontedwiththeproblem | How Tonavigateappropriatelythroughtheavailable Knowledgespacetoproveortorefutethatpropertyunderinvestigation.Moreoveritisdesireabletogetanalgorithmwhichsolvesthattask | Thekeyideafortestcasereductionistoexploit Certaininheritancepropertiesoftheunderlying Spaceofinputdata |

claim paper

Related Content

» SearchSpace Optimizations for HighLevel ATPG

» A Safe Regression Test Selection Technique for DatabaseDriven Applications

» Performance of Organizational Design Models and Their Impact on Organization Learning

» Validating a High Level Behavioral Representation Language HERBAL A Docking Study for ACTR

» Predicting Cache Space Contention in Utility Computing Servers

» Bridging Fault Test Method With Adaptive Power Management Awareness

» EnergyPower Estimation of Regular Processor Arrays

» Applying CyberArchaeology

» A Scalable Incomplete Test for the Boundedness of UML RT Models

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	1998
Where	FLAIRS
Authors	Jörg Herrmann, Klaus P. Jantke, Rainer Knauf

Comments (0)