På grund av den ökande komplexiteten hos trådlösa sensornätverksapplikationer (WSN) utvecklas traditionella mjukvaruutvecklingsverktyg som är särskilt utformade för sina speciella egenskaper. Testverktyg har dock ännu inte föreslagits. Ett problem med att utveckla testverktyg är behovet av en programrepresentation som uttrycker utförandets beteende. På grund av egenskaperna hos WSN-applikationer som använder en samtidig, händelsebaserad exekveringsmodell är en representation utmanande att utveckla. I detta dokument presenterar vi nya representationer för WSNs applikationer som uttrycker utförandet av händelser och uppgifter, de viktigaste komponenterna i en WSN-applikation. Våra representationer inkluderar en uppgift posting graf, en händelse graf och slutligen en applikation graf som uttrycker förhållandet mellan händelser och uppgifter samt både timing och miljö avbrott. Dessa representationer är det första steget i utvecklingen av testverktyg för WSN-tillämpningar. Baserat på diagrammen kan traditionella och händelsebaserade täckningskriterier utvärderas. I kombination med individuella styrflödesdiagram (CFG) över händelser och uppgifter kan grafernas sökvägar användas som ett kriterium för att utvärdera testfallens fullständighet.
Nguyen m.fl. REF föreslagna program posting grafer för att representera beteenden av WSN-program.
Program representations for testing wireless sensor network applications
{'venue': "DOSTA '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}