Czym jest reguła
Reguła to oczekiwanie dotyczące zachowania funkcji. Może opisywać, co funkcja zwraca, czego oczekuje kod wywołujący lub dodany przez Ciebie wymóg. Reguły wyprowadzone z Twojego kodu mogą być błędne; możesz je poprawiać.
Co sprawdza weryfikacja
Architektura jest wyznaczana na podstawie kodu źródłowego i opisuje funkcje, miejsca wywołań i zależności. Dedykowany model wyprowadza z tej architektury oczekiwania. Weryfikacja sprawdza zmiany pod kątem tych oczekiwań.
Model decyduje, co powinno być prawdą. Reguły sprawdzają, czy nadal jest.
Odczytaj niepowodzenie
Przeczytaj funkcję, regułę, co stało się zamiast tego, lokalizację i miejsca wywołań, których dotyczy. Prześledź dowody aż do kodu, zanim zdecydujesz, co zmienić. Niepowodzenie może dotyczyć miejsc wywołań poza edytowanym plikiem.
Zrozum status
Wynik pozytywny oznacza, że oceniana reguła została spełniona. Niepowodzenie oznacza, że oceniana reguła nie została spełniona. Oczekująca lub niedostępna ocena nie jest dowodem spełnienia. Zanim podejmiesz działanie, przeczytaj dołączone wyjaśnienie.
Nowe i wcześniejsze niepowodzenia
Stan bazowy to baza kodu sprzed zmiany. Porównanie z nim oddziela nowo wprowadzone niepowodzenia od tych, które już istniały. Wcześniejsze niepowodzenie nadal może mieć znaczenie; etykieta mówi jedynie, że nie wprowadziła go ta zmiana.
Popraw oczekiwanie lub kod
Jeśli błędny jest kod, napraw go samodzielnie lub wybierz Fix It na karcie niepowodzenia. Panolayer Agent otrzymuje jako zadanie funkcję, regułę i miejsca wywołań, których dotyczy, a po jego zakończeniu weryfikacja uruchamia się ponownie. Jeśli błędne jest oczekiwanie, popraw regułę. Weryfikacja nie wykrywa każdego błędu, a pokrycie zależy od języka i repozytorium.