A survey on formal active and passive testing with applications to the cloud
A survey on formal active and passive testing with applications to the cloud | SpringerLink Skip
to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …
to main content Advertisement SpringerLink Log in Menu Find a journal Publish with us Search …
Passive testing with asynchronous communications and timestamps
We develop a formal passive testing framework for software systems where parties
communicate asynchronously. Monitors, placed in between the entities, check that a certain …
communicate asynchronously. Monitors, placed in between the entities, check that a certain …
[HTML][HTML] A formal consensus-based distributed monitoring approach for mobile IoT networks
JAA Aldana, S Maag, F Zaidi - Internet of Things, 2021 - Elsevier
Abstract Internet of Things (IoT) represent a significant area of network research due to the
many opportunities derived from the problematics and applications. The most recurring …
many opportunities derived from the problematics and applications. The most recurring …
[HTML][HTML] An extended framework for passive asynchronous testing
In passive testing a monitor observes the trace (sequence of inputs and outputs) of the
system under test (SUT) and checks that this trace satisfies a given property P, potentially …
system under test (SUT) and checks that this trace satisfies a given property P, potentially …
Automatic skeleton generation for data-aware service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed
collaborative applications. Services are developed independently and are composed to …
collaborative applications. Services are developed independently and are composed to …
[PDF][PDF] Overview of applications of passive testing techniques
I Itkin, R Yavorskiy - Modeling and Analysis of Complex Systems and …, 2019 - ceur-ws.org
We present here the overview of recent research on passive testing methods and tools,
which covers 104 manually selected papers most relevant to this topic. The papers were …
which covers 104 manually selected papers most relevant to this topic. The papers were …
An online passive testing approach for communication protocols
Testing a protocol at runtime in an online way is a complex and challenging work. It requires
the same precise-ness in conformance testing and efficiency in performance testing, where …
the same precise-ness in conformance testing and efficiency in performance testing, where …
A model-based testing approach combining passive conformance testing and runtime verification: Application to web service compositions deployed in clouds
S Salva, TD Cao - Software Engineering Research, Management and …, 2014 - Springer
This paper proposes a model-based testing approach which combines two monitoring
methods, runtime verification and passive testing. Starting from ioSTS (input output Symbolic …
methods, runtime verification and passive testing. Starting from ioSTS (input output Symbolic …
Guiding testers' hands in monitoring tools: application of testing approaches on SIP
The importance and impact of testing are becoming crucial and strategic for the deployment
and use of software and systems. Several techniques have been defined all along the …
and use of software and systems. Several techniques have been defined all along the …
A novel online functional testing methodology based on a fully distributed continuous monitoring approach applied to communicating systems
JAA Aldana - 2018 - theses.hal.science
MANETs represent a significant area of network research due to the many opportunities
derived from the problematics and applications. The most recurring problematics are the …
derived from the problematics and applications. The most recurring problematics are the …