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 条

[41] Scenario based requirements generation tools for organisational design
Eason, K
Harker, S
HUMAN-COMPUTER INTERACTION - INTERACT '97, 1997, : 680 - 681
[42] Agent Based Multiviews Requirements Model
LIANG Zhengping
Wuhan University Journal of Natural Sciences, 2006, (02) : 346 - 350
[43] Conceptual model generation from requirements model: A natural language processing approach
Montes, Azucena
Pacheco, Hasdai
Estrada, Hugo
Pastor, Oscar
NATURAL LANGUAGE AND INFORMATION SYSTEMS, PROCEEDINGS, 2008, 5039 : 325 - +
[44] A Requirements Analysis Model Based on QFD
Nelson K.H. Tang
Journal of Electronic Science and Technology, 2004, (04) : 87 - 92
[45] Agent based multiviews requirements model
School of Computer, Wuhan University, Wuhan 430072, China
Wuhan Univ J Nat Sci, 2006, 2 (346-350):
[46] Business Process Model Driven Automatic Software Requirements Generation
Turkman, Salam
Taweel, Adel
BUSINESS MODELING AND SOFTWARE DESIGN, BMSD 2019, 2019, 356 : 270 - 278
[47] Model Generation with LLMs: From Requirements to UML Sequence Diagrams
Ferrari, Alessio
Abualhaija, Sallam
Arora, Chetan
32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 291 - 300
[48] Model for impact of storage on spinning reserve requirements and distributed generation
Habibi, MS
PROCEEDINGS OF THE 33RD SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2001, : 161 - 165
[49] A formalized delegation model for multimedia social networks
Yulei Wang
Jie Yang
Gang Qiu
Weining Feng
Multimedia Tools and Applications, 2017, 76 : 3279 - 3291
[50] CTL formalized specification templates in model checking
Chen, Z. (chenzhiyuan@hrbeu.edu.cn), 1600, Editorial Board of Journal of Harbin Engineering (34):

← 1 2 3 4 5 →