WS-BPEL-tillämpningar är en typ av serviceorienterad applikation. De använder XPath i stor utsträckning för att integrera löst kopplade arbetsflödessteg. XPath kan dock extrahera fel data från mottagna XML-meddelanden, vilket resulterar i felaktiga resultat i den integrerade processen. Förvånansvärt nog, även om XPath spelar en nyckelroll i integrering av arbetsflöden, har otillräckliga undersökningar genomförts för att ta itu med de viktiga frågorna i testning av programvara. Detta dokument tar itu med problemet. Det visar också en ny omvandlingsstrategi för att konstruera artefakter. Vi använder de matematiska definitionerna av XPath som omskrivningsregler, och föreslår en datastruktur som kallas XPath Rewriting Graph (XRG), som inte bara modellerar hur en XPath begreppsmässigt skrivs om utan också spårar individuella omskrivningar gradvis. Vi behandlar de matematiska variablerna i de tillämpade omskrivningsreglerna som om de vore programvariabler, och använder dem för att analysera hur information kan skrivas om i en XPath konceptuellt. Vi utvecklar på så sätt en algoritm för att konstruera XRGs och en ny familj av dataflödestestningskriterier för att testa WS-BPEL-tillämpningar. Experimentella resultat visar att vår testmetod är lovande.
REF använder de matematiska definitionerna av XPath (W3C, 2007b) som omskrivningsregler och föreslår en datastruktur som kallas XPath Rewriting Graph (XRG).
Data flow testing of service-oriented workflow applications
{'venue': "ICSE '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}