Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report

Proceedings - International Conference on Software Engineering

Volumn 2, Issue , 2015, Pages 129-138

  Lindvall, Mikael ^a   Ganesan, Dharmalingam ^a   Ardal, Ragnar ^a,b   Wiegand, Robert E ^c  

^a Fraunhofer USA Center for Experimental Software Engineering (CESE)   (United States)

^b REYKJAVIK UNIVERSITY   (Iceland)

^c NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; NASA; QUERY PROCESSING; SOFTWARE ENGINEERING;

ACCEPTANCE TESTING; ANALYSIS STRATEGIES; DATA TRANSFORMATION; FULL-SCALE PRODUCTION; METAMORPHIC TESTING; MODEL BASED TESTING; MODEL-BASED TESTING APPROACHES; TEST DATA GENERATION;

ACCEPTANCE TESTS;

EID: 84951842134     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2015.348     Document Type: Conference Paper

References (12)

1. H. Liu, F. Kuo, D. Towey, and T. Y. Chen, "How effectively does metamorphic testing alleviate the oracle problem?" IEEE Trans. Software Eng., vol. 40, no. 1, pp. 4-22, 2014. [Online]. Available: http: //doi. ieeecomputersociety. org/10. 1109/TSE. 2013. 46
2. T. Clune and R. Rood, "Software testing and verification in climate model development, " IEEE Softw., vol. 28, no. 6, pp. 49-55, Nov. 2011. [Online]. Available: http: //dx. doi. org/10. 1109/MS. 2011. 117
3. harryr@google. com, "Exploratory automation. " [Online]. Available: http: //www. harryrobinson. net/ExploratoryTestAutomation-CAST. pdf
4. M. Lindvall, D. Muthig, A. Dagnino, C. Wallin, M. Stupperich, D. Kiefer, J. May, and T. Kähkönen, "Agile software development in large organizations, " IEEE Computer, vol. 37, no. 12, pp. 26-34, 2004. [Online]. Available: http: //doi. ieeecomputersociety. org/10. 1109/ MC. 2004. 231
5. D. Cohen, M. Lindvall, and P. Costa, "An introduction to agile methods, " Advances in Computers, vol. 62, pp. 1-66, 2004. [Online]. Available: http: //dx. doi. org/10. 1016/S0065-2458(03)62001-2
6. Data Access Toolkit (DAT) User's Guide, 2014, version 0. 8.
7. C. Schulze, D. Ganesan, M. Lindvall, R. Cleaveland, and D. Goldman, "Assessing model-based testing: An empirical study conducted in industry, " in Companion Proceedings of the 36th International Conference on Software Engineering, ser. ICSE Companion 2014. New York, NY, USA: ACM, 2014, pp. 135-144. [Online]. Available: http: //doi. acm. org/10. 1145/2591062. 2591180
8. C. Schulze, D. Ganesan, M. Lindvall, D. McComas, and A. Cudmore, "Model-based testing of nasa's osal api-an experience report. " in ISSRE, 2013, pp. 300-309.
9. V. Gudmundsson, C. Schulze, D. Ganesan, M. Lindvall, and R. Wiegand, "An initial evaluation of model-based testing. " in ISSRE (Supplemental Proceedings), 2013, pp. 13-14.
10. Wikipedia, "Leap second-wikipedia, the free encyclopedia, " 2014, [Online; accessed 23-October-2014]. [Online]. Available: http: //en. wikipedia. org/w/index. php?title=Leap second&oldid=630477389
11. A. Groce, G. Holzmann, and R. Joshi, "Randomized differential testing as a prelude to formal verification, " in Software Engineering, 2007. ICSE 2007. 29th International Conference on. IEEE, 2007, pp. 621-631.
12. H. Robinson, "Model-based testing. " [Online]. Available: http: //www. harryrobinson. net/