NDLI: EFSM-based model-driven approach to concolic testing of system-level design

Please wait, while we are loading the content...

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi

Rigorous system level modeling and analysis of mixed HW/SW systems

Polychronous controller synthesis from MARTE CCSL timing specifications

Controller synthesis for pipelined circuits using uninterpreted functions

Mining assumptions for synthesis

Formal modelling and transformations of processor instruction sets

Verification of microarchitectural refinements in rule-based systems

MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator

Fast scalable FPGA-based Network-on-Chip simulation models

GPU-based NoC simulator

A flexible formal verification framework for industrial scale validation

Predictive analysis for detecting serializability violations through Trace Segmentation

SMT based false causal loop detection during code synthesis from Polychronous specifications

Efficient deadlock detection for concurrent systems

Function interface models for hardware compilation

Modern constraint solving by propagation

A case study of hardware software co-design in a consumer ASIC

Reachability analysis for incomplete networks of Markov decision processes

Transforming SystemC Transaction Level Models into UPPAAL timed automata

Modeling of time in discrete-event simulation of systems-on-chip

Parallel assertions for debugging parallel programs

Automatic generation of assertions from system level design using data mining

EFSM-based model-driven approach to concolic testing of system-level design

Content Provider	ACM Digital Library
Author	Di Guglielmo, Giuseppe Fujita, Masahiro Pravadelli, Graziano Fummi, Franco Soffia, Stefano
Abstract	State-of-the-art approaches for testing of system-level design of embedded systems generally work at source-code level, thus they require an implementation of the system to be tested. For this reason, they cannot be applied in the context of model-driven design, where code is available only at end of the design process. Moreover, traditional approaches based on combined concrete and symbolic execution (concolic) suffer two main drawbacks: they are limited in width and depth of the search and not corner-cases oriented. To address such limitations, this paper presents a concolic testing approach for model-driven design of embedded systems. It explores a model of the system, i.e., the extended finite state machine (EFSM), and it relies on weight-oriented analysis of the EFSM paths to achieve high controllability of EFSM transitions, by interleaving longrange concrete approach with symbolic multi-level backjumping strategy. The experimental evaluation on several case studies demonstrates the competitiveness of the proposed approach, which achieves higher transition and instruction coverage than other approaches in significantly reduced time.
Starting Page	201
Ending Page	209
Page Count	9
File Format	PDF
ISBN	9781457701184
DOI	10.1109/MEMCOD.2011.5970527
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-07-01
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

EFSM-based model-driven approach to concolic testing of system-level design

Efsm manipulation to increase high-level atpg effectiveness.

A model-based approach for testing the performance of web applications

Transit: specifying protocols with concolic snippets ∗.

A Use Case Driven Approach for System Level Testing

Dependence analysis in reduction of requirement based test suites

Dependence analysis in reduction of requirement based test suites

A Model-Based Approach for Robustness Test Generation

From Requirements to Design: Model-driven Transformation or Mapping?

EFSM-based model-driven approach to concolic testing of system-level design

Similar Documents

EFSM-based model-driven approach to concolic testing of system-level design

Efsm manipulation to increase high-level atpg effectiveness.

A model-based approach for testing the performance of web applications

Transit: specifying protocols with concolic snippets ∗.

A Use Case Driven Approach for System Level Testing

Dependence analysis in reduction of requirement based test suites

Dependence analysis in reduction of requirement based test suites

A Model-Based Approach for Robustness Test Generation

From Requirements to Design: Model-driven Transformation or Mapping?

EFSM-based model-driven approach to concolic testing of system-level design