An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies

Authors:
Margaret A. Wojcicki;Paul Strooper
Affiliations:
University of Queensland, Australia;University of Queensland, Australia
Venue:
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
Year:
2007

Citing 16
Cited 5

Comparing the Effectiveness of Software Testing Strategies

IEEE Transactions on Software Engineering
Orthogonal Defect Classification-A Concept for In-Process Measurements

IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Comparing and combining software defect detection techniques: a replicated empirical study

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A controlled experiment in program testing and code walkthroughs/inspections

Communications of the ACM
An Empirical Evaluation of Three Defect-Detection Techniques

Proceedings of the 5th European Software Engineering Conference
Test Process Optimization: Closing The Gap In The Defect Spectrum

ITC '99 Proceedings of the 1999 IEEE International Test Conference
A Characterisation Schema for Software Testing Techniques

Empirical Software Engineering
An empirical framework for comparing effectiveness of testing and property-based formal analysis

PASTE '05 Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Tailoring of Black-Box Testing Methods

ASWEC '06 Proceedings of the Australian Software Engineering Conference
Modelling the quality economics of defect-detection techniques

Proceedings of the 2006 international workshop on Software quality
A model and sensitivity analysis of the quality economics of defect-detection techniques

Proceedings of the 2006 international symposium on Software testing and analysis
A state-of-practice questionnaire on verification and validation for concurrent programs

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components

Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
A literature survey of the quality economics of defect-detection techniques

Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
A method for verifying concurrent Java components based on an analysis of concurrency failures: Research Articles

Concurrency and Computation: Practice & Experience - Parallel and Distributed Systems: Testing and Debugging (PADTAD)
Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks

ASWEC '07 Proceedings of the 2007 Australian Software Engineering Conference

An analysis of a comprehensive planning framework for customizing SQA

NSEC '10 Proceedings of the 2010 National Software Engineering Conference
Reducing test effort: A systematic mapping study on existing approaches

Information and Software Technology
Providing trade-off techniques subsets to improve software testing effectiveness: using evolutionary algorithm to support software testing techniques selection by a web tool

SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Testing techniques selection based on ODC fault types and software metrics

Journal of Systems and Software
A learning-based method for combining testing techniques

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The rapid development of verification and validation (V&V) has resulted in a multitude of V&V technologies, making V&V selection difficult for practitioners. Since most V&V technologies will be combined it is important to be aware of how they should be combined and the cost-effectiveness of these combinations. This paper presents a strategy for selecting and evaluating particular V&V combinations that focuses on maximising completeness and minimising effort. The strategy includes a systematic approach for applying empirical information regarding the costs and capabilities of V&V technologies.