COMPUTER AIDED SOFTWARE TESTABILITY MODEL

THIS PROPOSAL DESCRIBES A MODELING AND ANALYSIS METHODOLOGY CALLED COMPUTER AIDED SOFTWARE TESTABILITY MODEL (CASTM) WHICH IS DESIGNED TO IDENTIFY LOCATIONS OF SOFTWARE TEST HOOKS. THE STRUCTURED, HIGHLY AUTOMATED UTILITY WILL IMPROVE ON CURRENT METHODS BASED ONLY ON PROGRAM FLOW OR DATA FLOW. CASTM WILL INCLUDE A PARSER FOR EXTRACTING BOTH PROGRAM DATA FLOW FROM SOURCE CODE. A MODEL BUILDER INTEGRATES THE TWO KINDS OF INFORMATION FLOW TO PRODUCE A DIGRAPH DEPENDENCY MODEL WHICH IS USED BY THE TEST HOOK PLACEMENT ANALYSIS. THE ANALYSISBORROWS IMPORTANT TEST ECONOMY PRINCIPLES FROM ELECTRONIC CIRCUIT TESTABILITY EXPERIENCE, SUCH AS CONTROLLABILITY/OBSERVABILITY CONCEPTS AND THE COST/BENEFIT CONSIDERATIONS WHICH DRIVE THE OPTIMIZATION ALGORITHM. CASTM WILL BE GENERIC IN NATURE AND CAN BE APPLIED TO THE DESIGN OF TESTABLE HARDWARE/SOFTWARE SYSTEMS SUCH AS THOSE USED IN BUILT-IN TEST.