Automatic verification of optimization algorithms: A case study of a quadratic assignment problem solver

International Journal of Software Engineering and Knowledge Engineering

Volumn 21, Issue 2, 2011, Pages 289-307

  Merkel, Robert ^a   Wang, Daoming ^b   Lin, Huimin ^b   Chen, Tsong Yueh ^c  

^a MONASH UNIVERSITY   (Australia)

^b INSTITUTE OF SOFTWARE   (China)

^c SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

metamorphic relation; Metamorphic testing; quadratic assignment problem; software testing; testing oracle

Indexed keywords

AUTOMATIC VERIFICATION; MATHEMATICAL OPTIMIZATIONS; METAMORPHIC RELATION; METAMORPHIC TESTING; OPTIMIZATION ALGORITHMS; OPTIMIZATION PROBLEMS; QUADRATIC ASSIGNMENT PROBLEM; QUADRATIC ASSIGNMENT PROBLEMS; TESTING ORACLE; TESTING ORACLES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; OPTIMIZATION; VERIFICATION;

SOFTWARE TESTING;

EID: 79960062414     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819401100527X     Document Type: Article

References (20)

1. T. Y. Chen, S. C. Cheung and S. M. Yiu, Metamorphic testing: A new approach for generating next test cases, Hong Kong University of Science and Technology, Tech. Rep. HKUST-CS98-01, 1998.
2. S. Beydeda, Self-metamorphic-testing components, in Proceedings of the 30th Int. Conference on Computer Software and Applications (COMPSAC '06), Chicago, Illinois, USA, September 2006, pp. 265-272.
3. T. Y. Chen, J. Feng and T. H. Tse, Metamorphic testing of programs on partial differential equations: A case study, in Proceedings of the 26th Int. Conference on Computer Software and Applications (COMPSAC 2002), August 2002.
4. C. Murphy, K. Shen and G. Kaiser, Automatic system testing of programs without test oracles, in Proceedings of the 2009 ACM International Symposium on Software Testing and Analysis (ISSTA 2009), July 2009, pp. 189-199.
5. S. Segura, R. Hierons, D. Benavides and A. Ruiz-Cortes, Automated test data generation on the analysis of feature models: A metamorphic testing approach, in Third International Conference on Software Testing, Verification and Validation (ICST 2010), April 2010, pp. 35-44.
6. T. Chen, J. W. K. Ho, H. Liu and X. Xie, An innovative approach for testing bioin-formatics programs using metamorphic testing, BMC Bioinformatics 82(9) (2009) 1419-1433.
7. W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse and S. S. Yau, Integration testing of context-sensitive middleware-based applications: A metamorphic approach, International Journal of Software Engineering and Knowledge Engineering 6(5) (2006) 677-703. (Pubitemid 44600677)
8. A. Gotlieb and B. Botella, Automated metamorphic testing, in Proceedings of the 27th International Conference on Computer Software and Applications (COMPSAC 2003), 2003, pp. 34-40.
9. T. C. Koopmans and M. Beckmann, Assignment problems and the location of economic activities, Econometrica 25(1) (1957) 53-76.
10. J. W. Gavett and N. V. Plyter, The optimal assignment of facilities to locations by branch and bound, Operations Research 14 (1966) 210-232.
11. Wikipedia, Quadratic assignment problem\Wikipedia, the free encyclopedia 2007 [online; accessed 12-October-2007] [online]. Available: http://en.wikipedia.org/w/index.php?title=Quadratic-assignment- problem&oldid=139133382.
12. H. P. Williams, Model Building in Mathematical Programming, 4th ed. (John Wiley & Sons, 1999).
13. P. Pardalos, F. Rendl and H. Wolkowicz, The quadratic assignment problem: A survey and recent developments, in Quadratic Assignment and Related Problems, P. Pardalos and H. Wolkowicz, eds. (Amer. Math. Soc, 1994), pp. 1-42.
14. H. T. Lau, A Java Library of Graph Algorithms and Optimization (Chapman and Hall/CRC, 2007).
15. Reel Two, Jumble website [online]. Available: http://jumble.sourceforge. net/.
16. T. A. Budd, R. A. DeMillo, R. J. Lipton and F. G. Sayward, Theoretical and empirical studies on using program mutation to test the functional correctness of programs, in Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, NY, USA, 1980, pp. 220-233.
17. R. E. Burkard, S. E. Karisch and F. Rendl, QAPLIB\a quadratic assignment problem library, Journal of Global Optimization 10(4) (1997) 391-403. (Pubitemid 127502198)
18. T. Y. Chen, D. Huang, T. H. Tse and Z. Q. Zhou, Case studies on the selection of useful relations in metamorphic testing, in Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC2004), 2004, pp. 569-583.
19. T. Y. Chen, H. Lin, R. Merkel and D. Wang, Verification of optimization algori-tihms: Case study of a quadratic assignment problem solver, in Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), July 2008, pp. 16-21.
20. A. C. Barus, T. Y. Chen, D. D. Grant, F.-C. Kuo and M. F. Lau, Testing of heuristic methods: A case study of a greedy algorithm, in Proceedings of the Third IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2008), 2008, pp. 267-280.