Publication Details:

Լույս է տեսնում 1948 թվականից՝ տարին 4 անգամ։

Journal or Publication Title:

ՀՀ ԳԱԱ եւ ՀԱՊՀ Տեղեկագիր. Տեխնիկական գիտություններ =Proceedings of the NAS RA and NPUA: Technical Sciences

Date of publication:

2021

Volume:

74

Number:

4

ISSN:

0002-306X

Official URL:

Additional Information:

Հարությունյան Ս. Ա., Арутюнян С. А.

Other title:

Համապիտանի վերիֆիկացիայի մեթոդաբանությամբ թեստային միջավայրի գեներատոր ; Генератор тестируемой среды универсальной методологии проверки

Contributor(s):

Պատ․ խմբ․՝ Ա․ Գ․ Նազարով (1957-1964) ; Մ․ Վ․ Կասյան (1964-1988) ; Ռ․ Մ․ Մարտիրոսյան (1989-2017 ) ; Գլխավոր խմբ․՝ Վ․ Շ․ Մելիքյան (2018-)

Coverage:

450-456

Abstract:

A tool that will generate UVM test environment is presented. After the verificat-ion plan has been finalized, the verification process starts by creating the test environment. During some period, there are no verification results, since the test environment is not ready. The tool which is presented here is an automated way of generating the test environment from GUI, which provides a complete test environment in a complete state leading to drastic time reduction in the verification process.
Ցույց է տրվել համապիտանի վերիֆիկացիայի մեթոդաբանությամբ թեստավորման միջավայր գեներացնելու գործիք։ Ստուգման պլանի վերջնականացումից հետո ստուգման գործընթացը սկսվում է թեստավորման միջավայրի ստեղծումից։ Որոշ ժամանակ որևէ ստուգման արդյունք դեռևս հասանելի չէ, քանի որ ստուգման միջավայրը դեռ պատրաստ չէ։ Գործիքը, որը ցուցադրվում է, թույլ է տալիս ավտոմատացված կերպով գեներացնել թեստավորման միջավայր գրաֆիկական ինտերֆեյսի (ԳԻ) միջոցով։ Այն տալիս է ամբողջական թեստավորման միջավայրը՝ պատրաստի վիճակում, որը հանգեցնում է ստուգման գործընթացի տևողության կտրուկ նվազման։
Представлена программа генерации тестируемой среды универсальной методологии проверки. После завершения плана верификации процесс верификации начинается с создания тестируемой среды. Некоторое время никаких результатов верификации не получено, так как тестируемая среда не готова. Представленная в работе программаэто автоматизированный путь генерации тестируемой среды с графического интерфейса, которая предоставляет эту среду в завершенном виде, что кардинально снижает время процесса верификации.

Place of publishing:

Երևան

Publisher:

«Պոլիտեխնիկ» տպ.

Format:

pdf

Identifier:

oai:arar.sci.am:324306

Call number:

АЖ 413

Digitization:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան