Using TTCN-3 for testing platform independent models

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 304-317

  Batori, Gabor ^a   Asztalos, Domonkos ^a  

^a ERICSSON RESEARCH   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; MARKUP LANGUAGES; SOFTWARE DESIGN; TESTING;

MODEL DRIVEN ARCHITECTURE (MDA); PLATFORM INDEPENDENT MODELS (PIM); TESTING PLATFORMS; UNIFIED MODELING LANGUAGES (UML); MODEL DRIVEN ARCHITECTURES; MODEL TRANSLATORS; PLATFORM INDEPENDENT; PLATFORM INDEPENDENT MODEL; SUPPORTING TOOL; TEST DEVELOPMENT; TEST PROCEDURES;

TELECOMMUNICATION NETWORKS; SOFTWARE ARCHITECTURE;

EID: 24944554832     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_21     Document Type: Conference Paper

References (17)

1. R. Soley: Model Driven Architecture: An Introduction, http://www.omg.org/mda.
2. ETSI ES 201 873-1: The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language. V2.2.1 (2003-02), 2003; also an ITU-T standard Z.140.
3. R.Heckel, M.Lohmann: Towards Model-Driven Testing, Electronic Notes in Theoretical Computer Science Vol.82 (6), 2003.
4. J. Hartman, C. Imoberdorf, M. Meisinger: UML-Based Integration Testing, ISSTA 2000.
5. J. Offut, A. Abdurazik: Generating Tests from UML Specification, UML99 Fort Collins (CO), October 1999.
6. L. C. Briand, Y. Labiche: A UML-Based Approach to System Testing, Journal of Software and Systems Modeling (SoSyM) Vol. 1 No. 1 2002 pp. 10-42.
7. I. Schieferdecker, Z. R. Dai, J. Grabowski, A. Rennoch: The UML 2.0 Testing Profile and its relation to TTCN-3, Testing of Communicating Systems - 15th IFIP International Conference, TestCom2003, Sophia Antipolis (F), May 2003. Lecture Notes in Computer Science (LNCS) 2644, Springer, May 2003.
8. UML Testing Profile (Final Submission), April 2004 http://www.fokus.gmd. de/u2tp/
9. Z. R. Dai, J. Grabowski, H. Neukirchen, H. Pals: From Design to Test with UML - Applied to a Roaming Algorithm for Bluetooth Devices. Testing of Communicating Systems - 16th IFIP International Conference, TestCom2004, Oxford, United Kingdom, March 2004. Lecture Notes in Computer Science (LNCS) 2978, Springer, March 2004.
10. I. Schieferdecker, G. Din: A Meta-model for TTCN-3, Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops, Toledo, Spain. Lecture Notes in Computer Science (LNCS) 3236, Springer, October 2004.
11. S. Shlaer, S. J. Mellor: Recursive Design of an Application-Independent Architecture, IEEE Software, pp. 61-72, January/February 1997.
12. I. Wilkie, A. King, M. Clarke, C Raistrick: UML ASL Reference Guide, Kennedy Carter, 2001.
13. Supporting Model Driven Architecture with eXecutable UML Kennedy Carter 2002.
14. I. Wilkie, A. King, M. Clarke, C Raistrick: The Intelligent OOA Strategy for Configurable Code Generation, Kennedy Carter, 1997.
15. S. Shlaer, N. Lang: Shlaer-Mellor Method: The OOA96 Report, http://www.projtech.com.
16. Model-level Testing/Debug RFP (Final Submission) April 2004 http://www.omg.org.
17. G. Eakman: Verification of Platform Independent Models, Workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES-MDA), San Francisco, October 2003.