The development and evaluation of three diverse techniques for object-oriented code inspection

Dunsmore, Alastair; Roper, Marc; Wood, Murray

doi:10.1109/tse.2003.1223643

Cited by 45 publications

(52 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The subjects adopted the use case reading approach described in [17] as the fundamental technique for detecting the defects from Program A in Experiment 1. Taking this approach, the subject first devised a number of scenarios from the use cases, and then analyzed how the program under review deals with those scenarios.…”

Section: Use Case Readingmentioning

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: Use Case Readingmentioning

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

“…"Reading by Stepwise Abstraction" [11] is a review technique advocated by the Cleanroom community, which requires an inspector to read a sequence of statements in the code and to abstract the functions these statements compute. Traceability-based Reading [6] is to describe how to perform consistency and correctness checks among various working products.…”

Section: Related Workmentioning

confidence: 99%

A review approach to detecting structural consistency violations in programs

Chen

Liu

Nagoya

2005

Fourth Annual ACIS International Conference on Computer and Information Science (ICIS'05)

View full text Add to dashboard Cite

show abstract

“…However, the results of these experiments do not give a conclusive answer to the research question. Some experiments showed that SBR techniques are more effective and efficient than CBR [3,15,18,22,23,26], while other experiments failed to show any significant difference between the techniques [9,11,20,24].…”

Section: Introductionmentioning

confidence: 99%

Assessing the impact of active guidance for defect detection: a replicated experiment

Lanubile

Mallardo

Calefato

et al. 2004

10th International Symposium on Software Metrics, 2004. Proceedings.

View full text Add to dashboard Cite

show abstract

The development and evaluation of three diverse techniques for object-oriented code inspection

Cited by 45 publications

References 7 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

A review approach to detecting structural consistency violations in programs

Assessing the impact of active guidance for defect detection: a replicated experiment

Contact Info

Product

Resources

About