Model-based testing of a WAP gateway: An industrial case-study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4346 LNCS, Issue , 2007, Pages 116-131

  Hessel, Anders ^a   Pettersson, Paul ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER SOFTWARE; MATHEMATICAL MODELS; MOBILE PHONES; MODEL CHECKING; WIRELESS NETWORKS;

BLACK-BOX TESTING; ERICSSON (CO); TIMED AUTOMATA; WAP GATEWAY;

NETWORK PROTOCOLS;

EID: 36348964111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70952-7_8     Document Type: Conference Paper

References (16)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, and Laurent Mounier. Verification and test generation for the sscop protocol. Science of Computer Programming, 36(1):27-52, 2000.
3. th International Workshop on Formal Approaches to Testing of Software 2004 (FATES'04), volume 3395 of Lecture Notes in Computer Science, pages 125-139. Springer-Verlag, 2005.
4. Thomas Ball, Orna Kupferman, and Greta Yorsh. Abstraction for falsification. Technical Report MSR-TR-2005-50, Microsoft Research, June 2005.
5. WAP Forum. Wireless transaction protocol, version 10-jul-2001. online, 2001. http://www.wapforum.org/.
6. S. Gordon and J. Billington. Analysing th wap class 2 wireless transaction protocol using colored petri nets. In M. Nielsen and D. Simpson, editors, ICATPN 2000, volume 1825 of Lecture Notes in Computer Science, pages 207-226. Springer-Verlag, 2000.
7. Yu-Tong He and R. Janicki. Verification of the wap transaction layer. In Software Engineering and Formal Methods, pages 366-375, 2004.
8. th International Conference, (TACAS'02), volume 2280 of Lecture Notes in Computer Science, pages 327-341. Springer-Verlag, 2002.
9. G.J. Holzmann. The model checker SPIN. IEEE Trans. on Software Engineering, SE-23(5):279-295, May 1997.
10. Anders Hessel and Paul Pettersson. Model-based testing of a wap gateway: an in-dustrial case-study. Technical Report 2006-045, Department of Information Technology, Uppsala University, 2006.
11. th International Workshop on Formal Approaches to Testing of Software 2004 (FATES'04), volume 3395 of Lecture Notes in Computer Science, pages 79-94. Springer-Verlag, 2005.
12. Kim G. Larsen, Marius Mikucionis, Brian Nielsen, and Arne Skou. Testing real-time embedded software using uppaal-tron - an industrial case study. In Proc. of the 5th ACM International Conference on Embedded Software, 2005.
13. K. G. Larsen, P. Pettersson, and W. Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2): 134-152, October 1997.
14. rd Int. Symp. on Logic in Computer Science, 1988.
15. nd Int. Workshop (TACAS'96), volume 1055 of Lecture Notes in Computer Science, pages 127-146. Springer-Verlag, 1996.
16. Per Vilhelmsson. A test case translation tool - from abstract test sequences to concrete test programs. Technical report, Department of Information Technology, Uppsala University, 2005.