| Autor: |
Kung-Kiu Lau, Banach, Richard, Liu, Shaoying, Nagoya, Fumiko, Chen, Yuting, Goya, Masashi, McDermid, John A. |
| Zdroj: |
Formal Methods & Software Engineering; 2005, p421-434, 14p |
| Abstrakt: |
In this paper, we describe how formal specification is adopted to improve the commonly used verification and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and efficient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the relation between functional scenarios defined in a specification and execution paths implemented in its program. We report a prototype tool for the approach to support both forward and backward inspection strategies, and a case study of inspecting an Automatic Teller Machine system to evaluate the performance of the approach and the tool. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
