Evaluating distributed real-time and embedded system test correctness using system execution traces