Analyzing and Testing Software