TESTOR: Deriving test sequences from model-based specifications

Lecture Notes in Computer Science

Volumn 3489, Issue , 2005, Pages 267-282

  Pelliccione, Patrizio ^b   Muccini, Henry ^b   Bucchiarone, Antonio ^a   Facchini, Fabrizio ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER SOFTWARE; INTEGRATION; MATHEMATICAL MODELS;

DEPENDABILITY ANALYSIS; MODEL-BASED SPECIFICATIONS; STATE MACHINES; TEST SEQUENCES;

SOFTWARE ENGINEERING;

EID: 24944433044     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11424529_18     Document Type: Conference Paper

References (25)

1. AGEDIS Project. http://www.agedis.de/index.shtml.
2. Model-based Testing Home Page.http://www.geocities.com/ model_based_testing/. Maintained by Harry Robinson.
3. UMLAUT Project. http://www.irisa.fr/UMLAUT/.
4. CHARMY Project. Charmy Web Site. http://www.di.univaq.it/charmy, 2004.
5. G. Antoniol, L. C. Briand, M. Di Penta, and Y. Labiche. A Case Study Using the Round-Trip Strategy for State-Based Class Testing. In Proc. IEEE ISSRE2002, 2002.
6. Francesca Basanieri, Antonia Bertolino, and Eda Marchetti. The Cow_Suite Approach to Planning and Deriving Test Suites in UML Project. In Fifth International Conference on the Unified Modeling Language - the Language and its applications (UML 2008), pages 383-397, Dresden, Germany, September 2002.
7. Antonia Bertolino, Eda Marchetti, and Henry Muccini. Introducing a Reasonably Complete and Coherent Approach for Model-based Testing. In In Testing and Analysis of Component-Based Systems Workshop, Tacos 2004. To be pubblished in Electronic Notes of Theoretical Computer Science, 2004.
8. L.C. Briand and Y. Labiche. A UML-Based Approach to System Testing. Journal of Software and System Modelling (SoSyM), 1(1):10-42, 2002.
9. A. Bucchiarone, H. Muccini, P. Pelliccione, and P. Pierini. Model-Checking plus Testing: from Software Architecture Analysis to Code Testing. In Proc. International Testing Methodology workshop, Lecture Notes in Computer Science, LNCS, vol. 3236, pp. 351-365 (2004), October 2004.
10. Ivica Crnkovic and Magnus Larsson, editors. Building Reliable Component-based Software Systems. Artech House, July 2002.
11. F. Fraikin and T. Leonhardt. Seditec - testing based on sequence diagrams. In Proc. IEEE CASE 02, Edingburgh, September 2002.
12. P. Graubmann and E. Rudolph. HyperMSCs and Sequence Diagrams for use case modeling and testing. In Proc. UML 2000, volume LNCS Vol.1939, pages 32-46, 2000.
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. Alan Hartman. Model Based Test Generation Tools. Technical report, AGEDIS project Downloads, 2002.
15. J. Hartmann, C. Imoberdof, and M. Meisenger. UML-Based Integration Testing. In ACM Proc. ISSTA 2000, Portland, 2000.
16. C. Jard and T. Jéron. Tgv: theory, principles and algorithms. In The Sixth World Conference on Integrated Design & Process Technology (IDPT'02), Pasadena, California, USA, June 2002.
17. G. Kim, H. S. Hong, D. H. Bae, and S.D. Cha. Test Cases Generation from UML State Diagram. IEEE Proceedings - Software, 146(4): 187-192, August 1999.
18. L. Liuying and Q. Zhichang. Test Selection from UML Statecharts. In Proc. of 31st Int. Conf. on Technology of Object-Oriented Language and System, China, 22-25 September 1999.
19. Eda Marchetti. Software Testing in the XXI Century: Methods, Tools and New Approaches to Manage, Control and Evaluate This Critical Phase. PhD thesis, University of Pisa, September 2003.
20. Henry Muccini, Patrizio Pelliccione, Antonio Bucchiarone, and Pierluigi Pierini. Software Architecture-driven System Testing through Model-Checking. Technical Report TRCS 035/2004, University of L'Aquila, 2004.
21. J. Offutt and A. Abdurazik. Generating Test from UML Specifications. In Proc. UML 99, Fort Collins, CO, October 1999.
22. T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6):676-686, June 1988.
23. Patrizio Pelliccione, Henry Muccini, Antonio Bucchiarone, and Fabrizio Facchini. Deriving Test Sequences from Model-based Specifications. Technical Report TRCS 002/2005, University of L'Aquila, 2005.
24. J. Ryser and M. Glinz. Using Dependency Charts to ImproveScenario-Based Testing, 2000.
25. J. Wittevrongel and F. Maurer. Using UML to Partially Automate Generation of Scenario-Based Test Drivers. In Springer, editor, OOIS 2001, 2001.