Algorithms for Detection of Latent Errors in Combat System Software

Edge Case Research (ECR) will design, develop, and deliver pattern-recognition algorithms integrated with existing testing and modeling automation at Edge Case Research in order to automatically find and characterize defects in large-scale software. We call the resulting fully integrated product WATCHER. In Phase II, ECR will demonstrate WATCHER software finding latent software errors and characterizing the priority and probability of those errors. This demonstration will highlight the efficiency of WATCHER algorithms and their ability (a) to scale to the large datasets produced by a directly relevant identified program, and (b) to be integrated into that program's SQA processes.