Hit-or-Jump: An algorithm for embedded testing with applications to IN services
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Using On-The-Fly Verification Techniques for the Generation of test Suites
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Autolink: A Tool for Automatic Test Generation from SDL Specifications
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Validation Model for the DSR Protocol
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks
IEEE Transactions on Mobile Computing
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment
IEEE Pervasive Computing
APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
IEEE Transactions on Software Engineering
Mobile Systems from a Validation Perspective: a Case Study
ISPDC '07 Proceedings of the Sixth International Symposium on Parallel and Distributed Computing
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Passive testing – a constrained invariant checking approach
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Hi-index | 0.00 |
Advances in wireless networking have yielded the development of mobile computing applications. Their unique characteristics (dynamicity of the system structure, communication with unknown partners in local vicinity, context dependency) provide new challenges for verification. This paper elaborates on the testing technology. As a first step, a review of the state-of-the-art is performed together with a case study (a group membership protocol in mobile ad hoc settings), which allowed us to gain insights into testing problems. Work is then directed toward: (1) the definition of a scenario language with extensions to better account for mobile settings (spatial relationships, broadcast communication with neighbors), and (2) an automated support for the off-line analysis of execution traces to identify occurrences of described scenarios.