Metamorphic testing of decision support systems: A case study

IET Software

Volumn 4, Issue 4, 2010, Pages 294-301

  Kuo, F C ^a   Zhou, Z Q ^b   Ma, J ^c   Zhang, G ^c  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

^b UNIVERSITY OF WOLLONGONG   (Australia)

^c UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKERS; METAMORPHIC TESTING; ORACLE PROBLEM; SOFTWARE QUALITY; TEST ORACLES;

ARTIFICIAL INTELLIGENCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION MAKING; DECISION THEORY;

DECISION SUPPORT SYSTEMS;

EID: 77955184465     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen.2009.0084     Document Type: Article

References (18)

1. Ruan, D., Liu, J., and Carchon, R.: 'Linguistic assessment approach for managing nuclear safeguards indicator information', Logist. Inf. Manage., 2003, 16, (6), p. 401-419 0957-6053
2. Grabisch, M., and Labreuche, C.: 'Fuzzy measures and integrals in MCDA', Figueira, J., Greco, S., Ehrgott, M., 'International Series in operations research & management science', 'Multiple criteria decision analysis: state of the art surveys' (Springer, New York, 2005), 78, 14, p. 563-604
3. Munda, G.: 'A conflict analysis approach for illuminating distributional issues in sustainability policy', Eur. J. Oper. Res., 2009, 194, (1), p. 307-322 0377-2217
4. Lu, J., Zhang, G., Ruan, D., and Wu, F.: 'Multi-objective group decision making - methods, software and applications with fuzzy set technology', (Imperial College Press, London, 2007)
5. Triantaphyllou, E.: 'Multi-criteria decision making methods: a comparative study', (Kluwer Academic Publishers, Dordrecht, 2000)
6. Weyuker, E.J.: 'On testing non-testable programs', Comput. J., 1982, 25, (4), p. 465-470
7. Giannakopoulou, D., Pǎsǎreanu, C.S., and Blundell, C.: 'Assume-guarantee testing for software components', IET Softw., 2008, 2, (6), p. 547-562
8. ' Test oracles', Technical report CIS-TR01-02, Department of Computer and Information Science, University of Oregon, Eugene, 2001
9. Chen, T.Y., Feng, J., and Tse, T.H.: 'Metamorphic testing of programs on partial differential equations: a case study', Proc. COMPSAC'02, 2002, p. 327-333
10. 'Automated functional testing of Web search engines in the absence of an oracle', Technical report TR-2007-06, Department of Computer Science, The University of Hong Kong, 2007
11. Chen, H.Y., Tse, T.H., and Chen, T.Y.: 'TACCLE: a methodology for object-oriented software testing at the class and cluster levels', ACM Trans. Softw. Eng. Methodol., 2001, 10, (1), p. 56-109 1049-331X
12. Chen, T.Y., Tse, T.H., and Zhou, Z.Q.: 'Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing', Proc. ISSTA'02, 2002, p. 191-195
13. Chen, T.Y., Tse, T.H., and Zhou, Z.Q.: 'Fault-based testing without the need of oracles', Inf. Softw. Technol., 2003, 45, (1), p. 1-9
14. Chen, T.Y., Huang, D.H., Tse, T.H., and Zhou, Z.Q.: 'Case studies on the selection of useful relations in metamorphic testing', Proc. Fourth Ibero-American Symp. on Software Engineering and Knowledge Engineering (JIISIC'04), Madrid, Spain, 2004, p. 569-583, Polytechnic University of Madrid
15. Cody, W.J., and Waite, W.: 'Software manual for the elementary functions', (Prentice Hall, Engle-wood Cliffs, NJ, 1980)
16. Motro, A., and Anokhin, P.: 'Fusionplex: resolution of data inconsistencies in the integration of heterogeneous information sources', Inf. Fusion, 2006, 7, p. 176-196 1566-2535
17. Ma, Y.-S., Offutt, J., and Kwon, Y.-R.: 'MuJava: an automated class mutation system', Softw. Testing, Verif. Reliab., 2005, 15, (2), p. 97-133
18. Calvo, T., Mayor, G., and Mesiar, R.: 'Aggregation operators: new trends and applications', Studies in Fuzziness and Soft Computing, (Physica-Verlag, Springer, Heidelberg, 2002), no. 97