Was eine Regel bedeutet
Eine Regel ist eine Erwartung an das Verhalten einer Funktion. Sie kann beschreiben, was die Funktion zurückgibt, was Aufrufer erwarten, oder eine Anforderung, die Sie hinzufügen. Aus Ihrem Code abgeleitete Regeln können falsch sein; Sie können sie korrigieren.
Was die Verifizierung prüft
Die Architektur wird aus dem Quellcode geparst und beschreibt Funktionen, Aufrufer und Abhängigkeiten. Ein eigenes Modell leitet aus dieser Architektur Erwartungen ab. Die Verifizierung prüft Änderungen gegen diese Erwartungen.
Das Modell entscheidet, was gelten sollte. Die Regeln prüfen, ob es noch gilt.
Einen Fehler lesen
Lesen Sie die Funktion, die Regel, was stattdessen passiert ist, die Stelle und die betroffenen Aufrufer. Verfolgen Sie die Belege bis zum Code zurück, bevor Sie entscheiden, was Sie ändern. Ein Fehler kann Aufrufer außerhalb der Datei betreffen, die Sie bearbeitet haben.
Den Status verstehen
Ein bestandenes Ergebnis bedeutet, dass die ausgewertete Regel bestanden hat. Ein Fehler bedeutet, dass die ausgewertete Regel nicht gehalten hat. Eine ausstehende oder nicht verfügbare Auswertung ist kein Beleg für ein Bestehen. Lesen Sie jede begleitende Erklärung, bevor Sie handeln.
Neue und bereits bestehende Fehler
Die Baseline ist die Codebasis vor der Änderung. Der Vergleich damit trennt neu eingeführte Fehler von bereits vorhandenen. Ein bereits bestehender Fehler kann trotzdem relevant sein; die Kennzeichnung sagt Ihnen, dass diese Änderung ihn nicht verursacht hat.
Die Erwartung oder den Code korrigieren
Wenn der Code falsch ist, beheben Sie ihn selbst oder wählen Sie Fix It auf der Fehlerkarte. Panolayer Agent nimmt die Funktion, die Regel und die betroffenen Aufrufer als Auftrag, und die Verifizierung läuft erneut, sobald er fertig ist. Wenn die Erwartung falsch ist, korrigieren Sie die Regel. Die Verifizierung findet nicht jeden Bug, und die Abdeckung variiert je nach Sprache und Repository.