Based on the formal specification, a representative subset of software input/output trajectories is selected and tested.
وبناء على الخاصية الرسمية، يتم انتقاء مجموعة فرعية تمثيلية من مسارات إدخال/إخراج البرمجيات وفحصها.