Model Based Testing in Practice at Microsoft

Electronic Notes in Theoretical Computer Science

Volumn 111, Issue SPEC. ISS., 2005, Pages 5-12

  Stobie, Keith ^a  

^a MICROSOFT   (United States)

Author keywords

Automated test case generation; Formal testing methods; Test selection

Indexed keywords

ABSTRACT STATE MACHINE LANGUAGE (ASML); AUTOMATED TEST CASE GENERATION; FORMAL TESTING METHODS; TEST SELECTION;

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; MATHEMATICAL MODELS; RELIABILITY; SOFTWARE ENGINEERING;

FINITE AUTOMATA;

EID: 11244337469     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.004     Document Type: Conference Paper

References (13)

1. Microsoft Research Abstract State Machine Language URL http://research.microsoft.com/fse/asml/
2. Microsoft Research The AsmL Test Generator tool URL http://research. microsoft.com/fse/AsmL/doc/AsmLTester.html
3. M. Corning Confessions of a Modeling Bigot: Parts III-IV ASPToday, Dec02 & Jan03. URL http://www.asptoday.com/content.asp?id=2043
4. Trustworthy Computing: Reliability URL http://www.microsoft.com/mscorp/ twc/reliability/default.mspx
5. A. Zeller, and R. Hildebrandt Simplifying and Isolating Failure-Inducing Input. IEEE Transactions on Software Engineering 28 2 February 2002 183 200
6. H.F. Nielsen, and S. Thatte Web Services Routing Protocol (WS-Routing) URL http:///msdn.microsoft.com/library/default.asp October 23, 2001
7. D. Box Web Services Policy Framework (WSPolicy) 28 May 2003 URL http://www.ibm.com/developerworks/library/ws-policy
8. URL http://msdn.microsoft.com/ws/2002/12/Policy/
9. Web Services Enhancements (WSE) 1.0 SP1 for Microsoft. NET http://www.microsoft.com/downloads/details.aspx
10. L.F. Cabrera Web Services Atomic Transaction (WS-AtomicTransaction) September 2003 ftp://www6.software.ibm.com/software/developer/library/ws- atomictransaction.pdf
11. URL http://msdn.microsoft.com/library/en-us/dnglobspec/html/wsat.asp
12. J. Taylor Testing Internet Explorer: From Underdog To Best-In-Class Browser 2002 StarWest
13. H. Robinson Finite State Model-Based Testing on a Shoestring 1999 StarWest URL http://www.model-based-testing.org/shoestring.htm