Artificial Intelligence
Logic programming and knowledge engineering
Logic programming and knowledge engineering
Managing the software process
A Two-Person Inspection Method to Improve Programming Productivity
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products
Software Inspection
The theory of parsing, translation, and compiling
The theory of parsing, translation, and compiling
Support for Quality-Based Design and Inspection
IEEE Software
Design and code inspections to reduce errors in program development
IBM Systems Journal
Empirical Performance Analysis of Computer-Supported Code-Reviews
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Process improvement of peer code review and behavior analysis of its participants
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Hi-index | 0.00 |
Different types of code-reviews (Fagan-style code-inspections, Parnas-like active design reviews and walkthroughs) have been found to be very useful in improving the quality of software. In many cases reviewers use checklists to guide their analysis during review sessions. However, valuable, checklist-based code-reviews have the principal shortcoming of their high costs due to lack of supporting tools enabling at least partial automation of typical multiple appearing rules. This paper describes an approach towards semi-automation of some steps of individual review processes based on checklists. The method proposed is interactive, i.e. reviewers will be enabled to actualize, extend, and check the consistency and redundancy of their checklists. The basic idea underlying the approach is the usage of a rule-based system, adapting concepts of the compiler theory and knowledge engineering, for acquisition and representation of knowledge about the program. Redundant and conflicting knowledge about the program under study is recognized and solved by means of an embedded truth maintenance system. As a result of fault diagnosis, rules for fault classification are used. Software reliability models are applied to validate the results of each review session. The approach has shown promising preliminary results in analyses of conventional C-programs developed in the automotive industry.