Analyysityökalun kehittäminen C#-kielisten lähdekoodien tarkastamiseen

Katselmoinnit ja tarkastusmenettelyt ovat osa ohjelmistotuotantoprosessin laadunvarmistusta. Staattisella tarkastamisella tarkoitetaan ohjelmistotuotteen visuaalista tarkastamista ohjelmistovirheiden havaitsemiseksi ja korjaamiseksi. Ohjelmiston lähdekoodin tarkastaminen voidaan suorittaa automaattisesti tarkoitukseen sopivalla ohjelmistolla l. analyysityökalulla. Tässä työssä toteutettiin analyysityökalu C#-kielisten lähdekoodien tarkastamiseen. Työkalulla suoritetussa kenttätestauksessa havaittiin tarkastettavissa ohjelmistoissa ohjelmiston ylläpitoon vaikuttavia puutteita. Lisäksi työssä tarkasteltiin katselmointeja osana ohjelmistotuotantoprosessin laadunvarmistusta sekä erilaisia ohjelmistovirheitä ja niiden lähteitä.

Reviews and inspections are a part of quality control in the software manufacturing process. Static inspection means visually inspecting the software product in order to detect and repair errors. The inspection of source code can be conducted automatically by using an appropriate program, i.e. a software analysis tool. The purpose of this work was to create a tool for analysing source codes written in the C#-programming language. In the conducted field tests, the softwere analysis tool detected anomalies that effect maintenance of the tested softwares. Additionally, the work will inspect reviews as a part of the quality control of a software manufacturing process, as well as various errors and their sources.