8 posts
Vos tests unitaires vérifient des entrées spécifiques. L'exécution symbolique vérifie toutes les entrées possibles. Voici comment ça marche, ce que ça coûte, et par où commencer.
Votre suite de tests a 94 % de couverture et zéro échec. Un moteur d'exécution symbolique trouve un crash dans votre code en moins de trois secondes. Le test…
Le metamorphic testing a découvert de vrais bugs dans GCC, LLVM, les compilateurs de shaders Vulkan et les simulateurs ADAS. Cet article explique la technique avec du code fonctionnel et montre où elle s'intègre dans votre suite de tests.
Le metamorphic testing a trouvé 147 bugs confirmés dans GCC et LLVM, des défauts dans des simulateurs ADAS commerciaux utilisés par des équipementiers…
Toutes les metamorphic relations ne détectent pas de bugs. Les relations faibles donnent une fausse confiance tandis que les fortes trouvent de vraies fautes. Voici comment faire la différence et construire un ensemble de relations qui fonctionne réellement.
Vous avez écrit douze metamorphic relations pour votre moteur de tarification. Chaque test réussit. Vous vous sentez bien au sujet de votre couverture. Puis un…
Le metamorphic testing permet de vérifier la correction du code sans connaître la sortie attendue exacte. Voici comment ça marche, quand ça atteint ses limites, et comment commencer à l'utiliser.
Vous livrez un modèle d'apprentissage automatique qui étiquette les tickets de support. Votre suite de tests est verte. Chaque test a réussi. Aucun de ces…
La programmation littéraire maintient la documentation, les tests et l'implémentation synchronisés en faisant d'un fichier Markdown la source unique de vérité. Voici comment l'implémenter en trente lignes de Python.
Vos docs, vos tests et votre code sont trois fichiers qui racontent la même histoire mal. Vous mettez à jour la signature de la fonction dans le source. Vous…
Pourquoi le model checking bat des jours d'exécution en production pour trouver les bugs de concurrence, et comment l'appliquer à votre propre code.
Attendre que les race conditions apparaissent en production n'est pas du testing. C'est de l'espoir déguisé en diligence. Vous pouvez faire tourner votre app…
Les tests de base de données simulés vérifient votre syntaxe SQL, pas si les lignes survivent aux crashes, aux écritures concurrentes ou aux incompatibilités de schéma. Voici comment tester la persistance pour de vrai.
Si vous mock votre base de données dans les tests, vous testez que votre couche repository appelle les bonnes méthodes. Vous ne testez pas que les données…
Mocker chaque action Redux transforme vos tests en validateur de changelog. Voici comment tester votre store avec de vraies transitions d'état à la place.
Si vous avez déjà écrit un test qui vérifie que a été appelé avec la forme exacte du payload, vous avez écrit un test qui casse à chaque fois que quelqu'un…