Development Testing of Prophet Mission-Critical Software