Jean Hartmann 755 College Road East Princeton NJ 08540...  Home/Search
Context Related
| www4.in.tum.de/publ/pa...meisinge00.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/publ/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their distributed, component-based applications. At the same time, it is necessary to test these components, especially during unit and integration testing. (Update)
Context of citations to this paper: More
...of the software process. In literature there are many studies about using UML for design, but only few regarding its usage for testing [1] [2], 4] We opportunely decided to base our test strategy on UML, so that its application can descend directly from the analysis of the...
.... several techniques are based on the generation of test cases from either formal specifications [10, 11, 36] or from UML diagrams [1, 17, 25]. Structural testing for object oriented software has not been widely investigated yet. Some work investigates mutation based...
Cited by: More
Automatic Conformance Testing of Web Services - Heckel, Mariani (Correct)
SeDiTeC - Testing Based on Sequence Diagrams - Fraikin, Leonhardt (2002) (Correct)
Interclass Testing of Object Oriented Software - Martena, Orso, Pezzè (2002) (Correct)
Active bibliography (related documents): More All
0.5: UML-Based Statistical Test Case Generation - Riebisch, Philippow, Götze (Correct)
0.3: A Predicate-Based Software Testing Strategy - Tai, Vouk, Paradkar, Lu (Correct)
0.3: Empirical Studies of Predicate-Based Software Testing - Vouk, Tai, Paradkar (1994) (Correct)
Similar documents based on text: More All
0.3: InvariantWebDefectDetectionandClassificationSystem - Dominikrohrmus.. (Correct)
0.3: Video Query Formulation - Ahanger (1995) (Correct)
0.3: Merging Visible and Invisible: Two Camera-Augmented Mobile.. - Bani-Hashemi (1999) (Correct)
Related documents from co-citation: More All
2: Object-oriented software construction (context) - Meyer - 1988
2: Generating tests from UML specifications - Offutt, Abdurazik - 1999
BibTeX entry: (Update)
Hartmann, J., Imoberdof, C., Meisenger, M., "UML-Based Integration Testing", in ISSTA 2000. http://citeseer.ist.psu.edu/638000.html More
@inproceedings{ hartmann00umlbased,
author = "Jean Hartmann and Claudio Imoberdorf and Michael Meisinger",
title = "{UML}-Based integration testing",
booktitle = "International Symposium on Software Testing and Analysis",
pages = "60-70",
year = "2000",
url = "citeseer.ist.psu.edu/638000.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1995
1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1994
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
372 The Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
237 Software Testing Techniques (context) - Boris - 1990
65 Beyond Object-Oriented Programming (context) - Clemens, Software - 1998
45 Automatic Generation of Test Scripts from Formal Test Specif.. (context) - Balcer, Hasling et al. - 1990
11 The Automatic Generation of Test Data (context) - Ince - 1987
11 Enterprise Java Beans Specification (context) - Matena, Hapner - 1999
4 An Approach for Testing Asynchronous Communicating Systems (context) - Kim, Shin et al. - 1999
3 Predicate-Based Test Generation for Computer Programs (context) - Tai - 1993
2 Generating Test Cases from UML Specifications (context) - Offutt, Abdurazik - 1999
1 Distributed Component Systems: The New Computing Model (context) - Max - 1999
1 A Computer System for Generating Test Data using the Domain .. (context) - White, Sahay - 1985
1 The Automatic Test Case Data Generator (context) - Poston - 1986
1 mit: An Algorithmic Procedure for Checking Safety Properties.. (context) - Sabnani, Lapone et al. - 1989
1 and Verification Techniques (context) - Sarikaya - 1988
1 One test case generation from asynchronously communicating s.. (context) - Henniger - 1997
1 Testing Refinements by Refining Tests - Derrick, Boiten - 1998
1 A Case Study in Statistical Testing of Reuseable Concurrent .. (context) - Waeselynck, Thevenod-Fosse - 1999
Documents on the same site (http://www4.in.tum.de/publ/papers/): More
The Amsterdam Manifesto on OCL - Cook, Kleppe, Mitchell, Rumpe.. (1999) (Correct)
Structured Specifications and Implementation of.. - Walicki, Broy (1995) (Correct)
Modeling Dynamic Component Interfaces - Huber, Rausch, Rumpe (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC