Entwurf und Bewertung von Mutationsoperatoren für die Sprache AsmetaL [German]

By Osama Alkrarha

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.

• Format: Paperback
• Language: German
• ISBN: 6209346901
• ISBN13: 9786209346903
• Release Date: December 2025
• Publisher: Verlag Unser Wissen
• Length: 116 Pages
• Weight: 0.36 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"