Tools of test generation for satellites control programs

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.date	2015
dc.date.accessioned	2025-08-22T12:18:42Z	-
dc.date.available	2025-08-22T12:18:42Z	-
dc.date.issued	2015
dc.identifier.identifier	Dspace\SGAU\20170309\62595
dc.identifier.citation	Информационные технологии и нанотехнологии (ИТНТ-2015): материалы Международной конференции и молодежной школы. – Самара: Изд-во СамНЦ РАН, 2015. – с. 287-289
dc.identifier.isbn	978-5-93424-739-4
dc.identifier.uri	http://repo.ssau.ru/jspui/handle/123456789/13335	-
dc.description.abstract	The paper presents a research in the field of test automation for testing spacecraft control programs. Means for generating a test is carried out to build a complete set of tests for the macro. Tests creating sequence diagrams in the language DIPOLE 6 in XML. Specialists use them to debug complex ground to verify the on-board software.
dc.language	en
dc.publisher	Издательство Самарского научного центра РАН
dc.title	Tools of test generation for satellites control programs
dc.type	Article
local.identifier.olduri	http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Tools-of-test-generation-for-satellites-control-programs-62595
local.identifier.olduri	http://repo.ssau.ru/handle/Informacionnye-tehnologii-i-nanotehnologii/Tools-of-test-generation-for-satellites-control-programs-62595
Appears in Collections:	Информационные технологии и нанотехнологии

Files in This Item:

File	Description	Size	Format
itnt_2015_70.pdf	Основная статья	160.58 kB	Adobe PDF	View/Open

Show simple item record