<?xml version="1.0"?>
<metadata xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/"><dc:title>Methodology for test case generation based on sysml specifications</dc:title><dc:creator>Čučko,	Tilen Antonio	(Avtor)
	</dc:creator><dc:creator>Truntič,	Mitja	(Mentor)
	</dc:creator><dc:creator>Župerl,	Uroš	(Mentor)
	</dc:creator><dc:creator>Novak,	Ivan	(Komentor)
	</dc:creator><dc:creator>Engelbrecht,	Martin	(Komentor)
	</dc:creator><dc:creator>Maletz,	Michael	(Komentor)
	</dc:creator><dc:subject>systems engineering</dc:subject><dc:subject>verification and validation</dc:subject><dc:subject>SysML</dc:subject><dc:subject>test automatization</dc:subject><dc:subject>test case creation</dc:subject><dc:description>In the rapidly improving system design environment there is a need for automatization of tasks which are manual labor intensive. One of the core principles of systems engineering is verification and validation which is present iteratively throughout the development and on a higher system level at the end. For these verification and validation tasks test cases are used. The goal of this thesis is to extract the required test cases from the already present system models, mainly the test cases from function diagrams which are linear and cannot be extracted through state machine diagrams.</dc:description><dc:publisher>[T. A. Čučko]</dc:publisher><dc:date>2022</dc:date><dc:date>2022-11-24 17:35:47</dc:date><dc:type>Magistrsko delo/naloga</dc:type><dc:identifier>83430</dc:identifier><dc:identifier>UDK: 681.5.015(043.2)</dc:identifier><dc:identifier>COBISS_ID: 148615171</dc:identifier><dc:language>sl</dc:language></metadata>
