Access the full text.
Sign up today, get DeepDyve free for 14 days.
E. Baccelli, O. Hahm, M. Günes, Matthias Wählisch, T. Schmidt (2013)
RIOT OS: Towards an OS for the Internet of Things2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)
Kai Cong, Fei Xie, Li Lei (2013)
Symbolic Execution of Virtual Devices2013 13th International Conference on Quality Software
Liqun Tan, Jesung Kim, O. Sokolsky, Insup Lee (2004)
Model-based testing and monitoring for hybrid embedded systemsProceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004.
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Păsăreanu, Koushik Sen, Nikolai Tillmann, Willem Visser (2011)
Symbolic execution for software testing in practice: Preliminary assessmentProceedings of the 33rd International Conference on Software Engineering (ICSE’11). ACM
V. Garousi, M. Felderer, Çagri Karapiçak, U. Yılmaz (2018)
Testing embedded software: A survey of the literatureInf. Softw. Technol., 104
P. Pontes, B. Lima, J. Faria (2018)
Izinto: a pattern-based IoT testing frameworkCompanion Proceedings for the ISSTA/ECOOP 2018 Workshops
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Saeida Ardekani, Cesar A. Stuardo (2019)
Transactuations: Where transactions meet the physical world2019 USENIX Annual Technical Conference. USENIX Association, 2019
(2020)
CMSIS System View Description
Jani Metsä, Mika Katara, T. Mikkonen (2007)
Testing Non-Functional Requirements with Aspects: An Industrial Case StudySeventh International Conference on Quality Software (QSIC 2007)
M. Woehrle, Christian Plessl, J. Beutel, L. Thiele (2007)
Increasing the reliability of wireless sensor networks with a distributed testing framework
C. Adjih, E. Baccelli, E. Fleury, Gaetan Harter, N. Mitton, Thomas Noël, R. Pissard-Gibollet, Frederic Saint-Marcel, G. Schreiner, J. Vandaele, T. Watteyne (2015)
FIT IoT-LAB: A large scale open experimental IoT testbed2015 IEEE 2nd World Forum on Internet of Things (WF-IoT)
Lauren Reiter (2013)
ZephyrJournal of Business & Finance Librarianship, 18
(2021)
Greentea testing applications
Weiwei Lin, Hong-wei Zeng, Honghao Gao, Huai-kou Miao, Xiaolin Wang (2018)
Test Sequence Reduction of Wireless Protocol Conformance Testing to Internet of ThingsSecur. Commun. Networks, 2018
J. Regehr (2005)
Random testing of interrupt-driven softwareProceedings of the 5th ACM international conference on Embedded software
Hiun Kim, A. Ahmad, Jaeyoung Hwang, Hamza Baqa, Franck Gall, Miguel Ortega, Jaeseung Song (2018)
IoT-TaaS: Towards a Prospective IoT Testing FrameworkIEEE Access, 6
A. Sung, Byoungju Choi, Seokkyoo Shin (2007)
An interface test model for hardware-dependent software and embedded OS API of the embedded systemComput. Stand. Interfaces, 29
Per Erik Strandberg (2018)
Automated System Level Software Testing of Networked Embedded SystemsLicentiate Theses 275. Mälardalen University Press
Bestoun Ahmed, Miroslav Bures, Karel Frajták, T. Cerný (2019)
Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping StudyIEEE Access, 7
Aritra Sengupta, Tanakorn Leesatapornwongsa, Masoud Ardekani, Cesar Stuardo (2020)
Transactuations: Where Transactions Meet the Physical WorldACM Trans. Comput. Syst., 36
(2017)
Result and Artifact Review and Badging
Eric Blake (2018)
Understanding QEMU deviceshttps://www.qemu.org/2018/02/09/understanding-qemu-devices/
(2021)
ARM Mbed OS Testing Tools Documentation
Bo Feng, Alejandro Mera, Long Lu (2019)
P2IM: Scalable and Hardware-independent Firmware Testing via Automatic Peripheral Interface Modeling (extended version)ArXiv, abs/1909.06472
Raimondas Sasnauskas, O. Landsiedel, Muhammad Alizai, Carsten Weise, S. Kowalewski, Klaus Wehrle (2010)
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
Ghadeer Murad, Aalaa Badarneh, Abdallah Quscf, Fadi Almasalha (2018)
Software Testing Techniques in IoT2018 8th International Conference on Computer Science and Information Technology (CSIT)
Jooyoung Seo, A. Sung, Byoungju Choi, Sungbong Kang (2007)
Automating Embedded Software Testing on an Emulated Target BoardSecond International Workshop on Automation of Software Test (AST '07)
(2021)
All Products
(2020)
Mbed OS
M. Conti, J. Crowcroft, A. Passarella (2006)
Proceedings of the 2nd international workshop on Multi-hop ad hoc networks: from theory to reality
Kai Geissdoerfer, Mikolaj Chwalisz, Marco Zimmerling (2019)
Shepherd: a portable testbed for the batteryless IoTProceedings of the 17th Conference on Embedded Networked Sensor Systems
RIOT. (2021)
RIOT Emulatorshttps://api.riot-os.org/emulators.html
R. Lim, Balz Maag, Benjamin Dissler, J. Beutel, L. Thiele (2015)
A testbed for fine-grained tracing of time sensitive behavior in wireless sensor networks2015 IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops)
Iliyan Georgiev, Ivo Georgiev (2019)
Simulation-Based Self-Testing in IoT-Enabled Manufacturing2019 International Conference on Information Technologies (InfoTech)
Jooyoung Seo, Yuhoon Ki, Byoungju Choi, Kwanghyun La (2008)
Which spot should i test for effective embedded software testing? In Second International Conference on Secure System Integration and Reliability Improvement
Peter Kietzmann, T. Schmidt, Matthias Wählisch (2020)
A Guideline on Pseudorandom Number Generation (PRNG) in the IoTACM Computing Surveys (CSUR), 54
Miroslav Bures, T. Cerný, Bestoun Ahmed (2018)
Internet of Things: Current Challenges in the Quality Assurance and Testing Methods
M. Muresan, D. Pitica (2012)
Software in the Loop environment reliability for testing embedded code2012 IEEE 18th International Symposium for Design and Technology in Electronic Packaging (SIITME)
Cristian Cadar, Daniel Dunbar, D. Engler (2008)
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
Linaro Limited (2019)
LAVAhttps://docs.lavasoftware.org/lava/index.html
P. Runeson (2006)
A survey of unit testing practicesIEEE Software, 23
D. Viržonis, T. Jukna, D. Ramunas (2004)
Design of the embedded software using flexible hardware-in-the-loop simulation schemeProceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521), 1
Jooyoung Seo, Ahyoung Sung, Byoungju Choi, Sungbong Kang (2007)
Automating embedded software testing on an emulated target boardProc. Second Intern. WS on Automation of Software Test (AST’07). IEEE Computer Society
Automated Multi-platform OS Testing with External Reference Devices
Saswat Anand, E. Burke, T. Chen, John Clark, Myra Cohen, W. Grieskamp, M. Harman, M. Harrold, Phil McMinn (2013)
An orchestrated survey of methodologies for automated software test case generationJ. Syst. Softw., 86
QEMU -the FAST! processor emulator
Bo Feng, Alejandro Mera, Long Lu (2020)
P2IM: Scalable and hardware-independent firmware testing via automatic peripheral interface modeling29th USENIX Security Symposium. USENIX Association
R. Lim, F. Ferrari, Marco Zimmerling, C. Walser, P. Sommer, J. Beutel (2013)
FlockLab: A testbed for distributed, synchronized tracing and profiling of wireless embedded systems2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN)
T. Tan, Wai-Khuen Cheng (2018)
Software Testing Levels in Internet of Things (IoT) Architecture
(2018)
Understanding QEMU devices. https://www.qemu.org/2018/02/09/understanding-qemu-devices/, last accessed 28-05-2021
V. Handziski, A. Köpke, A. Willig, A. Wolisz (2006)
TWIST: a scalable and reconfigurable testbed for wireless indoor experiments with sensor networks
our Primitive HiL Integration Product, as a firmware with verified peripheral behavior together with a tool-set for agile test development
(2021)
Proteus Design Suite
Cadence (2021)
All Products A-Zhttps://www.cadence.com/en_US/home/tools/tools-a-z.html
Cenk Gündoğan, Peter Kietzmann, Martine Lenders, Hauke Petersen, M. Frey, T. Schmidt, Felix Shzu-Juraschek, Matthias Wählisch (2021)
The Impact of Networking Protocols on Massive M2M Communication in the Industrial IoTIEEE Transactions on Network and Service Management, 18
(2020)
Flock- Lab 2: Multi-modal testing and validation for wireless IoT. In 3rd WS on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench 2020)
A. Gómez, Simi Bajaj (2019)
Challenges of Testing Complex Internet of Things (IoT) Devices and Systems2019 11th International Conference on Knowledge and Systems Engineering (KSE)
E. Baccelli, Cenk Gündoğan, O. Hahm, Peter Kietzmann, Martine Lenders, Hauke Petersen, K. Schleiser, T. Schmidt, Matthias Wählisch (2018)
RIOT: An Open Source Operating System for Low-End Embedded Devices in the IoTIEEE Internet of Things Journal, 5
Niels Gandraß (2021)
Work-in-Progress: Large-scale Timer Hardware Analysis for a Flexible Low-level Timer-API Design2021 International Conference on Embedded Software (EMSOFT)
Cristian Cadar, Patrice Godefroid, S. Khurshid, C. Pasareanu, Koushik Sen, N. Tillmann, W. Visser (2011)
Symbolic execution for software testing in practice: preliminary assessment2011 33rd International Conference on Software Engineering (ICSE)
A. Dunkels, B. Grönvall, T. Voigt (2004)
Contiki - a lightweight and flexible operating system for tiny networked sensors29th Annual IEEE International Conference on Local Computer Networks
Vejlupek Josef, G. Robert, Krejčí Petr, Lesak Frantisek, M. Karel (2014)
Hardware-In-the-Loop simulation for automotive parking assistant control unitsProceedings of the 16th International Conference on Mechatronics - Mechatronika 2014
(2021)
Sense Your Power: The ECO Approach to Energy Awareness for IoT Devices
Renode (2021)
Renode Homepagehttps://renode.io
Roman Trüb, Reto Forno, L. Sigrist, Lorin Mühlebach, Andreas Biri, J. Beutel, L. Thiele (2020)
FlockLab 2: Multi-Modal Testing and Validation for Wireless IoT
(2021)
dSPACE ECU Testing
Torvald Mårtensson (2019)
Continuous integration and delivery applied to large-scale software-intensive embedded systems
M. Karlesky, Greg Williams, W. Bereza, Matt Fletcher (2007)
Mocking the Embedded World: Test-Driven Development, Continuous Integration, and Design Patterns
João Dias, Flavio Couto, A. Paiva, H. Ferreira (2018)
A Brief Overview of Existing Tools for Testing the Internet-of-Things2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Janne Keränen, Tomi Räty (2012)
Model-based testing of embedded systems in hardware in the loop environmentIET Softw., 6
Jooyoung Seo, Yuhoon Ki, Byoungju Choi, Kwanghyun La (2008)
Which Spot Should I Test for Effective Embedded Software Testing?2008 Second International Conference on Secure System Integration and Reliability Improvement
Emmanuel Baccelli, Oliver Hahm, Mesut Günes, Matthias Wählisch, Thomas C. Schmidt (2013)
RIOT OS: Towards an OS for the internet of thingsProc. of the 32nd IEEE INFOCOM. Poster. IEEE Press
P. Taveras (2018)
A Systematic Exploration on Challenges and Limitations in Middleware Programming for IoT TechnologyInternational Journal of Hyperconnectivity and the Internet of Things
Babur Malik, Myda Khalid, Maliha Maryam, M. Nauman, Sheraz Yousaf, Mudassar Mehmood, Hammad Saleem (2019)
IoT Testing-as-a-Service: A New Dimension of AutomationInternational Journal of Advanced Computer Science and Applications
(2020)
ROJECT
We integrate PHiLIP with multi-platform DUTs into a fully automated HiL testing environment and report on lessons learned based on our deployment
Quirin Scheitle, Matthias Wählisch, Oliver Gasser, Thomas C. Schmidt, Georg Carle (2017)
Towards an ecosystem for reproducible research in computer networkingProc. of ACM SIGCOMM Reproducibility Workshop. ACM
Quirin Scheitle, Matthias Wählisch, Oliver Gasser, T. Schmidt, G. Carle (2017)
Towards an Ecosystem for Reproducible Research in Computer NetworkingProceedings of the Reproducibility Workshop
M. Cortés, Raphael Saraiva, Marcia Souza, Patrícia Mello, Pamella Soares (2019)
Adoption of Software Testing in Internet of Things: A Systematic Literature MappingProceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing
Peter Kietzmann, Lena Boeckmann, Leandro Lanzieri, T. Schmidt, Matthias Wählisch (2021)
A Performance Study of Crypto-Hardware in the Low-end IoT
Woei-Kae Chen, Chien-Hung Liu, W. Liang, M. Tsai (2018)
ICAT: An IoT Device Compatibility Testing Tool2018 25th Asia-Pacific Software Engineering Conference (APSEC)
(2021)
Simulink
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-source community process with many contributors such as for the RIOT OS. Hardware in the Loop (HiL) testing and Continuous Integration (CI) are automatable approaches to verify functionality, prevent regressions, and improve the overall quality at development speed in large community projects.In this paper, we present PHiLIP (Primitive Hardware in the Loop Integration Product), an open-source external reference device together with tools that validate the system software while it controls hardware and interprets physical signals. Instead of focusing on a specific test setting, PHiLIP takes the approach of a tool-assisted agile HiL test process, designed for continuous evolution and deployment cycles. We explain its design, describe how it supports HiL tests, evaluate performance metrics, and report on practical experiences of employing PHiLIP in an automated CI test infrastructure. Our initial deployment comprises 22 unique platforms, each of which executes 98 peripheral tests every night. PHiLIP allows for easy extension of low-cost, adaptive testing infrastructures but serves testing techniques and tools to a much wider range of applications.
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: Sep 22, 2021
Keywords: IoT
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.