Selecting V&V technology combinations: how to pick a winner?

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2007, Pages 87-94

  Strooper, Paul ^a   Wojcicki, Margaret A ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; JAVA PROGRAMMING LANGUAGE; STATIC ANALYSIS;

COST EFFECTIVE; DESIGN AND IMPLEMENTATIONS; JAVA COMPONENTS; SELECTION AND EVALUATIONS; SOFTWARE VERIFICATION AND VALIDATION; SOFTWARE-SYSTEMS; TECHNIQUES AND TOOLS; TECHNOLOGY-BASED; VALIDATION TECHNOLOGIES; VERIFICATION-AND-VALIDATION;

ITERATIVE METHODS;

EID: 46749141288     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2007.40     Document Type: Conference Paper

References (23)

1. V. Basili, R. Selby, and D. Hutchens. Experimentation in software engineering. IEEE Transactions in Software Engineering, 12(7):733-743, 1986.
2. M. Ben-Ari. Principles of Concurrent and Distributed Programming. Prentice Hall, 1990.
3. P. Brinch Hansen. Reproducible testing of monitors. Software - Practice and Experience, 8:721-729, 1978.
4. D. Budgen, S. Charters, M. Turner, P. Brereton, B. Kitchenham, and S. Linkman. Investigating the applicability of the evidence-based paradigm to software engineering. In Proceedings of the Second International Workshop on Interdisciplinary Software Engineering Research (WISER'06), pages 7-13, 2006.
5. D. Burns and R. Pitblado. A modified HAZOP methodology for safety critical assessment. In F. Redmill and T. Anderson, editors, Directions in Safetycritical Systems: Proceedings of the Safety-critical Systems Symposium. Springer-Verlag, 1993.
6. R. Chillarege, I. Bhandari, J. Chaar, M. Halliday, D. Moebus, B. Ray, and M.-Y. Wong. Orthogonal defect classification-a concept for in-process measurements. IEEE Transactions on Software Engineering, 18(11):943-956, 1992.
7. 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 Symposium on Empirical Software Engineering, pages 152-161, 2002.
8. D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92-106, 2004.
9. K. Knizhnik and C. Artho. Jlint manual, 2002. http://artho.com/jlint, Access Date 2 April 2007.
10. B. Long, R. Duke, D. Goldson, P. Strooper, and L. Wildman. Mutation-based exploration of a method for verifying concurrent Java components. In Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004) - 2nd International Workshop on Parallel and Distributed Systems: Testing and Debugging, 2004.
11. B. Long, D. Hoffman, and P. Strooper. Tool support for testing concurrent Java components. IEEE Transactions on Software Engineering, 29(6):555-566, June 2003.
12. B. Long, P. Strooper, and L. Wildman. A method for verifying concurrent java components based on an analysis of concurrency failures. Concurrency and Computation: Practice and Experience, 19(3):281-294, 2007.
13. J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley & Sons, 1999.
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), pages 223-232. IEEE Computer Society, 2007.
15. R. Pressman. Software engineering: a practitioner's approach. McGraw-Hill, London, 5th edition, 2000.
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391-411, Nov. 1997.
17. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison Wesley, 1998.
18. W. Tichy. Should computer scientists experiment more? Computer, 31(5):32-40, 1998.
19. S. Vegas and V. Basili. A characterization schema for software testing techniques. Empirical Software Engineering, 10:437-466, 2005.
20. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proceedings of the 15th International Conference on Automated Software Engineering, pages 3-12. IEEE Computer Society, 2000.
21. 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 the 5th A CM-IEEE International Symposium on Empirical Software Engineering, pages 174-183, 2006.
22. M. Wojcicki and P. Strooper. An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In 5th Intl. Workshop on Software Quality (WoSQ 2007), 2007. Accepted for publication.
23. C. Zannier, G. Melnik, and F. Maurer. On the success of empirical studies in the international conference on software engineering. In Proceedings of the 28th International Conference on Software Engineering, pages 341-350. ACM Press, 2006.