A test execution environment running abstract tests for distributed software

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 448-453

  Hartman, A ^a   Kirshin, A ^a   Nagin, K ^a  

^a UNIVERSITY OF HAIFA   (Israel)

Author keywords

Abstract test transformation and reuse; Concurrency testing; Distributed software testing; Input variation testing; Model based test generation and execution; Stress testing; Test execution environment

Indexed keywords

SOFTWARE ENGINEERING; SPECIFICATIONS;

DISTRIBUTED SOFTWARE; MODEL-BASED TEST GENERATION; STRESS TESTING; TEST EXECUTION; TEST TRANSFORMATION;

SOFTWARE TESTING;

EID: 84904214649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Abdurazik, A. and J. Offutt, J., Generating Tests from UML Specifications, Second International Conference on the Unified Modeling Language (UML99), 1999.
2. Mattern, B., "The AGEDIS Project", Quality Week Europe 2002, March 2002.
3. Apfelbaum, L. and Doyle, J., Model-based Testing, Proceedings of the 10th International Software Quality Week, QW97, May 1997.
4. Arlow, J. and Neustadt, I., UML and the Unified Process: Practical Object-Oriented Analysis and Design, December 2001
5. Carver, R. H., and Tai K.-C., Use of sequencing constraints for specification-based testing of concurrent programs. IEEE Transactions on Software Engineering, 24(June 1998), 471-490.
6. Chaar, J. K., Halliday, M. J., Bhandari I. S., and Chillarege, "In-Process Evaluation for Software Inspection and Test", IEEE transactions on Software Engineering 19, 1055-1069 (November 1993)
7. Clarke, J. M., Automated Test Generation From a Behavioral Model, Proceedings of the 11th International Software Quality Week, QW98, May 1998.
8. D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, The AETG System: An approach to Testing Based on Combinatorial Design. IEEE Transactions on Software Engineering, 23 (7) 437-444, (July 1997).
9. Dill, D., Murφ Description Language and Verifier, http://sprout.stanford.edu/dill/murphi.html.
10. Hartman, A., Farchi, E., and Pinter, S., Using modelbased test generator to test for standard conformance, IBM Systems Journal Vol. 41, No. 1, 2002.
11. Hartmann, J., Imoberdorf C., and Meisinger M., "UML-based Integration Testing" in Proceedings of ISSTA 2000.
12. Jard, C., Jeron, T., Jezequel, J., Le-Traon Y., Pickin, S. Test Synthesis from UML Models of Distributed Software.. IEEE Transactions on Software Engineering, 24(June 1998), 471-490.
13. Poston, R. M., Automated Testing From Object Models, Communications of the ACM, September 1994, 48-58.
14. TTCN-3. Draft new Recommendation ITU-T Z.140: The Tree and Tabular Combined Notation version 3 (Core Language), 2001.
15. Williams, C., Toward a Test-Ready Meta-Model For Use Cases, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists Workshop (co-located with UML 2001), July 27, 2001.