scholarly journals Specification-Based Testing Via Domain Specific Language

2014 ◽  
Vol 22 (341) ◽  
pp. 23-28 ◽  
Author(s):  
Michal Sroka ◽  
Roman Nagy ◽  
Dominik Fisch
Keyword(s):  
Software Testing ◽  
Embedded Software ◽  
Domain Specific Language ◽  
Test Cases ◽  
Process Automation ◽  
Specific Test ◽  
Specific Language ◽  
Meta Model ◽  
Domain Specific

Abstract The article presents tCF (testCaseFramework) - a domain specific language with corresponding toolchain for specification-based software testing of embedded software. tCF is designed for efficient preparation of maintainable and intelligible test cases and for testing process automation, as it allows to generate platform specific test cases for various testing levels. The article describes the essential parts of the tCF meta-model and the applied concept of platform specific test cases generators.

scholarly journals A domain-specific language for defining static structure of database applications

2010 ◽  
Vol 7 (3) ◽  
pp. 409-440 ◽  
Author(s):  
Igor Dejanovic ◽  
Gordana Milosavljevic ◽  
Branko Perisic ◽  
Maja Tumbas
Keyword(s):  
Source Code ◽  
Domain Specific Language ◽  
Static Structure ◽  
Code Generator ◽  
Specific Language ◽  
Meta Model ◽  
Model Driven ◽  
Domain Specific ◽  
Definition Of ◽  
Execution Semantics

In this paper we present DOMMLite - an extensible domain specific language (DSL) for static structure definition of data base oriented applications. The model-driven engineering (MDE) approach, an emerging software development paradigm, has been used. The language structure is defined by the means of a meta model supplemented by validation rules based on Check language and extensions based on Extend language, which are parts of the openArchitectureWare framework [1]. The meta model has been defined along with the textual syntax, which enables creation, update and persistence of DOMMLite models using a common text editor. DSL execution semantics has been defined by the specification and implementation of the source code generator for a target platform with an already defined execution semantics. In order to enable model editing, a textual Eclipse editor has also been developed. DSL, defined in this way, has the capability of generating complete source code for GUI forms with CRUDS (Create-Read-Update-Delete-Search) and navigation operations [2,3,4,5].

scholarly journals A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution

2020 ◽  
Vol 11 (1) ◽  
pp. 107-115
Author(s):  
Endre Fülöp ◽  
Norbert Pataki
Keyword(s):  
Static Analysis ◽  
Symbolic Execution ◽  
Domain Specific Language ◽  
Finite State Automaton ◽  
Test Cases ◽  
Specific Language ◽  
Software Complexity ◽  
Domain Specific ◽  
Execution Engine ◽  
Finite State

AbstractStatic analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing. Moreover, static analysis can help in software engineering comprehensively, since static analysis can be used for the validation of code conventions, for measuring software complexity and for executing code refactorings as well. Symbolic execution is a static analysis method where the variables (e.g. input data) are interpreted with symbolic values. Clang Static Analyzer is a powerful symbolic execution engine based on the Clang compiler infrastructure that can be used with C, C++ and Objective-C. Validation of resources’ usage (e.g. files, memory) requires finite state automata (FSA) for modeling the state of resource (e.g. locked or acquired resource). In this paper, we argue for an approach in which automata are in-use during symbolic execution. The generic automaton can be customized for different resources. We present our domain-specific language to define automata in terms of syntactic and semantic rules. We have developed a tool for this approach which parses the automaton and generates Clang Static Analyzer checker that can be used in the symbolic execution engine. We show an example automaton in our domain-specific language and the usage of generated checker.

scholarly journals A MOF based meta-model and a concrete DSL syntax of IIS*Case PIM concepts

2012 ◽  
Vol 9 (3) ◽  
pp. 1075-1103 ◽  
Author(s):  
Milan Celikovic ◽  
Ivan Lukovic ◽  
Slavica Aleksic ◽  
Vladimir Ivancevic
Keyword(s):  
Software Tool ◽  
Domain Specific Language ◽  
Specific Language ◽  
Meta Model ◽  
Model Driven ◽  
Domain Specific ◽  
Software Documentation ◽  
Concrete Syntax ◽  
Meta Object Facility ◽  
Is Design

In this paper, we present a platform independent model (PIM) of IIS*Case tool for information system (IS) design. IIS*Case is a model driven software tool that provides generation of executable application prototypes. The concepts are described by Meta Object Facility (MOF) specification, one of the commonly used approaches for describing meta-models. One of the main reasons for having IIS*Case PIM concepts specified through the meta-model, is to provide software documentation in a formal way, as well as a domain analysis purposed at creation a domain specific language to support IS design. Using the PIM meta-model, we can generate test cases that may assist in software tool verification. The meta-model may be also a good base for the process of the concrete syntax generation for some domain specific language.

Modeling the REA Enterprise Ontology with a Domain Specific Language

2012 ◽  
Vol 9 (1) ◽  
pp. 47-70 ◽  
Author(s):  
Tod A. Sedbrook
Keyword(s):  
Code Generation ◽  
Business Models ◽  
Business Case ◽  
Data Availability ◽  
Domain Specific Language ◽  
Modeling Tools ◽  
Specific Language ◽  
Meta Model ◽  
Domain Specific ◽  
Enterprise Ontology

ABSTRACT Developing a domain specific language (DSL) to express business policies requires modeling tools for eliciting, applying, and maintaining the knowledge of business experts. This study defines a DSL meta-model and prototype to create visual business models that conform to the Resource, Event, Agent-Enterprise Ontology (REA-EO). The meta-model specifies REA-EO modeling components, and the prototype provides a visual interface to design operational and policy-level models. Code-generation templates then transform design models into executable code that supports business applications. The study describes the capabilities of the prototype and validates its use in the context of a business case. Data Availability: The paper's software modeling prototype and its companion code-generation templates are available for research purposes as open-source Visual Studio extensions and are available by contacting the author.

Domain-Specific Language Abstractions for Compression

2021 ◽  
Author(s):  
Jessica Ray ◽  
Ajav Brahmakshatriya ◽  
Richard Wang ◽  
Shoaib Kamil ◽  
Albert Reuther ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

Proxemic Environments Modelling based on a Graphical Domain-Specific Language

2020 ◽  
Author(s):  
Paulo Perez ◽  
Philippe Roose ◽  
Yudith Cardinale ◽  
Marc Dalmau ◽  
Dominique Masson ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific
Sign in / Sign up

Export Citation Format

Share Document