TRANSACTIONS OF THE KRYLOV STATE RESEARCH CENTRE

Science journal

 
ISSN (print) 2542-2324 /(online) 2618-8244


Articles of The Transactions of KSRC








Software quality assurance for automatic control system on simulation and complex testbeds



Full text article ( in russian)

Year

 
2018

Issue

 
20181

Volume

 
1

Pages

 
198-204

Caption

 
Software quality assurance for automatic control system on simulation and complex testbeds

Authors

 
Yatsuk G., Umanskii А., Ananyin A

Keywords

 
software reliability, metrics, software sophistication, graph model, test bed, efficiency.

DOI

 
10.24937/2542-2324-2018-1-S-I-198-204

Summary

 
The software reliability evaluation and efficiency of testbeds are considered. A method based on analysis of software-execution path graph nodes is developed, which takes into account specifics of modeling a test bed used to examine one or another set of software execution paths. A graph model is suggested to take into account specifics of the software structure. The proposed model makes it possible to reliably determine the software paths by analysis of the control flow graph parameters. The merits of this model include simplicity of the method, consideration of sophisticated software structure, possibility to accurately estimate the probability of fail-free software operation based on service database without full testbedding of software. The practical advantage of the proposed model is that it is possible to assess fail-free software operation probabilities without full scope of testbedding.

Back to the list



 





 
Login:
Password:
Register
Forgot your password?


Last issues

All rights reserved © Krylov state research centre, 2017 — 2021


ISSN (print) 2542-2324 / ISSN (online) 2618-8244

Address: Moskovskoye shosse, 44, Saint-Petersburg, 196158

Phone: +7(812) 415-49-80