A Formal Approach to Test Scenarios Generation Based on Guides

被引：2
|
作者：
Drobintsev, P. D. [1 ]
Kotlyarov, V. P. [1 ]
Letichevsky, A. A. [2 ]
机构：
[1] St Petersburg State Polytech Univ, St Petersburg, Russia
[2] Glushkov Inst Cybernet, Kiev, Ukraine
来源：
AUTOMATIC CONTROL AND COMPUTER SCIENCES | 2014年 / 48卷 / 07期
关键词：
symbolic verication; testing automation; concretization of test scenarios; predicative transformer;
D O I：
10.3103/S0146411614070062
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper provides an overview of a guide-based automated technology of test scenario generation which allows for a substantial increase of the quality of software being developed. To justify the creation of this technology, major problems of development and testing of large industrial systems are described along with a technique of verification of software compliance with the requirements. The tools capabilities in automated and semi-automated test suite generation from a formal model in UCM and means for verification and test automation are demonstrated.
引用
收藏
页码：415 / 423
页数：9
相关论文
共 5 条
  • [1] A Machine Learning Approach to Generate Test Oracles
    Braga, Ronyerison
    Neto, Pedro Santos
    Rabelo, Ricardo
    Santiago, Jose
    Souza, Matheus
    SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2018, : 142 - 151
  • [2] Automated Generation of Performance Test Cases from Functional Tests for Web Applications
    Toledo Rodriguez, Federo
    Reina, Matias
    Baptista, Fabian
    Polo Usaola, Macario
    Perez Lamancha, Beatriz
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, 2013, 417 : 164 - 173
  • [3] An Automated Approach for Acceptance Web Test Case Modeling and Executing
    Besson, Felipe M.
    Beder, Delano M.
    Chaim, Marcos L.
    AGILE PROCESSES IN SOFTWARE ENGINEERING AND EXTREME PROGRAMMING, 2010, 48 : 160 - 165
  • [4] Code-based CRUD analysis for prioritising test cases
    Takeda T.
    Masuda S.
    Matsuodani T.
    Yumoto T.
    Tsuda K.
    International Journal of Reliability and Safety, 2022, 15 (04) : 240 - 270
  • [5] Using attributed event grammar environment models for automated test generation and software risk assessment of system-of-systems
    Auguston, M
    Michael, JB
    Shing, MT
    Floodeen, DL
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 1870 - 1875
1