A UML-based environment for software testing and verification

被引：0
|
作者：
Dong, W [1 ]
Wang, J [1 ]
Li, LY [1 ]
Li, SH [1 ]
Chen, HY [1 ]
机构：
[1] Natl Univ Def Technol, Dept Comp Sci, Changsha 410073, Hunan, Peoples R China
来源：
COMPUTER SCIENCE AND TECHNOLOGY IN NEW CENTURY | 2001年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
It is important to find the errors and evaluate the quality of software in the design stage. This paper studies the methods and the corresponding environment of testing and verifying UML models from multi-viewpoint. It can automatically generate test cases for criterion model of UML state machine, and visually execute test cases for implemented model. The UML models can also be dynamically simulated to intuitively reflect the design. The CTL properties of UML state machine can be verified combined with the model checker SMV. The environment also can intelligently guide users to define operational profile and collect failure data in testing UML models, select the reliability models and combinatorial models, and estimate the reliability of design specification. This environment has been used in practice partly.
引用
收藏
页码：76 / 81
页数：4
相关论文
共 50 条
  • [21] A UML-based MetaModel for Software Evolution Process
    Jiang Zuo
    Zhou Wei-Hong
    Fu Zhi-Tao
    Xiong Shun-Qing
    [J]. 6TH INTERNATIONAL CONFERENCE ON DIGITAL IMAGE PROCESSING (ICDIP 2014), 2014, 9159
  • [22] USE:: A UML-based specification environment for validating UML and OCL
    Gogolla, Martin
    Buettner, Fabian
    Richters, Mark
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2007, 69 (1-3) : 27 - 34
  • [23] Modeling resources in a UML-based simulative environment
    Ammar, HH
    Cortellessa, V
    Ibrahim, A
    [J]. ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 405 - 410
  • [24] A UML-based approach for testing web applications
    Nilawar, M
    Dascalu, S
    [J]. COMPUTERS AND THEIR APPLICATIONS, 2004, : 334 - 339
  • [25] A UML-based design environment for interactive applications
    da Silva, PP
    Paton, NW
    [J]. SECOND INTERNATIONAL WORKSHOP ON USER INTERFACES TO DATA INTENSIVE SYSTEMS, PROCEEDINGS, 2001, : 60 - 71
  • [26] A UML-Based Approach to Testing Web Apptications
    Li, Liping
    Miao, Huaikou
    Qian, Zhongsheng
    [J]. ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 397 - 401
  • [27] An UML-based approach for validation of software architecture descriptions
    Kacem, Mohamed Hadj
    Jmaiel, Iohamed
    Kacem, Ahmed Hadj
    Drira, Khalil
    [J]. TRENDS IN ENTERPRISE APPLICATION ARCHITECTURE, 2007, 4473 : 158 - +
  • [28] Managing model quality in UML-based software development
    Lange, Christian F. J.
    Chaudron, Michel R. V.
    [J]. 13TH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS, 2006, : 7 - +
  • [29] ANALYSIS OF UML-BASED SOFTWARE DESIGN FOR DEVELOPMENT AND APPLICATION
    Chu, Mei
    Shi, Hongyan
    Jia, Li
    [J]. 2011 INTERNATIONAL CONFERENCE ON MECHANICAL ENGINEERING AND TECHNOLOGY (ICMET 2011), 2011, : 575 - 577
  • [30] Comprehensibility of UML-based software product line specifications
    Reinhartz-Berger, Iris
    Sturm, Arnon
    [J]. EMPIRICAL SOFTWARE ENGINEERING, 2014, 19 (03) : 678 - 713
12345