La détection des erreurs de spécification peut contribuer à réduire le coût et les risques liés au développement de logiciels, car les défauts non corrigés dans les spécifications se répercutent sur le code, ce qui nuit à la qualité du produit final. Le test de mutation est une technique bien établie, basée sur les défauts, qui permet d'évaluer et d'améliorer la qualité des suites de tests. Le test de mutation peut être appliqué à différents niveaux d'abstraction, par exemple au niveau de l'unité, au niveau de l'intégration et au niveau de la spécification. Dans cet...
La détection des erreurs de spécification peut contribuer à réduire le coût et les risques liés au développement de logiciels, car les défauts...
Die Erkennung von Spezifikationsfehlern kann dazu beitragen, die Kosten und Risiken der Softwareentwicklung zu reduzieren, da nicht korrigierte Fehler in Spezifikationen sich auf den Code auswirken und somit die Qualität des Endprodukts beeinträchtigen. Mutationstests sind eine bewährte fehlerbasierte Technik zur Bewertung und Verbesserung der Qualität von Testsuiten. Mutationstests können auf verschiedenen Abstraktionsebenen angewendet werden, z. B. auf der Ebene der Einheiten, der Integration und der Spezifikationen. In diesem Buch wird eine Reihe von AsmetaL-spezifischen...
Die Erkennung von Spezifikationsfehlern kann dazu beitragen, die Kosten und Risiken der Softwareentwicklung zu reduzieren, da nicht korrigierte Fehler...
