Testing embedded software by metamorphic testing: A wireless metering system case study

Proceedings - Conference on Local Computer Networks, LCN

Volumn , Issue , 2011, Pages 291-294

  Kuo, Fei Ching ^a   Chen, Tsong Yueh ^a   Tam, Wing K ^a  

^a SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

embedded systems; software testing and debugging; Wireless communication

Indexed keywords

METAMORPHIC TESTING; METERING SYSTEMS; PROPERTY-BASED TESTING; SOFTWARE FAILURE; SOFTWARE TESTING AND DEBUGGING; SYSTEM PROPERTY; TEST ENVIRONMENT; WIRELESS COMMUNICATION; WIRELESS EMBEDDED SYSTEMS;

EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; PROGRAM DEBUGGING; PROGRAM DIAGNOSTICS; TELECOMMUNICATION NETWORKS; WIRELESS TELECOMMUNICATION SYSTEMS;

SOFTWARE TESTING;

EID: 84862940496     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LCN.2011.6115306     Document Type: Conference Paper

References (10)

1. Electricity metering. Data exchange for meter reading, tariff and load control. Direct local data exchange, BSI, 2002, standard number: BS EN 62056-21:2002.
2. W. K. Chan, T. Y. Chen, S. C. Cheung, T. H. Tse, and Z. Zhang, "Towards the testing of power-aware software applications for wireless sensor networks," in Ada-Europe'07: Proceedings of the 12th international conference on Reliable software technologies. Berlin, Heidelberg: Springer-Verlag, 2007, pp. 84-99.
3. T. Y. Chen, S. C. Cheung, and S. M. Yiu, "Metamorphic testing: a new approach for generating next test cases," Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong, Tech. Rep. HKUST-CS98-01, 1998.
4. T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Semi-proving: An integrated method for program proving, testing, and debugging," accepted to appear in IEEE Transactions on Software Engineering, 2010.
5. S. Hellan and O. Stengel, CC1020/1021 received signal strength indicator, Texas Instruments Incorporated, 2005, Application Note AN030. SWRA062. [Online]. Available: http://focus.ti.com/lit/an/swra062/swra062.pdf
6. A. Sung and B. Choi, "An interaction testing technique between hardware and software in embedded systems," in APSEC '02: Proceedings of the Ninth Asia-Pacific Software Engineering Conference. Washington, DC, USA: IEEE Computer Society, 2002, p. 457.
7. W. K. Tam, "Smartmetering using wireless technology in uhf band - recent development and future applications," in Proceedings of the 6th IET Annual Power Symposium, 2007.
8. W. K. Tam, K. J. Patel, and N. Tran, "Developing wireless application for secure electric power meter reading using bluetooth," in Proceedings of International Conference on Computer, Communication and Control Technologies (CCCT04), 2004, pp. 23-26.
9. CC1020 low-power RF transceiver for narrowband systems, Texas Instruments Incorporated, 2007, CC1020 Data Sheet rev. SWRS046A. [Online]. Available: http://focus.ti.com/lit/ds/symlink/cc1020.pdf
10. W. T. Tsai, Y. Na, R. Paul, F. Lu, and A. Saimi, "Adaptive scenario-based object-oriented test frameworks for testing embedded systems," in Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC'02), 2002, pp. 321-326.