@MASTERSTHESIS\{IMM2013-06682,
    author       = "A. Egorov",
    title        = "Tool Support for Inspections",
    year         = "2013",
    school       = "Technical University of Denmark, Department of Applied Mathematics and Computer Science",
    address      = "Matematiktorvet, Building 303B, {DK-}2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk",
    type         = "",
    note         = "{DTU} supervisor: Harald St{\"{o}}rrle, hsto@compute.dtu.dk, {DTU} Compute",
    url          = "http://www.compute.dtu.dk/English.aspx",
    abstract     = "Nowadays software systems play an important role in a human life, since they are present almost in every aspect of it. Software systems surround us and they are everywhere: from tiny little devices such as thermometers and sensors to airplanes and production factories. Unfortunately, these software systems are not completely free from defects. Defect can cause a small embarrassment or a large scale disaster. However there are techniques that can help software developers to find defects, and formal inspection is one of those techniques. The technique can be applied to any development document at any stage of the development process.
This thesis is dealing with a modified version of formal inspection process that suits better for academic purposes. The inspection process is considered to be rather complex, it involves many interactions and paper work, which distracts participants from defect finding. In order to make the process more transparent an online support tool should be created. Due to software system introduction to the inspection process, the process was modified in order to fit better to the new conditions. Background analysis of previous works was conducted and their drawbacks were analyzed, concluding that a new tool should be implemented using a different approach.
The support tool received name “FIT” that stands for “Formal Inspection Tool”. Since the tool is a web based application it is possible to make a clear separation between a front-end and back-end components. Bootstrap framework was user to produce the front-end component, Ruby on Rails web application framework was used in the back-end component. The application was deployed on Heroku that is PaaS provider. {FIT} is a free open-source software product, which sources are worldwide publicly available through GitHub.
The security issues of a web application represent a great concern, thus the application was analyzed on possible vulnerabilities and security breaches. The analysis showed that {FIT} is not a subject to most popular attacks."
}