Home > Research > Publications & Outputs > On equivalence partitioning of code paths insid...


Text available via DOI:

View graph of relations

On equivalence partitioning of code paths inside OS kernel components

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Publication date17/03/2009
Host publication2009 Software Technologies for Future Dependable Distributed Systems
Number of pages3
ISBN (Electronic)9780769535722
<mark>Original language</mark>English


Commercial-off-the-shelf operating systems (COTS OSs) are increasingly chosen as key building blocks in embedded system design due to their rich feature-set available at low costs. Unfortunately, as the complexity of such OSs increases, testing key OS components such as device drivers (DD) to ensure continuous service provision becomes increasingly challenging. Despite the improving test efforts targeting DDs, they still represent a significant cause of system outages as the test coverage is invariably limited by the inability to exhaustively assess and cover the operational states. Consequently, if representative operational execution profiles of DDs within an OS could be obtained, these could significantly improve the understanding of the actual operational DD state space and help focus the test efforts onto the execution hotspots. Focusing on characterizing DD operational activities while assuming no access to source code, our work enables profiling the runtime behavior of DDs solely based on I/Oand functional-call tracking. Such profiles are used to improve test adequacy against real-world workloads by enabling similarity quantification across them. The profiles also reveal execution hotspots in terms of functionalities activated in the field, allowing for dedicated test campaigns. © 2009 IEEE.