TinyOS-program för trådlösa sensornätverk (WSN) körs vanligtvis i en komplicerad konvergensmodell. Det är svårt för utvecklare att exakt förutsäga den dynamiska utförandet av en TinyOS-applikation med dess statiska källkoder. En sådan begreppsmässig lucka medför ofta fel i programvaran, på grund av oväntade systembeteenden orsakade av okända utförandemönster. Detta dokument presenterar T-Morph (TinyOS application tomography), ett nytt verktyg för att bryta, visualisera, och verifiera utförandet mönster av TinyOS applikationer. T-Morph abstracts the dynamic exekvation process of a TinyOS application in i enkla, strukturerade program beteendemodeller, som väl återspeglar hur de statiska källkoderna utförs. Dessutom visualiserar T-Morph dem på ett användarvänligt sätt. Därför kan WSN utvecklare enkelt se om deras källkoder körs som avsett genom att helt enkelt kontrollera att modellerna är korrekta. Slutligen, de verifierade modellerna tillåter T-Morph att automatiskt kontrollera programbeteenden under en långsiktig testning. Den föreslagna modellen överträdelser kan avslöja potentiella buggar och direkta utvecklare till misstänkta platser i källkoderna. Vi har implementerat T-Morph och tillämpat det för att verifiera en serie representativa verkliga TinyOS-program och hitta flera fel, inklusive en ny bugg i den senaste utgåvan av TinyOS. Det visar att T-Morph kan ge betydande hjälp att verifiera TinyOS program.
T-Morph REF är ett nytt verktyg för att bryta, visualisera och verifiera utförandemönster för TinyOS applikationer.
T-Morph: Revealing Buggy Behaviors of TinyOS Applications via Rule Mining and Visualization
{'venue': 'SIGSOFT FSE', 'journal': None, 'mag_field_of_study': ['Computer Science']}