Less is more: A minimalistic approach to UML model-based conformance test generation

Proceedings of the 1st International Conference on Software Testing, Verification and Validation, ICST 2008

Volumn , Issue , 2008, Pages 82-91

  Kaplan, Matthew ^a   Klinger, Tim ^a   Paradkar, Amit M ^a   Sinha, Avik ^a   Williams, Clay ^a   Yilmaz, Cemal ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Fault models for UML; Invariants analysis; Test verification sequence; UML model based test generation; Use case based test generation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; INFORMATION MANAGEMENT; MARKUP LANGUAGES; THEOREM PROVING; UNIFIED MODELING LANGUAGE; VERIFICATION;

FAULT MODELS FOR UML; INVARIANTS ANALYSIS; TEST VERIFICATION SEQUENCE; UML MODEL-BASED TEST GENERATION; USE CASE BASED TEST GENERATION;

SOFTWARE TESTING;

EID: 50649110515     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2008.48     Document Type: Conference Paper

References (15)

1. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.
2. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. In FME'93, pages 268-284, 1993.
3. G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state machine coverage for softare testing. In Proc. ACM Int. Symp. on Software Testing and Analysis, pages 134-143, July 2002.
4. P. Fröhlich and J. Link. Automated test generation from dynamic models. In Proc. ECOOP 2000, LNCS 1850, pages 472-491. Springer-Verlag, 2000.
5. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. "Extracting a finite state machine from ASM specification". In Proc. Int. Symp. on Software Testing, and Analysis, pages 112-122, July 2002.
6. R. Hierons. Testing from a z specifications. J. Soft. Testing, Verification, and Reliability, 7(1):19-33, 1997.
7. R. Hierons, S. Sadeghipour, and H. Singh. Testing from a system specified using statecharts and z. J. Info. and Soft. Technology, 43(2):137-140, 2001.
8. A. Howe, A. von Mayrhauser, and R. T. Mraz. Test Case Generation as an AI Planning Problem. Automated Software Eng., 4:77-106, 1997.
9. cd: Object creation and destruction in a graphplan planner'. In AAAI 2007 Submitted, 2007.
10. B. Legeard, F. Peureux, and M. Utting. Generation of functional test sequences from b formal specifications - presentation and industrial case-study. In Proc. Conf. on Automated Software Engineering, pages 290-301, 2001.
11. A. M. Memon, M. E. Pollock, and M. L. Soffa. Using a Goal-driven Approach to Generate Test Cases for GUIs. In Proc. of the 21st Int. Conf. on Software Eng., pages 257-266. ACM Press, May 1999.
12. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann. Generating test data from state-based specifications. J. Software Testing, Verification and Reliability, 13:25-53, 2003.
13. A. M. Paradkar. "Plannable Test Selection Criteria for FSMs Extracted from Operational Specifications". In Proc. of Int. Symp. on Software Reliablity Eng.'2004, pages 173-184, Nov. 2004.
14. A. Petrenko, S. Boroday, and R. Groz. "Confirming Configurations in EFSM Testing". IEEE Trans. Software Eng., 30(1):29-42, Jan. 2004.
15. A. Pretschner, O. Slotosch, H. Lötzbeyer, E. Aiglstorfer, and S. Kriebel. Model based testing for real: the inhouse card case-study. In Proc. Int. Workshop on Formal Methods for Industrial Critical Systems, pages 79-94, 2001.