Аналіз існуючих технологій верифікації паралельних програм
DOI:
https://doi.org/10.26565/2304-6201-2020-46-07Ключові слова:
паралельне програмування, верифікація програм, інструментальні засоби для формальної верифікаціїАнотація
Проведено аналіз загальноприйнятого поділу методів верифікації. Суть формальних методів полягає в створенні математичних моделей програм і вимог і в логічному аналізі відповідності між побудованими моделями. На сьогодні, формальні методи ¬ це фундамент, на якому стоїть будівля програмної інженерії. Зроблено висновок, що найактуальнішими, найбільш корисними та продуктивними можна вважати синтетичні методи верифікації ПЗ. Зазначено, що актуальним є впровадження в практику методів формальної верифікації програмного забезпечення комп'ютерних систем, що доповнюють традиційні методи тестування і налагодження, і дозволяють підвищити безвідмовність і безпеку програм.
Посилання
IEEE 1012-2004 Standard for Software Verification and Validation. IEEE, 2005. р.153. https://people.eecs.ku.edu/~hossein/Teaching/Stds/1012.pdf [in English]
L. Yu A light-weight static approach to analyzing UML behavioral properties. L. Yu, R. B. France, I. Ray,K. Lano.. Proc. of 12-th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pp. 56–63, 2007. p. 79. https://www.cs.colostate.edu/~iray/research/papers/iceccs07.pdf [in English]
M. Broy Model Based Testing of Reactive Systems. M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A.Pretschner (eds.). LNCS 3472, Springer, 2005. р. 273. https://www.springer.com/gp/book/9783540262787 [in English]
T. Ball Thorough Static Analysis of Device Drivers. In Proc. of EuroSys 2006. T. Ball, E. Bounimova, B.Cook, V. Levin, J. Lichtenberg, C. McGarvey, B. Ondrusek, S. K. Rajamani, A. Ustuner., ACM SIGOPS OperatingSystems Review, 2006. р. 74. https://dl.acm.org/doi/10.1145/1217935.1217943[in English]
Y. K. Wong. Modern Software Review: Techniques and Technologies. IRM Press, 2006. р. 368 https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.174.4479&rep=rep1&type=pdf [in English]
B.U. Boehm. Engineering software design. M.: Rado and communication, 1985. 368p. http://www.library.univ.kiev.ua/ukr/elcat/new/detail.php3?doc_id=136392 [in Russian].
