Deriving input partitions from UML models for automatic test generation

被引：0
作者：
Weissleder, Stephan
Schlingloff, Bernd-Holger
机构：
来源：
MODELS IN SOFTWARE ENGINEERING | 2008年 / 5002卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.
引用
收藏
页码：151 / 163
页数：13
相关论文
共 21 条
  • [1] [Anonymous], 1999, TESTING OBJECT ORIEN
  • [2] [Anonymous], UN MOD LANG UML VERS
  • [3] [Anonymous], LNCS
  • [4] Beizer B., 2003, Software Testing Techniques
  • [5] Bourhfir C, 1997, TESTING OF COMMUNICATING SYSTEMS, VOL 10, P75
  • [6] CHENG KT, 1993, ACM IEEE D, P86
  • [7] Hamie A, 1999, LECT NOTES COMPUT SC, V1618, P162
  • [8] HIERONS R, 2002, SOFTWARE TESTING VER
  • [9] KANSOMKEAT S, 2003, SAICSIT 03, P296
  • [10] Boundary coverage criteria for test generation from formal models
    Kosmatov, N
    Legeard, B
    [J]. 15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2004, : 139 - 150
123