placeholder image

EATandDREAM: Effective automatic Testing and Debugging for REAl-life eMbedded wireless communications software

Grant


Scheme


  • Linkage Projects

Abstract


  • Testing is the most widely used approach to verifying non-trivial systems, but is also one of the most intricate and least understood areas in software engineering. Wireless communication systems are playing a critical role in todayâ¬"s society, but the embedded software that controls these systems is extremely difficult to test. This project will integrate academic research strength and industrial R&D experience to develop an automatic technology that alleviates the oracle problem and improves effectiveness of testing and debugging. Practical and effective approaches to test case generation and selection, test result verification, and fault localization will be developed for embedded wireless communications software.

Date/time Interval


  • 2010 - 2015

Sponsor Award Id


  • LP100200208

Local Award Id


  • 11503

Scheme


  • Linkage Projects

Abstract


  • Testing is the most widely used approach to verifying non-trivial systems, but is also one of the most intricate and least understood areas in software engineering. Wireless communication systems are playing a critical role in todayâ¬"s society, but the embedded software that controls these systems is extremely difficult to test. This project will integrate academic research strength and industrial R&D experience to develop an automatic technology that alleviates the oracle problem and improves effectiveness of testing and debugging. Practical and effective approaches to test case generation and selection, test result verification, and fault localization will be developed for embedded wireless communications software.

Date/time Interval


  • 2010 - 2015

Sponsor Award Id


  • LP100200208

Local Award Id


  • 11503