Xest: An automated framework for regression testing of embedded software

Proceedings - 2010 Workshop on Embedded Systems Education, WESE 2010

Volumn , Issue , 2010, Pages

  Netkow, Matthew H ^a   Brylow, Dennis ^b  

^a SAVO Group   (United States)

^b MARQUETTE UNIVERSITY   (United States)

Author keywords

Embedded systems; Nexos; Testing; Xinu

Indexed keywords

ASSESSMENT TOOL; CONTROL MECHANISM; EMBEDDED HARDWARE; EXPERIMENTAL LABORATORY; MISSION CRITICAL APPLICATIONS; NEXOS; PROCESSOR RESOURCES; REGRESSION TESTING; SOURCE LANGUAGE; XINU;

EMBEDDED SYSTEMS; QUALITY CONTROL; SAFETY TESTING; SOFTWARE TESTING; STUDENTS;

EMBEDDED SOFTWARE;

EID: 79958727549     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1930277.1930284     Document Type: Conference Paper

References (25)

1. C. Berg, J. Engblom, and R. Wilhelm. Requirements for and design of a processor with predictable timing. In Perspectives Workshop: Design of Systems with Predictable Behaviour, Dagstuhl, Germany, 2004.
2. S. Berner, R. Weber, and R. K. Keller. Enhancing software testing by judicious use of code coverage information. In ICSE'07, pages 612-620, 2007. (Pubitemid 47430695)
3. D. Brylow. An experimental laboratory environment for teaching embedded hardware systems. In WCAE 2007: Workshop on Computer Architecture Education, pages 44-51. ACM Press, June 2007. (Pubitemid 47300311)
4. D. Brylow. An experimental laboratory environment for teaching embedded operating systems. In SIGCSE'08, volume 40, pages 192-196, March 2008.
5. D. Brylow. Embedded XINU project, 2010. http://www.mscs.mu.edu/~brylow/ xinu/.
6. D. Brylow and J. Palsberg. Deadline analysis of interrupt driven software. IEEE Transactions on Software Engineering, 30(10):634-655, October 2004. (Pubitemid 40274358)
7. D. Brylow and B. Ramamurthy. Nexos: A next generation embedded systems laboratory. SIGBED Review, 6(1), January 2009. URL http://sigbed.seas.upenn.edu/ .
8. J. Burnim, S. Juvekar, and K. Sen. Wise: Automated test generation for worst-case complexity. In Proceedings of ICSE'09, pages 463-473, 2009.
9. H. Erdogmus, M. Morisio, and M. Torchiano. On the effectiveness of the test-frst approach to programming. IEEE Transactions on Software Engineering, 31(3):226-237, 2005.
10. C. Ferdinand, R. Heckmann, M. Langenbach, et al. Reliable and precise WCET determination for a real-life processor. In EMSOFT 01: First International Workshop on Embedded Software, LNCS volume 2211, pages 469-485, October 2001. (Pubitemid 33351877)
11. Freescale Semiconductor, Inc. CPU12 Reference Manual: M68HC12 and HCS12 Microcontrollers, 2006. URLhttp://freescale.com.
12. D. Gay, P. Levis, J. R. von Behren, et al. The NesC language: A holistic approach to networked embedded systems. In Proceedings of PLDI 03: ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-11. ACM Press, 2003.
13. J. Gustafsson, A. Ermedahl, C. Sandberg, et al. Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution. In Proceedings of RTSS'06, pages 57-66, 2006. (Pubitemid 351209718)
14. Junit.org. URL http://www.junit.org/, 2010.
15. P. Levis, N. Lee, M. Welsh, et al. TOSSIM: accurate and scalable simulation of entire TinyOS applications. In SenSys'03: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, pages 126-137, 2003. (Pubitemid 40682340)
16. Indesign LLC. URL http://www.indesign-llc.com/medical-device-validation. asp, 2010.
17. M. Olan. Unit testing: test early, test often. Journal of Computing Sciences in Colleges, 19(2):319-328, 2003.
18. J. Polley, D. Blazakis, J. Mcgee, et al. ATEMU: A -ne-grained sensor network simulator. In Proceedings of SECON'04: IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004.
19. J. Regehr, A. Reid, and K. Webb. Eliminating stack overow by abstract interpretation. ACM Transactions on Embedded Computing Systems, 4(4):751-778, November 2005.
20. S. Sentilles, A. Pettersson, D. Nystrom, et al. Save-IDE - a tool for design, analysis and implementation of component-based embedded systems. In ICSE'09, pages 607-610, 2009.
21. V. Software. Url http://www.vectorcast.com/, 2010.
22. TinyOS.net. The TinyOS printf library, 2010. URL http://docs.tinyos.net/ index.php/The-TinyOS-printf-Library.
23. B. L. Titzer, D. K. Lee, and J. Palsberg. Avrora: Scalable sensor network simulation with exact timing. In Proceedings of IPSN'05: Fourth International Conference on Information Processing in Sensor Networks, pages 477-482, April 2005. (Pubitemid 43841273)
24. M. Wick, D. Stevenson, and P. Wagner. Using testing and JUnit across the curriculum. In SIGCSE'05, pages 236-240, March 2005. (Pubitemid 40821244)
25. Project Nexos/Embedded Xinu wiki, 2007. http://xinu.mscs.mu.edu/.