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 条

[1] A UML-based methodology for software component testing
Zheng, Weiqun
Bundell, Gary
[J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 1177 - +
[2] UML-based regression testing for OO software
Mansour, Nashat
Takkoush, Husam
Nehme, Ali
[J]. JOURNAL OF SOFTWARE MAINTENANCE AND EVOLUTION-RESEARCH AND PRACTICE, 2011, 23 (01): : 51 - 68
[3] Test by Contract for UML-Based Software Component Testing
Zheng, Weiqun
Bundell, Gary
[J]. CSA 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND ITS APPLICATIONS, PROCEEDINGS, 2008, : 377 - 382
[4] UML-based integration testing for component-based software
Wu, Y
Chen, MH
Offutt, J
[J]. COTS-BASED SOFTWARE SYSTEMS, PROCEEDINGS, 2003, 2580 : 251 - 260
[5] FMEA for UML-based Software
Wang Wentao
Zhang Hong
[J]. 2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 3, PROCEEDINGS, 2009, : 456 - 460
[6] SMartyModeling: an Environment for Engineering UML-based Software Product Lines
da Silva, Leandro Flores
Oliveira, Edson, Jr.
[J]. PROCEEDINGS OF 15TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, VAMOS 2021, 2021,
[7] UML-based Fault Injection for Software Model Testing (FISMT)
Mendizabal-Samper, J.
Salterain, A.
Urcelayeta, S.
Blanco, J. M.
Galarza, A.
[J]. RELIABILITY, RISK AND SAFETY: THEORY AND APPLICATIONS VOLS 1-3, 2010, : 2021 - 2025
[8] Model-based software component testing: A UML-based approach
Zheng, Weiqun
Bundell, Gary
[J]. 6TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, PROCEEDINGS, 2007, : 891 - +
[9] UML-based Radar Software Design
Feng Juntao
[J]. 2018 5TH INTERNATIONAL CONFERENCE ON ELECTRICAL & ELECTRONICS ENGINEERING AND COMPUTER SCIENCE (ICEEECS 2018), 2018, : 414 - 417
[10] UML-Based Modeling of Robustness Testing
Moraes, Regina
Waeselynck, Helene
Guiochet, Jeremie
[J]. 2014 IEEE 15TH INTERNATIONAL SYMPOSIUM ON HIGH-ASSURANCE SYSTEMS ENGINEERING (HASE), 2014, : 168 - 175

← 1 2 3 4 5 →