Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow

被引：0
|
作者：
Holleis, Edgar J. [1 ]
机构：
[1] Zuhlke Engn Austria GmbH, Vienna, Austria
来源：
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) | 2015年
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Concrete Symbolic Testing ("Concolic Testing") is well established in scientific literature, but not yet widely used in industry practice. This work presents a practical approach of integrating concolic testing tools into an industrial embedded software development workflow. The practical example of a microcontroller storage subsystem serves as means to illustrate benefits and challenges.
引用
收藏
页数：2
相关论文
共 50 条
  • [1] SymTest : A Framework for Symbolic Testing of Embedded Software
    Chakrabarti, Sujit
    Ramesh, S.
    PROCEEDINGS OF THE 9TH INDIA SOFTWARE ENGINEERING CONFERENCE, 2016, : 48 - 58
  • [2] Handling Backtracking for Symbolic Testing of Embedded Software
    Suresh, Varsha P.
    Chakrabarti, Sujit Kumar
    Jetley, Raoul
    Mohan, Devina
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 1445 - 1448
  • [3] Integrating model checking and model based testing for industrial software development
    Villani, Emilia
    Pontes, Rodrigo Pastl
    Coracini, Guilherme Kisselofl
    Ambrosio, Ana Maria
    COMPUTERS IN INDUSTRY, 2019, 104 : 88 - 102
  • [4] Integrating and industrial practicum into a graduate embedded software engineering program
    Frezza, Stephen T.
    Hazen, Samuel L.
    Proceedings - Frontiers in Education Conference, 1999, 1 : 7 - 21
  • [5] Module testing embedded software - an industrial pilot project
    McDonald, J
    Murray, L
    Lindsay, P
    Strooper, P
    SEVENTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2001, : 233 - 238
  • [6] Study of Integrating Random and Symbolic Testing for Object-Oriented Software
    Dimjasevic, Marko
    Howar, Falk
    Luckow, Kasper
    Rakamari, Zvonimir
    INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 89 - 109
  • [7] Research on Course of Integrating Android Development and Embedded Software
    Chen, Qiang
    Wu, Jia-Jia
    3RD INTERNATIONAL CONFERENCE ON EDUCATION AND SOCIAL DEVELOPMENT (ICESD 2017), 2017, 129 : 1165 - 1168
  • [8] Integrating software engineering technologies for embedded systems development
    van Solingen, R
    PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, 2002, 2559 : 466 - 474
  • [9] Integrating Testing into Agile Software Development Processes
    van den Broek, R.
    Bonsangue, M. M.
    Chaudron, M.
    van Merode, H.
    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 561 - 569
  • [10] Development of Software Interface for Testing of Embedded System
    Karmore, Swapnili P.
    Mahajan, Anjali R.
    Jarbias, Goldi C.
    2013 15TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING TECHNOLOGIES (ICACT), 2013,
12345