عملیات خودکار ایجاد توالیهای آزمون برای بررسی عملکرد صحیح مدار یا برنامه.
مثالها
Notre approche intègre les aléas représentables dans la spécification nominale, pour obtenir une spécification augmentée. Cette dernière servira de base pour la génération de séquences de test de robustesse.