Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/11290
Nаziv: | Resolution method for one passage symbolic testing of ramified program structures | Аutоri: | Markoski, Branko Ivankovic Z. Ivkovic M. Radosav, Dragica Berkovic I. |
Dаtum izdаvаnjа: | 1-дец-2010 | Čаsоpis: | 11th IEEE International Symposium on Computational Intelligence and Informatics, CINTI 2010 - Proceedings | Sažetak: | One of oldest and best-known methods used in constructive testing of smaller programs is the symbolic program execution. It is partly similar to method of simulation of computer function, but differs in aim. One of ways to prove whether given program is written correctly is to execute it symbolically. Aim of this paper is to test ramified program structure using single symbolic set of inputs, in one passage through resolution procedure, by obtaining all possible outputs from program tested. Ramified program may be translated into declarative shape, i.e. into a clause sequence, and this translation may be automated. Method comprises of transformation part and resolution part. In transformation part models for translation of ramified structures into a declarative shapes of clause sequence were described, as well as program implementation of these transformations for Pascal programs. Obtained clause sequence is the input in resolution part in BASELOG system. Single-passage of a procedure is justified, based on OL-resolution with marked literals, which within BASELOG system gives all possible outputs in symbolic form, together with paths leading to them. Illustrative examples are given, being realized in prolog-like LP-language, with no restrictions to Horn's clauses and without final failure. It is shown how the Pascal-program is being executed into proffer of LP-system. ©2010 IEEE. | URI: | https://open.uns.ac.rs/handle/123456789/11290 | ISBN: | 9781424492800 | DOI: | 10.1109/CINTI.2010.5672238 |
Nаlаzi sе u kоlеkciјаmа: | TFZR Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
Prеglеd/i stаnicа
35
Prоtеklа nеdеljа
11
11
Prоtеkli mеsеc
0
0
prоvеrеnо 03.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.