Wat een regel betekent
Een regel is een verwachting over het gedrag van een functie. Hij kan beschrijven wat de functie teruggeeft, wat aanroepers verwachten of een eis die jij toevoegt. Regels die uit je code zijn afgeleid, kunnen onjuist zijn; je kunt ze corrigeren.
Wat verificatie controleert
De architectuur wordt uit de broncode geparseerd en beschrijft functies, aanroepers en afhankelijkheden. Een eigen model leidt verwachtingen af uit die architectuur. Verificatie controleert wijzigingen tegen die verwachtingen.
Het model bepaalt wat waar zou moeten zijn. De regels controleren of dat nog zo is.
Een fout lezen
Lees de functie, de regel, wat er in plaats daarvan gebeurde, de locatie en de geraakte aanroepers. Volg het bewijs terug naar de code voordat je beslist wat je wijzigt. Een fout kan aanroepers buiten het bestand dat je bewerkte raken.
De status begrijpen
Een geslaagd resultaat betekent dat de geëvalueerde regel slaagde. Een fout betekent dat de geëvalueerde regel niet standhield. Een lopende of onbeschikbare evaluatie is geen bewijs van slagen. Lees eventuele toelichting voordat je actie onderneemt.
Nieuwe en bestaande fouten
De baseline is de codebase vóór de wijziging. Door daartegen te vergelijken, worden nieuw geïntroduceerde fouten gescheiden van fouten die er al waren. Een bestaande fout kan nog steeds belangrijk zijn; het label vertelt je dat deze wijziging hem niet heeft geïntroduceerd.
Corrigeer de verwachting of de code
Is de code fout, los het dan zelf op of kies Fix It op de foutkaart. Panolayer Agent krijgt de functie, de regel en de geraakte aanroepers als opdracht mee, en de verificatie draait opnieuw zodra hij klaar is. Is de verwachting fout, corrigeer dan de regel. Verificatie vangt niet elke bug, en de dekking verschilt per taal en repository.