各種語言釋義
形式化自动测试
形式化自動測試
Formalised Automated Testing
Essai automatique formel
Prueba automática formal
Teste automatizado Formalizado
формальный автоматический тест
التلقائي اختبار رسمي
Formalisierte automatisierte Prüfung
正式自動化試験
형식화 자동 테스트
การทดสอบอัตโนมัติอย่างเป็นทางการ