Abstract

. We present an approach for automatically generating relevant, focused questions to be asked during code inspection sessions. The method is based on Hoare-logic. The novel key idea is the introduction of informal predicates, which, though not having a formal definition, may have a perfectly legal and unique informal interpretation. Such predicates make it easier to express requirements in terms of assertions, while still allowing for the automatic derivation of verification conditions. Moreover, informal predicates enable reasoning about assertions and verifying verification conditions at a level which is suitable for man rather than machine. 1 Introduction In November 1995 the project "Automation Verification in Software Development " was commenced. The project is one of several projects within the competence center ISIS (Information Systems for Industrial Control and Supervision), and is carried out in cooperation between ABB Industrial Systems and the RealTime Systems Laboratory a...

Citations