Sökning: onr:"swepub:oai:DiVA.org:hh-23496" >
Early Fault Detecti...
Early Fault Detection in DSLs using SMT Solving and Automated Debugging
-
- Keshishzadeh, Sarmen (författare)
- Eindhoven University of Technology, Eindhoven, The Netherlands
-
- Mooij, Arjan (författare)
- Embedded Systems Innovation by TNO, Eindhoven, The Netherlands
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Berlin : Springer Berlin/Heidelberg, 2013
- 2013
- Engelska.
-
Ingår i: Software Engineering and Formal Methods. - Berlin : Springer Berlin/Heidelberg. - 9783642405600 ; , s. 182-196
- Relaterad länk:
-
https://hh.diva-port... (primary) (Raw object)
-
visa fler...
-
http://hh.diva-porta...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In the context of Domain Specic Languages (DSLs), westudy ways to detect faults early in the software development cycle. Wepropose techniques that validate a wide range of properties, classiedinto basic and advanced. Basic validation includes syntax checking, reference checking and type checking. Advanced validation concerns domainspecic properties related to the semantics of the DSL. For verication,we mechanically translate the DSL instance and the advanced propertiesinto Satisability Modulo Theory (SMT) problems, and solve these problems using an SMT solver. For user feedback, we extend the vericationwith automated debugging, which pinpoints the causes of the violatedproperties and traces them back to the syntactic constructs of the DSL.We illustrate this integration of techniques using an industrial case oncollision prevention for medical imaging equipment. © 2013 Springer-Verlag.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Early Fault Detection
- Formal Verification
- Domain Specific Language (DSL)
- Satisfiability Module Theories (SMT)
- Automated Debugging
- Delta Debugging
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas