An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies

Proceedings - ICSE 2007 Workshops: 5th International Workshop on Software Quality, WoSQ 2007

Volumn , Issue , 2007, Pages 9-14

  Wojcicki, Margaret A ^a   Strooper, Paul ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS;

VERIFICATION-AND-VALIDATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 47649125786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WOSQ.2007.4     Document Type: Conference Paper

References (26)

1. N. Barret, S. Martin, and C. Dislis, "Test Process Optimization: Closing the Gap in the Defect Spectrum," In Proceedings of the International Test Conference, 1999, pp. 124-129.
2. V. R. Basili and R. W. Selby, "Comparing the Effectiveness of Software Testing Strategies," IEEE Transactions in Software Engineering, vol. 13, pp. 1278-1296, 1987.
3. J. S. Bradbury, J. R. Cordy, and J. Dingel, "An Empirical Framework for Comparing Effectiveness of Testing and Property-Based Formal Analysis," In Proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2005, pp. 2-5.
4. R. Chillarege, I. Bhandari, M. Chaar, D. Halliday, B. Moebus, B. Ray, and M. Y. Wong, "Orthogonal Defect Classification - A concept for In-Process Measurement," IEEE Transactions on Software Engineering, vol. 18, pp. 943-956, 1992.
5. L. O. Damm and L. Lundberg, "Identification of Test Process Improvements by Combining Fault Trigger Classification and Faults-Slip-Through Measurement," In Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE'05), 2005, pp. 152-161.
6. A. Endres and D. Rombach, A Handbook of Software and Systems Engineering: Addison Wesley, 2003.
7. W. C. Hetzel, "An experimental analysis of program verification methods," University of North Carolina, 1976.
8. E. Kamsties and C. M. Lott, "An Empirical Evaluation of Three Defect-Detection Techniques," In Proceedings of the Fifth European Software Engineering Conference, 1995, pp. 1-22.
9. O. Laitenberger, B. Freimut, and M. Schlich, "Combination of Inspection and Testing Technologies," Fraunhofer IESE 070.02/E, 2002.
10. B. Long, P. Strooper, and L. Wildman, "A Method for Verifying Concurrent Java Components," Concurrency and Computation: Practice and Experience (in press), 2006.
11. T. Murnane, K. Reed, and R. Hall, "Tailoring of Black-Box Testing Methods," In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC'06), 2006, pp. 292-299.
12. M. Musuvathi and D. Engler, "Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding," Electronic Notes in Theoretical Computer Science, vol. 89, pp. 378-404, 2003.
13. G. Myers, "A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections," Communications of ACM, vol. 21, pp. 760-768, 1978.
14. J. Ngui, P. Strooper, L. Wildman, and M. Wojcicki, "Comparing the Cost-effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks," In Australian Software Engineering Conference (ASWEC '07) (to appear), 2007
15. G. Ruhe, "Software Engineering Decision Support and Empirical Investigations - A Proposed Marriage," Empirical Studies in Software Engineering, vol. 2, pp. 25-34, 2003.
16. R. W. Selby, "Combining Software Testing Strategies: An Empirical Evaluation," In Proceedings of the ACM/SIGSOFT IEEE Workshop on Software Testing, 1986, pp. 82-90.
17. F. Shull and R. Turner, "An Empirical Approach to Best Practice Identification and Selection: The US Department of Defense Acquisition Best Practices Clearinghouse," In Proceedings of the 2005 International Symposium on Empirical Software Engineering (ISESE'05), 2005, pp. 133-140.
18. S. Vegas and V. Basili, "A Characterization Schema for Software Testing Techniques," Empirical Software Engineering, vol. 10, pp. 437-466, 2005.
19. S. Wagner, "A Literature Survey of the Quality Economics of Defect-Detection Techniques," In Proceedings of 5th ACM-IEEE International Symposium on Empirical Software Engineering (ISESE'06), 2006, pp. 194-203.
20. S. Wagner, "A Model and Sensitivity Analysis of the Quality Econcomics of Defect-Detection Techniques," In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '06), 2006, pp. 73-83.
21. S. Wagner, "Modelling the Quality Economics of Defect-Detection Techniques," In Proceedings of the Workshop on Software Quality (WOSQ'06), 2006, pp. 69-74.
22. S. Wagner, "Software Quality Economics for Combining Defect-Detection Techniques," In Proceedings of the Net.Object Days 2005 (Node'05), 2006, pp. 559-574.
23. M. Wojcicki and P. Strooper. "An Iterative Empirical Strategy for the Systematic Selection of a Combination of Verification and Validation Technologies," University of Queensland, http://www.itee.uq.edu.au/ ~wojcicki/strategy/WojcickiStrooper06.pdf, 2007 (unpublished).
24. M. Wojcicki and P. Strooper, "Maximising the Information Gained from an Experimental Analysis of Code Inspection and Static Analysis for Concurrent Java Components," In Proceedings of 5th ACM-IEEE International Symposium on Empirical Software Engineering, 2006, pp. 174-183.
25. M. Wojcicki and P. Strooper, "A State-of-Practice Questionnaire on Verification and Validation for Concurrent Programs," In Proceedings of the 4th International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), 2006, pp. 1-10.
26. M. Wood, M. Roper, A. Brooks, and J. Miller, "Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical Study," In Proceedings of the 6th European Software Engineering Conference, 1997, pp. 262-277.