Research on building software usage model based on UML model

被引:3
|
作者
Li H. [1 ,2 ]
Zhao A. [1 ]
Zhang D. [3 ]
Zhang J. [1 ,2 ]
机构
[1] School of Computer and Information Technology, Beijing Jiaotong University, Beijing
[2] Research Center of Network Management Technology for High Speed Railway, Beijing Jiaotong University, Beijing
[3] National Research Center of Railway Safety Assessment, Beijing Jiaotong University, Beijing
关键词
Reliability test; Software reliability; Software test; Software usage model; UML;
D O I
10.1007/s13198-017-0619-3
中图分类号
学科分类号
摘要
Software usage model can be used as a guide when generate reliability test cases and it helps to evaluate the reliability of the software. Recent researches of deriving Markov Chain usage model from UML Model are mostly based on the UML sequence diagram and UML component diagram. But there are some problems with the existing methods: for some large software systems, there are many kinds of users who use the software in different ways, while a general usage model is not targeted and not suitable for all users. For this reason,this paper puts forward a new method to construct user-based software usage model. The method constructs usage model according to the UML activity diagram and UML use-case diagram, the model constructed by this method is user-based: the model describes, for every kind of users, the specific interacting process between the user and the system. What’s more, the model can be used to guide test cases generation. © 2017, The Society for Reliability Engineering, Quality and Operations Management (SREQOM), India and The Division of Operation and Maintenance, Lulea University of Technology, Sweden.
引用
收藏
页码:675 / 683
页数:8
相关论文
共 50 条
  • [41] A survey on UML model smells detection techniques for software refactoring
    Mumtaz, Haris
    Alshayeb, Mohammad
    Mahmood, Sajjad
    Niazi, Mahmood
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2019, 31 (03)
  • [42] Transformation of UML Behavioral Diagrams to Support Software Model Checking
    dos Santos, Luciana Brasil Rebelo
    de Santiago, Valdivino Alexandre Junior
    Vijaykumar, Nandamudi Lankalapalli
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 133 - 142
  • [43] Deriving queuing network model for UML for software performance prediction
    Youn, Hyunsang
    Jang, Suhyeon
    Lee, Eunseok
    SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 125 - +
  • [44] MoMuT::UML Model-based Mutation Testing for UML
    Aichernig, Bernhard
    Brandl, Harald
    Joebstl, Elisabeth
    Krenn, Willibald
    Schlick, Rupert
    Tiran, Stefan
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [45] Memory Usage Estimation for Dataflow-Model-Based Software Development Methodology
    Yoon, Kyonghwan
    Jeong, Eunjin
    Kang, Woosuk
    Ha, Soonhoi
    IEEE DESIGN & TEST, 2024, 41 (01) : 60 - 69
  • [46] Building Dynamic Model in UML using Colored Petri Nets
    Zhanhg Hong-xia
    Zhu Lian-zhang
    2009 INTERNATIONAL SYMPOSIUM ON COMPUTER NETWORK AND MULTIMEDIA TECHNOLOGY (CNMT 2009), VOLUMES 1 AND 2, 2009, : 805 - 808
  • [47] Research on UML-based green alignment selection decision making model
    Tao Ke
    Wu Xiao-Ping
    INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION, VOL 2, PROCEEDINGS, 2008, : 681 - 685
  • [48] Verification method of security model based on UML and model checking
    Cheng, Liang
    Zhang, Yang
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (04): : 699 - 708
  • [49] Software library usage pattern extraction using a software model checker
    Liu, Chang
    Ye, En
    Richardson, Debra J.
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 301 - 304
  • [50] Building SMT-Based Software Model Checkers: An Experience Report
    Armando, Alessandro
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2009, 5749 : 1 - 17