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.
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.