Model generation based on formalized requirements

被引：2

作者：

Magnus, Stephan ^{[1
]}

Krause, Jan ^{[1
]}

Diedrich, Christian ^{[2
]}

机构：

[1] Inst Automat & Kommunikat eV, D-39106 Magdeburg, Germany

[2] Otto von Guericke Univ, Inst Automatisierungstech, D-39106 Magdeburg, Germany

来源：

AT-AUTOMATISIERUNGSTECHNIK | 2015年 / 63卷 / 02期

关键词：

Requirement formalization; model generation; requirements verification; test generation; test automation;

D O I：

10.1515/auto-2014-1138

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The use of models as basis for automated test case generation provides a significant benefit by simplifying the test creation and increasing the test coverage. Also the quality of the related product will be improved. In this paper a method for model syntheses is introduced. Formalized requirements are used to generate an specification model for the purpose of automatic test case generation. A verification of the model takes place within the model generation to detect inconsistencies and/or redundancies.

引用

页码：121 / 128

页数：8

共 50 条

[31] MODEL AND DATABASE REQUIREMENTS FOR GENERATION SYSTEM RESERVE EVALUATION
EDWIN, KW
GARCES, F
ETZ ARCHIV, 1984, 6 (01): : 17 - 23
[32] Automated Prototype Generation From Formal Requirements Model
Yang, Yilong
Li, Xiaoshan
Ke, Wei
Liu, Zhiming
IEEE TRANSACTIONS ON RELIABILITY, 2020, 69 (02) : 632 - 656
[33] Formalized model and analysis of mixed swarm based cooperative particle swarm optimization
Jie, Jing
Zhang, Jing
Zheng, Hui
Hou, Beiping
NEUROCOMPUTING, 2016, 174 : 542 - 552
[34] A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain
Penzenstadler, Birgit
Sikora, Ernst
Pohl, Klaus
REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2009, 5512 : 212 - +
[35] Clustering based aspect mining formalized
Moldovan, Grigoreta Sofia
Şerban, Gabriela
WSEAS Transactions on Computers, 2007, 6 (02): : 199 - 206
[36] Software requirements specification database based on requirements frame model
Ohnishi, A
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, 1996, : 221 - 228
[37] A formalized delegation model for multimedia social networks
Wang, Yulei
Yang, Jie
Qiu, Gang
Feng, Weining
MULTIMEDIA TOOLS AND APPLICATIONS, 2017, 76 (03) : 3279 - 3291
[38] SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements
Fifarek, Aaron W.
Wagner, Lucas G.
Hoffman, Jonathan A.
Rodes, Benjamin D.
Aiello, M. Anthony
Davis, Jennifer A.
NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 420 - 426
[39] Web Services Policy Generation Based on SLA Requirements
Alaeddine, Saadaoui
Scott, Stephen
2017 IEEE 3RD INTERNATIONAL CONFERENCE ON COLLABORATION AND INTERNET COMPUTING (CIC), 2017, : 146 - 154
[40] Rule-based generation of requirements traceability relations
Spanoudakis, G
Zisman, A
Pérez-Miñana, E
Krause, P
JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 72 (02) : 105 - 127

← 1 2 3 4 5 →