PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices

  title={PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices},
  author={Kevin Weiss and Michel Rottleuthner and Thomas C. Schmidt and Matthias W{\"a}hlisch},
  journal={ACM Transactions on Embedded Computing Systems (TECS)},
  pages={1 - 26}
Developing an operating systems (OSs) for low-end embedded devices requires continuous adaptation to new hardware architectures and components, while serviceability of features needs to be assured for each individual platform under tight resource constraints. It is challenging to design a versatile and accurate heterogeneous test environment that is agile enough to cover a continuous evolution of the code base and platforms. This mission is even more challenging when organized in an agile open… Expand


Mocking the Embedded World: Test-Driven Development, Continuous Integration, and Design Patterns
Despite a prevalent industry perception to the contrary, the agile practices of Test-Driven Development and Continuous Integration can be successfully applied to embedded software. We present here aExpand
Automating Embedded Software Testing on an Emulated Target Board
An automated scheme of embedded software interface test based on the emulated target board is proposed to identify the location of interface in the source code to be tested, to generate test cases, and to determine 'pass' or fail' on the interface. Expand
Which Spot Should I Test for Effective Embedded Software Testing?
This paper proposes the embedded software interface as two essential parts: interface function that represents the statement of communication between heterogeneous layers, and interface variable that represents software and/or hardware variable which are defined in different layer from integrated software and used to expected output for decision of fault. Expand
Testing embedded software: A survey of the literature
A systematic literature review in the form of a systematic literature mapping (SLM) in this area, aimed at serving as an “index” to the vast body of knowledge in this important area of embedded software testing. Expand
P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version)
A software framework that continuously executes a given firmware binary while channeling inputs from an off-the-shelf fuzzer, enabling hardware-independent and scalable firmware testing. Expand
Symbolic Execution of Virtual Devices
This work presents an approach to static analysis of virtual devices which is central to achieving observability and traceability and applies this approach to virtual devices of five network adapters. Expand
Software in the Loop environment reliability for testing embedded code
  • M. Muresan, D. Pitica
  • Computer Science
  • 2012 IEEE 18th International Symposium for Design and Technology in Electronic Packaging (SIITME)
  • 2012
An analysis of the Software in the Loop (SiL) environment reliability for testing embedded system algorithms, developed around a C167CR microcontroller and based on a real-time (RT) operating system (OS). Expand
Continuous integration and delivery applied to large-scale software-intensive embedded systems
The key contributions of the research presented in this thesis are two models and a method, which will help organizations struggling with challenges related to scale and proximity to hardware to better implementations of continuous integration and continuous delivery. Expand
An interface test model for hardware-dependent software and embedded OS API of the embedded system
This paper proposes an Embedded System's Interface Test Model (EmITM) to test hardware interfaces and OS interfaces and applies this model to embedded software test and analyze the test results. Expand