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 条
  • [21] An initial industrial evaluation of interactive search-based testing for embedded software
    Marculescu, Bogdan
    Feldt, Robert
    Torkar, Richard
    Poulding, Simon
    APPLIED SOFT COMPUTING, 2015, 29 : 26 - 39
  • [22] Efficient symbolic execution for software testing
    Kinder, Johannes
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 5 - 5
  • [23] Software development as a workflow process
    Chan, DKC
    Leung, KRPH
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 282 - 291
  • [24] Systems-on-chip needs for embedded software development: An industrial perspective
    Magarshack, P
    ACM SIGPLAN NOTICES, 2002, 37 (07) : 1 - 1
  • [25] Testing medical embedded software
    Havlice, Zdenek
    Vizi, Juraj
    Szaboova, Veronika
    2014 IEEE 12TH INTERNATIONAL SYMPOSIUM ON APPLIED MACHINE INTELLIGENCE AND INFORMATICS (SAMI), 2014, : 99 - 102
  • [26] Testing of an embedded control software
    Wan, L.
    Gong, Y.Z.
    Jisuanji Gongcheng/Computer Engineering, 2001, 27 (03):
  • [27] Early testing of embedded software
    Vergano, M
    INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 1999, 195 : 170 - 181
  • [28] Improving embedded software testing
    Kull, A
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL I, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS, 2004, : 270 - 274
  • [29] Testing for Dependable Embedded Software
    Saglietti, Francesca
    36TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2010, : 409 - 416
  • [30] Software BIT Design and Testing for Embedded Software
    Wang, Yichen
    Zhou, Zhenzhen
    PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 703 - 707
12345