Irgendwelche systematischen Möglichkeit, „Wiedereintrittsproblem“ zu vermeiden? (eingebettetes System) [geschlossen

Question

Wir verwenden C, um ein System auf dem Armkern (dh ein eingebettetes System) zu erstellen. Die Frage ist: Wie können wir das Wiedereintrittsproblem auf formelle Weise vermeiden, damit wir zuversichtlich sind, dass alle Wiedereintrittsfehler entfernt werden. Dies ist vielleicht kein praktischer Wunsch, aber sicherlich wichtig für ein System, denke ich.

Nur für die Diskussion, ich denke, das Zeichnen von UML -Diagramm oder eine vollständige Zustandsmaschine wäre ein guter Start (aber wie man es nach der Entwicklung des gesamten Systems generiert?). Irgendwelche Vorschläge, wie man das Statusmaschinen- / UML -Diagramm verwendet, um die Analyse durchzuführen?

Answer 1

Wie von @alexander erwähnt, bleibt das WebPart immer noch in der WebPart-Galerie.Sie müssen den Code in FeatureActiving Event schreiben, der Ihr WebPart in der WebPart-Galerie sucht und von dort aus entfernen.Follwoing ist der Beispielcode, der in der Veranstaltung geschrieben werden muss: generasacodicetagpre.

Answer 2

Schnellfix, wenn Sie etwas vermuten:

int some_func(int x, int y)
{
    static volatile int do_not_enter_twice = 0;
    assert(!(do_not_enter_twice++));

    /* some_func continued */

    do_not_enter_twice--;
    return whatever;
}

Längere Antwort:
Verwenden Sie ein Werkzeug, um a zu erstellen Rufen Sie Diagramm an Und von dort aus manuell fortfahren.

Answer 3

Ein Werkzeug, das berechnen kann riesig Anrufdiagramme sind die DMS -Software -Reengineering -Toolkit und sein C Front End. Das C -Frontend wird verwendet, um den C -Code zu analysieren. DMS hat Maschinen integriert, um Steuer- und Datenflussanalysen zu berechnen, Punkte zu Analyse und Call-Direct- und Call-Indirect-Thru-Zeiger-Fakten zu extrahieren

DMS wurde verwendet, um Anrufdiagramme für C -Quellcodesysteme von zu erstellen 35 Millionen Zeilen des C -Codes (= 250.000 Funktionen) und dann Informationen aus diesem Aufrufdiagramm extrahieren. Ein zentrales Problem beim Erstellen großer Grafiken wie dieser besteht darin, Punkte-zu-Informationen so genau wie praktisch zu berechnen (es gibt harte theoretische Einschränkungen, dies perfekt zu tun), damit indirekte Funktionsaufrufe konservativ auf eine minimale Anzahl falsch positiver Ziele ausgerichtet sind.

In Ihrem Fall sind die Informationen zu extrahieren, wie andere Autoren anzeigen: "Gibt es einen Zyklus?" In dieser Anrufdiagramm.

In dieser Größenordnung möchten Sie dies nicht von Hand tun, und Sie müssen es jedes Mal neu machen, wenn Sie sich auf einen Produktionsbau vorbereiten. Die Mechanisierung des Schecks wäre also viel Sinn.

Answer 4

Dies generiert die Ausgabe, die Sie mit Ihren Beispieldaten suchen. generasacodicetagpre.