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 条
  • [1] Towards a Formalized Ontology-Based Requirements Model
    蒋丹东
    张申生
    王英林
    Journal of Shanghai Jiaotong University(Science), 2005, (01) : 34 - 39
  • [2] Security Requirements Formalized with OCL in a Model-Driven Approach
    Borek, Marian
    Moebius, Nina
    Stenzel, Kurt
    Reif, Wolfgang
    2013 3RD INTERNATIONAL WORKSHOP ON MODEL-DRIVEN REQUIREMENTS ENGINEERING (MODRE), 2013, : 65 - 73
  • [3] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [4] Gathering Formalized Information Requirements of a Data Warehouse
    Kozmina, Natalija
    Niedrite, Laila
    Zemnickis, Janis
    ICEIS: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 1, 2017, : 217 - 224
  • [5] The construction of quantum network model based on formalized theory
    Xiong, Si-Yu
    Bai, Ming-Qiang
    Mo, Zhi-Wen
    PHYSICA SCRIPTA, 2024, 99 (04)
  • [6] Formalized organization model based on seal-calculus
    Institute of Software, Chinese Acad. of Sci., Beijing 100084, China
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2008, 20 (06): : 1455 - 1458
  • [7] A formalized model of the Trace
    Jaquet-Chiffelle, David-Olivier
    Casey, Eoghan
    FORENSIC SCIENCE INTERNATIONAL, 2021, 327
  • [8] Formalized entity extraction methodology for changeable business requirements
    Kim, Namgyu
    Lee, Sangwon
    Moon, Songchun
    JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2008, 24 (03) : 649 - 671
  • [9] Formalized Heuristic for Generation an Explanatory Typology
    Mikheyenkova, M.A.
    Automatic Documentation and Mathematical Linguistics, 2024, 58 (05) : 291 - 298
  • [10] Waterfall and Agile Requirements-based Model for Automated Test Cases Generation
    Elghondakly, Roaa
    Moussa, Sherin
    Badr, Nagwa
    2015 IEEE SEVENTH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING AND INFORMATION SYSTEMS (ICICIS), 2015, : 607 - 612
12345