A testing framework based on log analysis