Conformance testing of network simulators based on metamorphic testing technique

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5522 LNCS, Issue , 2009, Pages 243-248

  Chen, Tsong Yueh ^a   Kuo, Fei Ching ^a   Liu, Huai ^a   Wang, Shengqiong ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AD HOC ON DEMAND DISTANCE VECTOR; AODV PROTOCOLS; CONFORMANCE TESTING; METAMORPHIC TESTING; MUTATION ANALYSIS; NETWORK SIMULATORS; PROTOCOL CONFORMANCE TESTING;

FORMAL METHODS; INTERNET; RELIABILITY ANALYSIS; ROUTERS; SIMULATORS; TELLURIC PROSPECTING; TESTING; COST EFFECTIVENESS; NETWORK PROTOCOLS;

NETWORK PROTOCOLS; ROUTING PROTOCOLS;

EID: 70349327707     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02138-1_19     Document Type: Conference Paper

References (15)

1. Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proc. of ICSE 2005, pp. 402-411 (2005)
2. Blumer, T.P., Sidhu, D., Chung, A.: Experience with formal methods in protocol development. ACM Comput. Commun. Rev. 21(2), 81-101 (1991)
3. Chen, T.Y., Ho, J.W.H., Liu, H., Xie, X.: An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinform. 10, 24 (2009)
4. Chen, T.Y., Tse, T.H., Zhou, Z.Q.: Fault-based testing without the need of oracles. Inform. Softw. Tech. 45(1), 1-9 (2003)
5. Concer, N.: Ad-hoc network simulator (2005), http://www.omnetpp.org/ filemgmt/singlefile.php?lid=87
6. ISO. Information technology - open systems interconnection - conformance testing methodology and framework. ISO/IEC 9646
7. Lai, R.: A survey of communication protocol testing. Journ. Syst. Softw. 62(1), 21-46 (2002)
8. Machado, P.D.L., Andrade,W.L.: The oracle problem for testing against quantified properties. In: Proc. of QSIC 2007, pp. 415-418 (2007)
9. Murphy, C., Kaiser, G., Hu, L., Wu, L.: Properties of machine learning applications for use in metamorphic testing. In: Proc. of SEKE 2008, pp. 867-872 (2008)
10. Myers, G.J.: The Art of Software Testing. John Wiley and Sons, Chichester (2004)
11. OMNeT Community. OMNeT++ system, http://www.omnetpp.org
12. Onoma, A.K., Tsai, W.-T., Poonawala, M.H., Suganuma, H.: Regression testing in an industrial environment. Commun. ACM 41(5), 81-86 (1998)
13. Paradkar, A.M.: Towards model-based generation of self-priming and self-checking conformance tests for interactive systems. In: Matsui, M., Zuccherato, R.J. (eds.) SAC 2003. LNCS, vol. 3006, pp. 1110-1117. Springer, Heidelberg (2004)
14. Perkins, C., Belding-Royer, E., Das, S.: Ad hoc on-demand distance vector routing. RFC3561 (2008)
15. Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng. 27(10), 929-948 (2001)