Title Automatizuotas modeliais grindžiamos sistemos reikalavimų specifikacijos išbaigtumo ir korektiškumo įvertinimo metodas /
Translation of Title Automated completeness and correctness evaluation of the model-based system requirements specification.
Authors Bankauskaitė, Jovita
Full Text Download
Pages 93
Keywords [eng] SysML ; MBSE Grid ; completeness and correctness metrics ; requirements engineering ; MBSE
Abstract [eng] The completeness and correctness evaluation of the system requirements specification depending on the modeling language and method is a completely new practice in model-based systems engineering. SysML is a model language, not a methodology, nor a method and there are thousands of different ways to describe the using it. In this case, there cannot be a single, universal approach to evaluate the completeness and correctness of the requirements specification. It is necessary to choose a specific method in combination with SysML to accurately and comprehensively evaluate the requirements specification. The purpose of this these is to improve the completeness and correctness evaluation of the requirements specification based on the basis of the principles of model-based system engineering. Thesis defines created automated completeness and correctness evaluation method for system requirements specification. The method consists of four metric groups to evaluate the completeness and three metric groups to evaluate the correctness of system requirements specification. The implemented metrics for evaluating the completeness and correctness of the can be configurable and adapted to different methods of model-based requirements specification, thereby extending the usability of the method. Evaluation of the completeness and correctness of the requirements specification over the course of time contributes to ensure a high quality of each stage of the requirements specification.
Dissertation Institution Kauno technologijos universitetas.
Type Master thesis
Language Lithuanian
Publication date 2018