Testing techniques for a logic representation generator

Author

Chirila, Ciprian-Bogdan ; Jebelean, Calin ; Francz, Krisztina

Author_Institution

Politeh. Univ. of Timisoara, Timisoara, Romania

fYear

2009

fDate

27-29 Aug. 2009

Firstpage

207

Lastpage

210

Abstract

Logic based representation can be used for expressing programs and models driven by a grammar. Thus, model analysis and transformation written as declarative paradigm rules can be more expressive. Usually, logic representations are obtained by translators which must be tested as any other software artifacts. We present several testing techniques in the context of logic based representation.

Keywords

grammars; logic programming languages; program compilers; program diagnostics; program interpreters; program testing; declarative paradigm rule; grammar; logic representation generator; model analysis; model transformation; program testing; software artifact; Automatic logic units; Automatic testing; Data mining; Intrusion detection; Java; Logic programming; Logic testing; Object oriented modeling; Software testing; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Computer Communication and Processing, 2009. ICCP 2009. IEEE 5th International Conference on

Conference_Location

Cluj-Napoca

Print_ISBN

978-1-4244-5007-7

Type

conf

DOI

10.1109/ICCP.2009.5284758

Filename

5284758

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1836887