Devoxx FR 2023 – Lincheck: Testing concurrency on the JVM par Maria Sokolova
Maria Sokolova est une des développeuses de l’équipe des coroutines de Kotlin et de Lincheck et elle va nous présenter Lincheck, une librairie permettant de valider les algorithmes concurrents. On prend comme exemple une bounded queue basée sur ConcurrentLinkedList dont l’implémentation a été faite par ChatGTP en Kotlin. L’implémentation proposée par ChatGTP semble correcte à première vue, mais comment la tester ? Stress Test ? Non car c’est non déterministe. L’équipe de Kotlin a créé Lincheck pour ça : tester…