A passive testing approach based on invariants: application to the WAP

DOI10.1016/j.comnet.2004.09.009zbMath1080.68534OpenAlexW2026774266MaRDI QIDQ2484973

Ana Cavalli, Emmanuel Bayse, Fatiha Zaïdi, Manuel A. Nunez

Publication date: 3 August 2005

Published in: Computer Networks (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.comnet.2004.09.009

zbMATH Keywords

InvariantsConformance testingPassive testingSoftware tools for testingWireless Application Protocol (WAP)

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (6)

Deriving Homing Sequences for Finite State Machines with Timed Guards ⋮ Passive testing with asynchronous communications and timestamps ⋮ An extended framework for passive asynchronous testing ⋮ Passive Testing of Timed Systems ⋮ \(\mathcal {HOTL}\): Hypotheses and observations testing logic ⋮ Formally transforming user-model testing problems into implementer-model testing problems and viceversa

This page was built for publication: A passive testing approach based on invariants: application to the WAP