Integrating Component Tests to System Tests

Electronic Notes in Theoretical Computer Science

Volumn 260, Issue , 2010, Pages 225-241

  Schätz, Bernhard ^a   Pfaller, Christian ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

component; generation; integration; model checking; system; Test case; WS1S

Indexed keywords

BLACK BOXES; COMPONENT BEHAVIOR; COMPONENT GENERATION; COMPONENT NETWORKS; COMPONENT-ORIENTED APPROACH; DEVELOPMENT PLATFORM; IMPLEMENTATION PLATFORMS; INTEGRATION MODELS; MODEL CHECKER; SYSTEM DEVELOPMENT; SYSTEM TEST; TEST CASE;

INTEGRATION; MODEL CHECKING; SEMICONDUCTOR QUANTUM DOTS;

TESTING;

EID: 72649092218     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.12.040     Document Type: Article

References (12)

1. Ammann, P., P. Black and W. Majurski, Using model checking to generate tests from specifications, Formal Engineering Methods, 1998. Proceedings. Second International Conference on (1998), pp. 46-54
2. Callahan, J., F. Schneider and S. Easterbrook, Automated software testing using modelchecking, in: Proceedings 1996 SPIN Workshop, 1996, also WVU Technical Report #NASA-IVV-96-022
3. Delamaro M., Maidonado J., and Mathur A. Interface mutation: an approach for integration testing, Software Engineering. IEEE Transactions on 27 (2001) 228-247
4. Hamon, G., L. de Moura and J. Rushby, Generating efficient test sets with a model checker, in: Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on, 2004, pp. 261-270
5. Harrold M., and Soffa M. Selecting and using data for integration testing. Software, IEEE 8 (1991) 58-65
6. Jaffar-ur Rehman, M., F. Jabeen, A. Bertolino and A. Polini, Software component integration testing: A survey, Technical Report 2005-TR-41, Consiglio Nazionale delle Ricerche, Istituto di Scienza e Technologie dell'Informazione "Alessandro Faedo" (ISTI), Pisa, Italy (2005)
7. Jin, Z. and A. Offutt, Integration testing based on software couplings, Computer Assurance, 1995. COMPASS '95. 'Systems Integrity, Software Safety and Process Security'. Proceedings of the Tenth Annual Conference on (1995), pp. 13-23
8. Klarlund, N. and A. Møller, "MONA Version 1.4 User Manual," BRICS, Department of Computer Science, University of Aarhus (2001)
9. Pretschner, A. and H. Lötzbeyer, Model Based Testing with Constraint Logic Programming: First Results and Challenges, in: Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (WAPATV'01), Toronto, 2001
10. Rayadurgam, S. and M. Heimdahl, Coverage based test-case generation using model checkers, in: Engineering of Computer Based Systems, 2001. ECBS 2001. Proceedings. Eighth Annual IEEE International Conference and Workshop on the, 2001, pp. 83-91
11. Schätz, B., Modular Functional Descriptions, in: Proceedings 4th International Workshop on Formal Aspects fo Component Software (FACS'07), Nice, 2007, to appear in ENTCS
12. Schätz, B. and F. Huber, Integrating formal description techniques, in: J. M. Wing, J. Woodcock and J. Davies, editors, FM'99 (1999), lNCS 1709