Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/10007
Назив: | Use of symbolic program execution in program testing | Аутори: | Markoski, Branko Ivankovic, Zdravko Radosav, Dragica Milošević, Zoran Obradović, Borislav |
Кључне речи: | testing;test;specification;validation | Датум издавања: | 2011 | Часопис: | Technics Technologies Education Management | Сажетак: | In recent years, we have increasing activity in the field of program verification. The goal of these efforts is to create computer systems to determine whether the given computer program is correct, in terms of meeting the given specifications. Program testing is in principle a complicated process that must be carried out as systematically as possible, to provide adequate proof of the reliability and quality. Specification is a key thing in program testing. This work describes methods used for constructive testing of smaller programs. One of the ways to prove whether a given program is properly written is the symbolic execution of program. | URI: | https://open.uns.ac.rs/handle/123456789/10007 | ISSN: | 1840-1503 |
Налази се у колекцијама: | FSFV Publikacije/Publications |
Приказати целокупан запис ставки
Преглед/и станица
41
Протекла недеља
12
12
Протекли месец
6
6
проверено 10.05.2024.
Google ScholarTM
Проверите
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.