Constrained-Based Symbolic Execution on Virtual Models for Functional Coverage Verification

被引：0

作者：

Mohamed, Nahla Mohamed ^{[1
]}

Safar, Mona ^{[2
]}

Wahba, Ayman ^{[2
]}

Salem, Ashraf ^{[1
]}

机构：

[1] Mentor Graph Corp, Design Verificat Technol, Cairo, Egypt

[2] Ain Shams Univ, Fac Engn, Comp Engn & Syst Dept, Cairo, Egypt

来源：

2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES) | 2015年

关键词：

Virtual model; Symbolic execution; QEMU; KLEE;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

in this paper, we present a new approach for automatic test case generation with symbolic execution on virtual model. The test case generation is based on the concept of constrained-based and assertion-based techniques. We use the constrained-based technique in order to show preferences for the generated test cases and to obtain the desired goal of functional coverage. Basic idea of our technique is generating test cases from assertions. We used the assertion functions of the symbolic executor tool KLEE. With such setting, KLEE will carry out the virtual model through different paths in order to reach the assertion. Hence, the related test cases will validate the coverage of the assertion. To trigger the device to go through several states, we developed an additional method based on special functional coverage criteria. We present preliminary results on the test cases generation using a case study from ARM QEMU models. Our experimental results show that the proposed approach is efficient.

引用

页码：99 / 104

页数：6

共 49 条

[41] Extended abstract:: Polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems
Ugarte, I
Sánchez, P
Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design, Proceedings, 2005, : 257 - 258
[42] Functional vector generation for sequential HDL models under an observability-based code coverage metric
Fallah, F
Ashar, P
Devadas, S
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2002, 10 (06) : 919 - 923
[43] Full Coverage Location of Logic Resource Faults in A SOC Co-Verification Technology Based FPGA Functional Test Environment
Liao, Y. B.
Li, P.
Ruan, A. W.
Li, W.
Li, W. C.
2009 IEEE 8TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2009, : 1228 - 1231
[44] Standalone Functional Verification of Multicore Microprocessor Memory Subsystem Units Based on Application of Memory Subsystem Models
Stotland, Irina
Meshkov, Aleksey
Kutsevol, Vitaly
PROCEEDINGS OF 2015 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2015,
[45] Exploring the ability of machine learning-based virtual screening models to identify the functional groups responsible for binding
Thomas E. Hadfield
Jack Scantlebury
Charlotte M. Deane
Journal of Cheminformatics, 15
[46] Exploring the ability of machine learning-based virtual screening models to identify the functional groups responsible for binding
Hadfield, Thomas E.
Scantlebury, Jack
Deane, Charlotte M.
JOURNAL OF CHEMINFORMATICS, 2023, 15 (01)
[47] Functional Models of Ordinary Kriging for Medium Range Real-Time Kinematic Positioning Based on the Virtual Reference Station Technique
Al-Shaery, Ali
Lim, Samsung
Rizos, Chris
PROCEEDINGS OF THE 23RD INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS 2010), 2010, : 2513 - 2521
[48] Towards virtual modelling environments for functional-structural plant models based on Jupyter notebooks: application to the modelling of mango tree growth and development
Vaillant, Jan
Grechi, Isabelle
Normand, Frederic
Boudon, Frederic
IN SILICO PLANTS, 2022, 4 (01):
[49] Solvated Charge Transfer States of Functionalized Anthracene and Tetracyanoethylene Dimers: A Computational Study Based on a Range Separated Hybrid Functional and Charge Constrained Self-Consistent Field with Switching Gaussian Polarized Continuum Models
Zheng, Shaohui
Geva, Eitan
Dunietz, Barry D.
JOURNAL OF CHEMICAL THEORY AND COMPUTATION, 2013, 9 (02) : 1125 - 1131

← 1 2 3 4 5 →