Introducing a Reasonably Complete and Coherent Approach for Model-based Testing

Electronic Notes in Theoretical Computer Science

Volumn 116, Issue SPEC.ISS., 2005, Pages 85-97

  Bertolino, A ^a   Marchetti, E ^a   Muccini, H ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

Model based testing; Models integration; Testing accuracy; Testing effort

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; MATHEMATICAL MODELS;

MODEL-BASED TESTING; MODELS INTEGRATION; TESTING ACCURACY; TESTING EFFORT;

SOFTWARE ENGINEERING;

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

References (40)

1. AGEDIS Project http://www.agedis.de/index.shtml
2. Alur, R., and Etessami, K., and M. Yannakakis, Inference of Message Sequence Charts, Proc. ICSE2000, Limerick, Ireland
3. G. Antoniol, L.C. Briand, M. Di Penta, and Y. Labiche A Case Study Using the Round-Trip Strategy for State-Based Class Testing Proc. IEEE ISSRE2002, Anapolis, USA 2002
4. Basanieri, F., and Bertolino, A., and E. Marchetti, The Cow_Suite Approach to Planning and Deriving Test Suites in UML Projects, Proc. UML 02, LNCS 2460, Dresden, Germany, September 30 - October 4, 2002, p. 383-397
5. Bertolino, A., Software Testing, In SWEBOK: Guide to the Software Engineering Body of Knowledge,IEEE
6. A. Bertolino, E. Marchetti, and A. Polini Integration of "Components" to Test Software Components Proc. TACOS 2003, Warsaw, Poland ENTCS 82 6 April 13, 2003
7. G.v. Bochmann, and A. Petrenko Protocol Testing: Review of Methods and Relevance for Software Testing Proc. ISSTA '94 1994 109 124
8. L.C. Briand, and Y. Labiche A UML-Based Approach to System Testing Journal of Software and Systems Modeling (SoSyM) 1 1 2002 10 42
9. Chevalley, P., and P. Thevenod-Fosse, Automated generation of statistical test cases from UML state diagrams, Proc. COMPSAC'01, Chicago (USA), 8-12 October 2001, pp.205-214
10. Evans, I., and R. Warden, Focus on UML Testing Strategies, UNICOM The Tester's Bulletin, Seventh Issue - February 2003
11. Fraikin, F., and T. Leonhardt, SeDiTeC - Testing Based on Sequence Diagrams, Proc. IEEE CASE 02, Edingburgh, September 2002
12. P. Graubmann, and E. Rudolph HyperMSCs and Sequence Diagrams for use case modeling and testing Proc. UML 2000 LNCS Vol. 1939 2000 32 46
13. D. Harel, and R. Marelly Specifying and Executing Behavioural Requirements: The Play In/Play-Out Approach Journal of Software and System Modelling (SoSyM) 2003
14. Hartmann, J., and Imoberdof, C., and M. Meisenger, UML-Based Integration Testing, ACM Proc. ISSTA 2000, Portland, August 2000
15. J.-C. Fernandez, C. Jard, T. Jeron, L. Nedelka, and C. Viho An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology Special Issue of Science of Computer Programming 29 1997 123 146
16. G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha Test Cases Generation from UML State Diagram IEE Proceedings - Software 146 4 August 1999 187 192
17. K. Koskimies, and E. Makinen Automatic synthesis of state machines from trace diagrams Software Practice and Experience 24 7 1994 643 658
18. Liuying, L., and Q. Zhichang, Test Selection from UML Statecharts, Proc. of 31st Int. Conf. on Technology of Object-Oriented Language and System, Nanjing, China, 22-25 September 1999
19. A. Von Mayrhauser, R. France, M. Scheetz, and E. Dahlman Generating testcases from an object-oriented model with an artificial-intelligence planning system IEEE Transactions on Reliability 49 1 2000 26 36
20. Message Sequence Chart (MSC), ITU Telecommunication Standardization Sector (ITU-T), Z. 120 Reccomendation for MSC-2000, year 2000
21. S. Mauw, M.A. Reniers, and T.A.C. Willemse Message Sequence Charts in the Software Engineering Process S.K. Chang Handbook of Software Engineering and Knowledge Engineering Fundamentals Vol. 1 December 2001 World Scientific Publishing Co. 437 463
22. Object Mentor, Inc. JUnit, Testing Resources for Extreme Programming http://www.junit.org Feb. 2001
23. Offutt, J., and A. Abdurazik, Generating Test from UML Specifications, Proc. UML 99, Fort Collins, CO, October 1999
24. Offutt, J., and A. Abdurazik, Using UML Collaboration Diagrams for Static Checking and Test Generation, Proc. UML 2000, University of York, UK, 2-6 October 2000
25. T.J. Ostrand, and M.J. Balcer The Category-Partition Method for Specifying and Generating Functional Tests Communications of the ACM 31 6 June 1988 676 686
26. S. Pickin, C. Jard, Y. Le Traon, T. Jeron, J.M. Jezequel, and A. Le Guennec System test synthesis from UML models of distributed software D. Peled M. Vardi FORTE 2002, Houston, Texas LNCS November 2002
27. S. Rapps, and E.J. Weyuker Selecting Software Test Data Using Data Flow Information IEEE Trans. on Software Engineering SE-11 1985 367 375
28. G. Reggio, M. Cerioli, and E. Astesiano Towards a Rigorous Semantics of UML Supporting its Multiview Approach Proc. FASE 2001 LNCS n. 2029 2001 Springer Verlag Berlin
29. M. Riebisch, I. Philippow, and M. Gtze UML-based Statistical Test Case Generation Net.Object.Days 2002 Erfurt, Germany, October 7-10 LNCS Vol. 2591 2002 394 411
30. Ryser, J., and M. Glinz, Using Dependency Charts to Improve Scenario-Based Testing, Proc. of TCS2000 Washington D.C., June 2000
31. J. Tretmans Conformance Testing with Labeled Transition Systems: Implementation Relations and Test Generation Computer Networks and ISDN Systems 29 1996 49 79
32. UBET http://cm.bell-labs.com/cm/cs/what/ubet/
33. S. Uchitel, J. Magee, and J. Kramer LTSA and implied Scenarios Tool On line at http://www.doc.ic.ac.uk/~su2/Synthesis/
34. S. Uchitel, J. Magee, and J. Kramer Detecting Implied Scenarios in Message Sequence Chart Specifications Proc. ESEC/FSE'01, Vienna 2001
35. Uchitel, S., Incremental Elaboration of Scenario-Based Specifications and Behaviour Models using Implied Scenarios, Ph.D. Thesis, Department of Computing, Imperial College. Year 2003
36. UML. Object Management Group: OMG Unified Modeling Language (UML), V2.0 http://www.uml.org/ 2003
37. UMLAUT Project, Available at http://www.irisa.fr/UMLAUT/
38. Williams, C.E., Software Testing and the UML, Proc. ISSRE'99, Boca Raton, November 1-4, 1999
39. J. Whittle, and J. Schumann Generating Statechart Designs from Scenarios Proc. Int. Conf. on Software Engineering ICSE'00 2000
40. J. Wittevrongel, and F. Maurer Using UML to Partially Automate Generation of Scenario-Based Test Drivers OOIS 2001 2001 Springer