In: Microelectronics and Reliability, Vol. 32, No. 3, pages 407-414. 1992.
Abstract: Software safety is a relatively new concept in the software reliability and quality assurance disciplines. Several techniques for conducting software safety analysis are available, and include the following: Peer Circuit Analysis, Software Fault Trees, Nuclear Safety Cross-Check and Petri Nets. This paper puts forward Technical Walkthroughs as an effective method of the Peer Circuit Analysis technique. The paper emphasizes the characteristics of efficient technical walkthroughs that improve the safety and quality assurance function of software in each phase of its life cycle development process. The paper identifies walkthroughs objectives, responsibilities, participants, rules agendas and feedback protocols