Was mutation-testing-frameworks existieren für C/C++?

Mutation testing wurde es für eine Weile jetzt, und es scheint, es gibt mindestens ein oder zwei kommerzielle mutation testing-frameworks für C/C++. Haben Sie Sie genutzt? Was sind Eure Erfahrungen? Gibt es open source-alternativen?

InformationsquelleAutor Jason Orendorff | 2011-01-17
  1. 8

    Eine kurze Suche ergab:

    Mit dieser sagte, müssen Sie erkennen, dass die mutation Test ist nicht besonders hilfreich (zumindest von einigen Sachen, die ich schon vorher gelesen). Es ist ein Interessantes Werkzeug, wenn konfrontiert mit der harten (metaphorisch gesprochen) behauptet und dafür, dass Daten, die Anforderungen sind beachtet (beim Umgang mit if and only if Situationen).

    Meiner Meinung nach, gibt es viel mehr etablierten Möglichkeiten der Analyse der Robustheit von code.

    • Was Parasoft Versichern++) fordert "mutation testing" ist nicht viel wie das, was alle anderen Anrufe mutation testing. Sie "revolutionierte" es Unkenntlichkeit. parasoft.com/jsp/products/article.jsp?articleId=291
    • wie es scheint, eine interessante nehmen auf, aber die Idee ist immer noch die gleiche.. nimm den code ändern einige Betreiber (entweder macht Sie "fehlerhaft" oder "äquivalent"), und sehen, ob funktioniert. Suche nach Unklarheiten im code ist manchmal nützlich, aber um ganz ehrlich zu sein, könnten Sie schreiben Ihre eigene mutation-testing-tool (es ist nicht schwer) und sparen Sie etwas Geld.
    • Dies ist das erste Ergebnis, das angezeigt wird, auf google, so dass ich dachte, es könnte noch relevant sein, darauf hinzuweisen, dass die MILU link führt zu einem 404.
    InformationsquelleAutor David Titarenco
  2. 4

    Beachten Sie, dass Parasoft ' s tool generieren, die äquivalente Mutationen. Dass Echos beschriebene problem auf Wikipedia-Artikel über Mutation Test - ist es schwer zu unterscheiden zwischen gleichwertigen und nicht gleichwertigen Mutationen, so dass Sie beschlossen zu bleiben, entspricht.

    Versuchte ich ein weiteres Interessantes tool, das automatisch erkennen von Invarianten im instrumentierten C-und C++ - code - man nennt es "Daikon". Im wesentlichen ist dabei dasselbe wie das Werkzeug erzeugt äquivalente Mutationen, sondern der Identifizierung von problematischen code gibt es Ihnen eine Reihe von Invarianten wie "A == B + 1". Ich denke, Invarianten sind nützlich, weil wenn man sich ansieht, entdeckt Invarianten es gibt Ihnen die Sicherheit, dass Ihr code korrekt ist, wenn unveränderlichen Sinn machen, und dann können Sie konvertieren Invarianten in behauptet und das gibt Ihnen mehr Vertrauen, wenn Sie den code ändern.

    InformationsquelleAutor Alexei Polkhanov
  3. 3

    Ist eine geradlinig-python-Skript für mutierend c-Programmen ist abrufbar unter:

    https://github.com/parunbabu/mutate.py

    der Autor sagt, es funktioniert besser, wenn der getestete code ist de-kommentiert und eingerückt.

    und es ist ebenfalls kostenlos und opensource ... ich denke, das ist, was Sie suchen.

    InformationsquelleAutor dennis
  4. 1

    Ich bin derzeit mit:

    Das tool hat mir geholfen, setzen einige Testfälle, die nicht töten, die Mutanten. In einer von Ihnen, die Behauptung hatte, wurde auskommentiert.

    Ich entdeckte auch, dass einige Testfälle, die zu töten die gleichen Mutanten. Dies war besonders Häufig bei der Verwendung von parametrisierten Tests.

    InformationsquelleAutor Christoffer Nylén
  5. 0

    Den bestehenden Rahmen, wo viel zu zeitaufwendig zum einrichten und verwenden, so habe ich meine eigene Implementierung, die eine schnelle und einfache Lösung, die funktionieren sollte auf jeder Maschine. Es gibt Programme für MacOSX, Windows und RaspberryPi (Linux):

    https://github.com/RagnarDa/dumbmutate

    Hoffe, es hilft jemand!

    InformationsquelleAutor RagnarDa
Schreibe einen Kommentar