Entwurf und Bewertung von Mutationsoperatoren für die Sprache AsmetaL: MuAsmetaL

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 Mutationsoperatoren vorgeschlagen, die in vier Kategorien unterteilt sind. Die vorgeschlagenen Operatoren werden verwendet, um die Angemessenheit von Testsuiten zu bewerten, die mit dem ATGT-Tool unter verschiedenen Testabdeckungskriterien generiert wurden. Anhand von AsmetaL-Fallstudien wird die Anwendbarkeit des vorgeschlagenen Ansatzes demonstriert.