Model-based quality assurance of protocol documentation: Tools and methodology

Software Testing Verification and Reliability

Volumn 21, Issue 1, 2011, Pages 55-71

  Grieskamp, Wolfgang ^a   Kicillof, Nicolas ^a   Stobie, Keith ^a   Braberman, Victor ^b  

^a MICROSOFT   (United States)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

model based; protocols; quality assurance process; Spec Explorer; test driven

Indexed keywords

CLIENT SERVER; MICROSOFT; MODEL BASED APPROACH; MODEL BASED TESTING; MODEL-BASED; PROTOCOL ENGINEERING; PROTOCOLS; SPEC EXPLORER; TEST-DRIVEN; TOOL SUPPORT;

QUALITY ASSURANCE; QUALITY CONTROL;

WINDOWS OPERATING SYSTEM;

EID: 79952013643     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.427     Document Type: Conference Paper

References (22)

1. Microsoft. MSDN protocol documentation. Available at: http://msdn.microsoft.com/en-us/library/cc216514.aspx [9 February 2010 ].
2. Grieskamp W,. Multi-Paradigmatic Model-Based Testing (Lecture Notes in Computer Science, vol. 4262). Springer: Berlin, 2006. Invited talk in Klaus Havelund and Manuel Nunez and Grigore Rosu and Burkhart Wolff, FATES/RV.
3. Campbell C, Grieskamp W, Nachmanson L, Schulte W, Tillmann N, Veanes M,. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer (Lecture Notes in Computer Science, vol. 494 (Pubitemid 351632160)
4. Grieskamp W, Gurevich Y, Schulte W, Veanes M,. Generating finite state machines from abstract state machines. Proceedings of ISSTA'02 (Software Engineering Notes, vol. 27). ACM: New York, 2002; 112-122.
5. Stobie K,. Model based testing in practice at microsoft. Proceedings of the Workshop on Model Based Testing (MBT 2004) (Electronic Notes in Theoretical Computer Science, vol. 111). Elsevier: Amsterdam, 2004.
6. Willcock C, Deiss T, Tobies S, Keil S, Engler F, Schulz S,. An Introduction to TTCN-3. Wiley: New York, 2005.
7. Utting M, Legeard B,. Practical Model-Based Testing. Morgan-Kaufmann: Los Altos, CA, 2007.
8. Grieskamp W, Kicillof N, Tillmann N,. Action machines: A framework for encoding and composing partial behaviors. International Journal of Software Engineering and Knowledge Engineering 2006; 16 (5): 705-726. (Pubitemid 44600678)
9. Grieskamp W, MacDonald D, Kicillof N, Nandan A, Stobie K, Wurden F,. Model-based quality assurance of windows protocol documentation. Proceedings of the 1st IEEE International Conference on Software Testing (ICST 2008), Lillihammer, Norway, April 2008.
10. Gurevich Y,. Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods, Boerger E, (ed.). Oxford University Press: Oxford, 1995.
11. Alur R, Henzinger TA, Kupferman O, Vardi MY,. Alternating refinement relations. Proceedings of the Ninth International Conference on Concurrency Theory (CONCUR) (Lecture Notes in Computer Science, vol. 1466). Springer: Berlin, 1998.
12. Grieskamp W, Kicillof N,. A schema language for coordinating construction and composition of partial behaviors. Proceedings of the 28th International Conference on Software Engineering & Co-Located Workshopsa-5th International Workshop on Scenarios and State Machines. ACM: New York, May 2006.
13. Dwyer MB, Avrunin GS, Corbett JC,. Patterns in property specifications for finite-state verification. Proceedings of the 21st International Conference on Software Engineering (ICSE'99). IEEE Press: Los Angeles, U.S.A., 1999; 411-420.
14. Linux verification center at IPSRAS. Available at: http://www. linuxtesting.org [9 February 2010 ].
15. Grinevich A, Khoroshilov A, Kuliamin V, Markovtsev D, Petrenko A, Rubanov V,. Formal methods in industrial software standards enforcement. Proceedings of PSI'2006 (Lecture Notes in Computer Science, vol. 4378), Virbitskaite I, Voronkov A, (eds.). Springer: Berlin, 456-466.
16. Tretmans J,. Test generation with inputs, outputs and repetitive quiescence. Software, Concepts and Tools 1996; 17 (3): 103-120.
17. Jacky J, Veanes M, Campbell C, Schulte W,. Model-Based Software Testing and Analysis with C#. Cambridge University Press: Cambridge, 2008.
18. Tretmans J, Brinksma E,. TorX: Automated model based testing. 1st European Conference on Model Driven Software Engineering, Nuremberg, Germany, December 2003; 31-43.
19. Fernandez J, Jard C, Jeron T, Viho C,. An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programminga-Special Issue on COST247, Verification and Validation Methods for Formal Descriptions 1997; 29 (1-2): 123-146. (Pubitemid 127384418)
20. Grieskamp W, Tillmann N, Schulte W,. XRTa-Exploring Runtime for.NETa-Architecture and Applications. SoftMC 2005: Workshop on Software Model Checking (Electronic Notes in Theoretical Computer Science). Springer: Berlin, July 2005.
21. Khurshid S, Pasareanu CS, Visser W,. Generalized symbolic execution for model checking and testing. Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), Warsaw, Poland, April 2003; 553-568.
22. Huima A,. Implementing Conformiq Qtronic. Testing of Software and Communicating Systems (TestCom/FATES 2007). (Lecture Notes in Computer Science, vol. 4581). Springer: Berlin, 2007.