Fagan Inspection
Fagan Inspection is a formal, structured code review process developed by Michael Fagan at IBM in 1976 that systematically identifies defects before testing. Using defined roles and checklists, Fagan inspections are far more effective at catching bugs than ad-hoc reviews; studies show 70–90% defect detection rate.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
- Fagan, M. E. (1976). Design and code inspections to reduce errors in program development. IBM Systems Journal, 15(3), 182–211. · DOI 10.1147/sj.153.0182
- Fagan, M. E. (1986). Advances in software inspections. IEEE Transactions on Software Engineering, SE-12(7), 744–751. · DOI 10.1109/tse.1986.6312976
- Gilb, T., & Graham, D. (1993). Software Inspection. Addison-Wesley. · ISBN 0201631814
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.
Wygenerowany graf powiązań nie ma wychodzącego powiązania dla tej metody.