Allegro DVT développe des suites de tests de conformité (Compliance Streams) : des milliers de flux vidéo compressés qui servent à valider les décodeurs matériels et logiciels des fabricants de semi-conducteurs, pour des normes comme AVC, HEVC, VVC, AV1 ou le futur standard AV2.

Ces flux sont aujourd’hui produits par un générateur interne fondé sur une randomisation contrainte des éléments syntaxiques de la norme. Cette approche de type fuzzing est robuste et éprouvée. Elle a toutefois une limite structurelle : certains cas sont statistiquement très improbables, alors qu’ils sont parfaitement atteignables par un encodeur réel. Ces cas déclenchent pourtant des mécanismes spécifiques de la norme, comme l’inférence de valeurs.

Atteindre une couverture complète demande alors plusieurs mois de génération et de tri. C’est le cas pour la couverture des tables, des conditions, de la MC/DC, des branches et d’autres critères spécifiques.

Les techniques de fuzzing ont beaucoup évolué ces dernières années :

• Fuzzing guidé par la couverture ;
• Fuzzing structuré par grammaire ;
• Exécution symbolique et concolique ;
• Résolution de contraintes ;
• Stratégies d’exploration adaptatives (bandits, apprentissage par renforcement).

Allegro DVT souhaite évaluer comment ces approches peuvent orienter la randomisation vers les zones peu ou pas couvertes, pour réduire fortement le temps nécessaire à une couverture complète.