Верификация в тестировании программного обеспечения

Варламова Е. П.

Samara University Repository

Welcome to the Samara University repository!

This is an open electronic archive created to preserve and disseminate the scientific results of our university. The works of researchers, faculty members, and students are available to everyone for academic and research purposes.

The repository contains dissertations, research articles, educational and methodological materials, monographs, and regulatory documents. The collections cover a wide range of fields: from aerospace technologies, engine engineering, and computer science to history, linguistics, mathematics, and ecology. The archive brings together the scientific heritage of the university, including materials prepared during the period of Samara State Aerospace University and Samara State University.

Looking for publications by author, title, date, or subject? Full-text search will provide relevant results. Want to explore the academic life more closely? Browse materials by the universityâs organizational units.

Descriptions of all publications and articles available in the repository can be found in the libraryâs electronic catalog. Staff and students can log in via the menu "Login -> My Resource Archive" using their personal account credentials (SSAU_id).

Use the archive for study, research, and professional development!

Full metadata record

DC Field	Value	Language
dc.contributor.author	Варламова Е. П.
dc.coverage.spatial	синтетический метод верификации
dc.coverage.spatial	тестирование программного обеспечения
dc.coverage.spatial	построение верификатора бизнес-процессов
dc.coverage.spatial	прогон тестовых сценариев
dc.coverage.spatial	Model Checking
dc.creator	Варламова Е. П.
dc.date	2016
dc.date.accessioned	2025-08-22T12:06:26Z	-
dc.date.available	2025-08-22T12:06:26Z	-
dc.date.issued	2016
dc.identifier.identifier	Dspace\SGAU\20161202\60538
dc.identifier.citation	Варламова, Е. П. Верификация в тестировании программного обеспечения / Е. П. Варламова // Перспективные информационные технологии (ПИТ 2016) [Электронный ресурс] = Advanced information technologies and scientific computing : Междунар. науч.-техн. конф., 26 – 28 апреля 2016 г.. : сб. науч. тр. / М-во образования и науки РФ, Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т), Междунар. обществ. орг. Акад. навигации и упр. движением (Самар. отд-ние), Самар. регион. отд-ние науч. совета по проблемам методологии искусств. интеллекта РА ; [редкол.: Прохоров С. А. (гл. ред.) и др.]. - Самара : Издательство Самарского научного центра РАН, 2016. - С. 845-848.
dc.identifier.uri	http://repo.ssau.ru/jspui/handle/123456789/2095	-
dc.source	Перспективные информационные технологии (ПИТ 2016) [Электронный ресурс] : Междунар. науч.-техн. конф., 26 – 28 апреля 2016 г. : сб. науч. тр.
dc.subject	синтетический метод верификации
dc.subject	тестирование программного обеспечения
dc.subject	построение верификатора бизнес-процессов
dc.subject	прогон тестовых сценариев
dc.subject	Model Checking
dc.title	Верификация в тестировании программного обеспечения
dc.type	Text
dc.citation.epage	848
dc.citation.spage	845
local.contributor.author	Варламова Е. П.
local.identifier.olduri	http://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Verifikaciya-v-testirovanii-programmnogo-obespecheniya-60538
Appears in Collections:	Перспективные информационные технологии

Files in This Item:

File	Description	Size	Format
pit_2016_845-848.pdf	Основная статья	152.57 kB	Adobe PDF	View/Open

Show simple item record