The role of inspection in software quality assurance

Parnas, David Lorge; Lawford, Mark

doi:10.1109/tse.2003.1223642

Cited by 74 publications

(44 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We believe that our review approach makes it easy for a reviewer to take the 'divide and conquer' strategy proposed by Parnas [14], because the checklist covers all the necessary structural aspects of a program view, and each check item in the list is sufficiently small enough for the reviewer to analyze it effectively. This point is demonstrated in the case study we conducted, which is discussed in Section 6.…”

Section: Review Checklistmentioning

confidence: 99%

A Review Approach to Detecting Violations of Consistency Between Specification and Program Structures

Chen

Liu

Wong

2008

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes a viewbased program review approach to addressing these challenges. The essential idea of the approach is first to derive comparable views from the specification and program, and then detect and eliminate the violations of structural consistency in the program views on the basis of a set of criteria. We also developed a prototype tool to support the review approach, and conducted a case study to assess the effectiveness of the approach.

show abstract

Section: Review Checklistmentioning

confidence: 99%

A Review Approach to Detecting Violations of Consistency Between Specification and Program Structures

Chen

Liu

Wong

2008

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

show abstract

“…Many errors and defects are discovered at the end of the testing or are not discovered at all until users find them after the release of the software [2], [9], [12]. Low software quality can reduce product reputation and increase the possibility that end users and customers prefer using competitors' services [1], [2], [5], [9].…”

Section: Introductionmentioning

confidence: 99%

Test Case Review Processes in Software Testing

Petunova¹,

Bērziša²

2017

Information Technology and Management Science

View full text Add to dashboard Cite

-Qualitative system requirements and thoughtful communication are the key factors to successful implementation of software development projects. However, errors that occur by misunderstanding and incomprehension between parties involved in the project can lead not only to the high cost of the project but also to a large number of defects discovered only after the system release, which in turn strongly influences the product quality. The software review processes are implemented to reduce projects costs and ensure high product quality. The goal of the present paper is to identify the role of review processes in software testing. To achieve this goal, the process of test case review has been implemented during testing.

show abstract

“…The essence of the technique is to detect errors in programs by human inspectors through reading and analyzing programs, based on some criteria. Many researchers have contributed to the progress of the technology by establishing various reading techniques [2,3,4,5] and inspection processes [6,7,8], but most of the existing techniques do not take formal speci…cation into account in program inspection, simply because formal speci…cation is not available in most industrial software development projects. With the continual development of formal methods, however, many industrial sectors have gradually adopted formal speci…cation techniques [9,10,11,12].…”

Section: Introductionmentioning

confidence: 99%

An Automated Approach to Specification-Based Program Inspection

Liu

Nagoya

Chen

et al. 2005

Formal Methods and Software Engineering

View full text Add to dashboard Cite

In this paper, we describe how formal speci…cation is adopted to improve the commonly used veri…cation and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and e¢ cient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the relation between functional scenarios de…ned in a speci…cation 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.

show abstract

The role of inspection in software quality assurance

Cited by 74 publications

References 0 publications

A Review Approach to Detecting Violations of Consistency Between Specification and Program Structures

A Review Approach to Detecting Violations of Consistency Between Specification and Program Structures

Test Case Review Processes in Software Testing

An Automated Approach to Specification-Based Program Inspection

Contact Info

Product

Resources

About