Automated Transition from Use Cases to UML State Machines to Support State-Based Testing

被引:0
|
作者
Yue, Tao [1 ]
Ali, Shaukat [1 ]
Briand, Lionel [1 ]
机构
[1] Simula Res Lab, N-1325 Lysaker, Norway
来源
关键词
Use Case Modeling; UML; State Machine; Model-Based Testing (MBT); State-based Testing; Transformation; Natural Language Processing;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Use cases are commonly used to structure and document requirements while UML state machine diagrams often describe the behavior of a system and serve as a basis to automate test case generation in many model-based testing (MBT) tools. Therefore, automated support for the transition from use cases to state machines would provide significant, practical help for testing system requirements. Additionally, traceability could be established through automated transformations, which could then be used for instance to link requirements to design decisions and test cases, and assess the impact of requirements changes. In this paper, we propose an approach to automatically generate state machine diagrams from use cases while establishing traceability links. Our approach is implemented in a tool, which we used to perform three case studies, including an industrial case study. The results show that high quality state machine diagrams can be generated, which can be manually refined at reasonable cost to support MBT. Automatically generated state machines showed to largely conform to the actual system behavior as evaluated by a domain expert.
引用
收藏
页码:115 / 131
页数:17
相关论文
共 50 条
  • [1] A state-based approach to integration testing based on UML models
    Ali, Shaukat
    Briand, Lionel C.
    Rehman, Muhammad Jaffar-ur
    Asghar, Hajra
    Iqbal, Muhammad Zohaib Z.
    Nadeem, Aamer
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2007, 49 (11-12) : 1087 - 1106
  • [2] Comparing the state-based and behavioural approaches to checking consistency between associations and state machines in UML
    Yeung, WL
    [J]. INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 233 - 238
  • [3] STATE-BASED COMPOSITION IN UML 2
    Barbier, Franck
    Aretxandieta, Xabier
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (08) : 987 - 1011
  • [4] Conformance Testing Based on UML State Machines Automated Test Case Generation, Execution and Evaluation
    Seifert, Dirk
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 45 - 65
  • [5] State-based testing is functional testing!
    Ipate, Florentin
    Lefticaru, Raluca
    [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 55 - +
  • [6] Formalizing UML State Machines for Automated Verification - A Survey
    Andre, Etienne
    Liu, Shuang
    Liu, Yang
    Choppy, Christine
    Sun, Jun
    Dong, Jin Song
    [J]. ACM COMPUTING SURVEYS, 2023, 55 (13S)
  • [7] GUI state-based accessibility control in hierarchical state machines
    Ni, MT
    Reichenbach, SE
    [J]. SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, : 239 - 245
  • [8] State-based Maintenance of Mobile Work Machines
    Thomas Lebendt
    Robert Mollik
    Ingo Friedrich
    Sebastian Elegti
    [J]. ATZoffhighway worldwide, 2018, 11 (4): : 48 - 53
  • [9] Automated generation of statistical test cases from UML state diagrams
    Chevalley, P
    Thévenod-Fosse, P
    [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 205 - 214
  • [10] Evolutionary testing of state-based programs
    McMinn, Phil
    Holcombe, Mike
    [J]. GECCO 2005: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOLS 1 AND 2, 2005, : 1013 - 1020