Write a Blog >>
Mon 10 Jul 2017 11:45 - 12:10 at Bren 1414 - Improving Testing Chair(s): Cristian Cadar

Embedded software is found everywhere from our highly visible mobile devices to the confines of our car in the form of smart sensors. Embedded software companies are under huge pressure to produce safe applications that limit risks, and testing is absolutely critical to alleviate concerns regarding safety and user privacy. This requires using large test suites throughout the development process, increasing time-to-market and ultimately hindering competitivity. Speeding up test execution is, therefore, of paramount importance for embedded software developers. This is traditionally achieved by running, in parallel, multiple tests on large-scale clusters of computers. However, this approach is costly in terms of infrastructure maintenance and energy consumed, and is at times inconvenient as developers have to wait for their tests to be scheduled on a shared resource. We propose to look at exploiting GPUs (Graphics Processing Units) for running embedded software testing. GPUs are readily available in most computers and offer tremendous amounts of parallelism, making them an ideal target for embedded software testing. In this paper, we demonstrate, for the first time, how test executions of embedded C programs can be automatically performed on a GPU, without involving the end user. We take a compiler-assisted approach which automatically compiles the C program into GPU kernels for parallel execution of the input tests. Using this technique, we achieve an average speedup of 16x when compared to CPU execution of input tests across nine programs from an industry standard embedded benchmark suite.

Mon 10 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:10: Improving TestingTechnical Papers at Bren 1414
Chair(s): Cristian CadarImperial College London
10:30 - 10:55
Talk
Technical Papers
Alex GroceNorthern Arizona University, Josie HolmesPennsylvania State University, USA, Kevin Kellar
DOI
10:55 - 11:20
Talk
Technical Papers
Helge SpiekerSimula Research Laboratory, Norway, Arnaud GotliebSimula Research Laboratory, Norway, Dusica MarijanSimula, Morten MossigeUniversity of Stavanger, Norway / ABB Robotics, Norway
DOI
11:20 - 11:45
Talk
Technical Papers
Shaikh MostafaUniversity of Texas at San Antonio, USA, Xiaoyin WangUniversity of Texas at San Antonio, USA, Tao XieUniversity of Illinois at Urbana-Champaign
DOI
11:45 - 12:10
Talk
Technical Papers
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI