FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W610027908> ?p ?o ?g. }

• W610027908 abstract "Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this context, passive testing techniques are used when the system under test cannot be interrupted or access to the system's interfaces is unavailable. Passive testing relies on the observation of the implementation during runtime, and the comparison of the observation with the expected behavior, defined through conformance properties. The objective of this thesis is to define a novel methodology to validate communicating protocols by passive testing. Existing approaches are derived from works with finite-state and labelled transition specifications and as such, they presume there exists a causality relation between the events observed in the implementation (the trace). When dealing with message-based protocols, such as the Session Initiation Protocol (fundamental for IMS services), such causality does not necessarily exist and furthermore, it may only be determined through data parts. Since existing techniques are optimized for dealing with control parts, they present limitations for testing based on data parts: reduced expressibility and succinctness of conformance properties, as well as problems to deal with satisfaction of properties including future conditions. In this work we present a message-based/data-centric approach for dealing with these issues. Observations in a trace are in the form of messages. Expected behavior is defined in a bottom-up fashion, starting from expected criteria that be fulfilled by one or more messages, defined as constraints between the message data fields. Temporal relations by quantification over the criteria, e.g. a property may require that certain criteria must be held for all messages in the trace. Our approach allows to express formulas about the future and past of the trace, allowing to define more general criteria than through control parts alone. Issues related to satisfaction of properties and declaration of conformance verdicts are also discussed here. Although observation of a behavior defined as a property is indication of conformance, lack of observation is not necessarily indicative of a fault. Several solutions to this issue have been proposed and implemented in this work. Finally, our work presents interesting perspectives, in terms of extensibility for online detection or improved expressiveness, but also since a message-based approach provides an alternative view to traditional testing techniques" @default.
• W610027908 created "2016-06-24" @default.
• W610027908 creator A5047700935 @default.
• W610027908 date "2012-02-03" @default.
• W610027908 modified "2023-09-27" @default.
• W610027908 title "Modeling and methodologies for the test of IMS services" @default.
• W610027908 hasPublicationYear "2012" @default.
• W610027908 type Work @default.
• W610027908 sameAs 610027908 @default.
• W610027908 citedByCount "0" @default.
• W610027908 crossrefType "dissertation" @default.
• W610027908 hasAuthorship W610027908A5047700935 @default.
• W610027908 hasConcept C107683887 @default.
• W610027908 hasConcept C111919701 @default.
• W610027908 hasConcept C120314980 @default.
• W610027908 hasConcept C124101348 @default.
• W610027908 hasConcept C136764020 @default.
• W610027908 hasConcept C138885662 @default.
• W610027908 hasConcept C142724271 @default.
• W610027908 hasConcept C151730666 @default.
• W610027908 hasConcept C177264268 @default.
• W610027908 hasConcept C188087704 @default.
• W610027908 hasConcept C199360897 @default.
• W610027908 hasConcept C204787440 @default.
• W610027908 hasConcept C25343380 @default.
• W610027908 hasConcept C2776493592 @default.
• W610027908 hasConcept C2777904410 @default.
• W610027908 hasConcept C2779182362 @default.
• W610027908 hasConcept C2779343474 @default.
• W610027908 hasConcept C2780385302 @default.
• W610027908 hasConcept C41008148 @default.
• W610027908 hasConcept C41895202 @default.
• W610027908 hasConcept C71924100 @default.
• W610027908 hasConcept C75291252 @default.
• W610027908 hasConcept C76844732 @default.
• W610027908 hasConcept C80444323 @default.
• W610027908 hasConcept C86803240 @default.
• W610027908 hasConcept C98045186 @default.
• W610027908 hasConceptScore W610027908C107683887 @default.
• W610027908 hasConceptScore W610027908C111919701 @default.
• W610027908 hasConceptScore W610027908C120314980 @default.
• W610027908 hasConceptScore W610027908C124101348 @default.
• W610027908 hasConceptScore W610027908C136764020 @default.
• W610027908 hasConceptScore W610027908C138885662 @default.
• W610027908 hasConceptScore W610027908C142724271 @default.
• W610027908 hasConceptScore W610027908C151730666 @default.
• W610027908 hasConceptScore W610027908C177264268 @default.
• W610027908 hasConceptScore W610027908C188087704 @default.
• W610027908 hasConceptScore W610027908C199360897 @default.
• W610027908 hasConceptScore W610027908C204787440 @default.
• W610027908 hasConceptScore W610027908C25343380 @default.
• W610027908 hasConceptScore W610027908C2776493592 @default.
• W610027908 hasConceptScore W610027908C2777904410 @default.
• W610027908 hasConceptScore W610027908C2779182362 @default.
• W610027908 hasConceptScore W610027908C2779343474 @default.
• W610027908 hasConceptScore W610027908C2780385302 @default.
• W610027908 hasConceptScore W610027908C41008148 @default.
• W610027908 hasConceptScore W610027908C41895202 @default.
• W610027908 hasConceptScore W610027908C71924100 @default.
• W610027908 hasConceptScore W610027908C75291252 @default.
• W610027908 hasConceptScore W610027908C76844732 @default.
• W610027908 hasConceptScore W610027908C80444323 @default.
• W610027908 hasConceptScore W610027908C86803240 @default.
• W610027908 hasConceptScore W610027908C98045186 @default.
• W610027908 hasLocation W6100279081 @default.
• W610027908 hasOpenAccess W610027908 @default.
• W610027908 hasPrimaryLocation W6100279081 @default.
• W610027908 isParatext "false" @default.
• W610027908 isRetracted "false" @default.
• W610027908 magId "610027908" @default.
• W610027908 workType "dissertation" @default.