Камак Д.О., Скиба О.В., Доманов І.О., Троцик С.М. Державний науково-дослідний інститут випробувань і сертифікації озброєння та військової техніки ПІДХОДИ ЩОДО ОЦІНЮВАННЯ ЯКОСТІ СПЕЦІАЛЬНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА ПРИКЛАДІ ІНФОРМАЦІЙНИХ СИСТЕМ, ПРИЗНАЧЕНИХ ДЛЯ ПІДВИЩЕННЯ ЕФЕКТИВНОСТІ УПРАВЛІННЯ У статті розкриваються погляди на методологію та порядок оцінювання спеціального програмного забезпечення з урахуванням вимог Національних стандартів України ДСТУ ISO/ІЕС 25010:2016 (ISO/ІЕС 25010:2011). -Інженерія систем і програмних засобів. Вимоги до якості систем і програмних засобів та її оцінювання. Моделі якості системи та програмних засобівˮ та ДСТУ ІS0/ІЕС 9126-1:2013 (ІS0/ІЕС 9126 1:2001, IDТ). -Програмна інженерія. Якість продукту. Частина 1. Модель якостіˮ. Як приклад розглядається перевірка якості спеціального програмного забезпечення для управління військами. Ключові слова: програмне забезпечення, спеціальне програмне забезпечення, якість програмного забезпечення, оцінювання якості програмного забезпечення, модель якості, характеристика якості, підхарактеристика якості.Постановка проблеми. Спеціальне програмне забезпечення (далі -СПЗ), що вбудовується в зразки озброєння та військової (спеціальної) техніки (далі -ОВТ), потребує тестування та оцінювання подібно до випробувань бойових можливостей.Проведений авторами статті аналіз існуючих у світі підходів до оцінювання програмних продуктів (далі -ПП), виявив існування різних методологій: від -трикутникаˮ метрик Мак Кола, та його удосконаленої версії економістом-програмістом Боелом до стандартів. Єдине, що об'єднує всі підходи, це тлумачення самого терміну -якість ППˮ, що відображає здатність програмного засобу за певних заданих умов задовольняти визначені або очікувані потреби.Існуюча в Україні нормативно-правова база щодо оцінювання якості ПП представлена низкою національних стандартів, серед яких основними є [1] та [2]. Втім ці стандарти мають взаємні розбіжності, а їхні положення відображають переважно загальні погляди на оцінювання якості ПП.Для сектору безпеки та оборони потрібно розробити власні підходи до оцінювання СПЗ, яке призначене для управління військами та окремими зразками ОВТ або для підвищення рівня обізнаності особового складу.Актуальність дослідження. Тенденція розвитку ОВТ свідчить про те, що поряд з високою точністю і ймовірністю ураження не менш вагомого значення у збройній боротьбі набуває мінімізація часу на збір, обробку даних та прийняття рішення. Людські можливості для цих завдань є обмеженими, відтак широко застосовуються системи штучного інтелекту, підтримки прийняття рішень тощо.Останнім часом продукція оборонного призначення, зокрема ОВТ, все частіше випускається з вбудованим СПЗ або дообладнується ним під час модернізації, що забезпечує функціонування зразків та керування ними.СПЗ впроваджується як у розвинені мережі, призначені для автоматизації управління військами, наприклад, прийнятий у 2018 році на озброєння Збройних Сил України (далі -ЗС України) виріб 9С162, так і для вирішення більш локальних завдань на обмеженій тери...
The article is devoted to certain approaches that concerned a checking random values obtained from the generator of random (pseudorandom) values. The article provides the results of a practical research of the numbers which are obtained during the division operation. The research was directed to find out the ratio of even and odd numbers in a quotients and remainders in the results of performing of the division operation. The analysis was carried out due to the fact that the remainder and quotient of division is widely used in various algorithms of software tools intended for generating random and pseudorandom values (numbers). The results of the research, which are given in this scientific publication, confirm the existence of prerequisites for the outputting by the generator of pseudorandom values such values (numbers) which will not fully meet the criteria. First of all, it is a criterion which concerns parity and oddity of the numbers which can be outputted by generator of random and pseudorandom values. The authors propose to explore parity and oddity using two methods. The first method is based on Pearson's squared test (chi-squared test). It allows you to find out the presence and admissibility of deviation of the sequence of values obtained empirically, with theoretical (predicted) values. In this case, the level of accuracy is chosen depending on the requirements for the software product as a whole and the generator of random (pseudorandom) values in particular. The second method is based on the long series test (long sequences test), which determines the permissible number of even or odd values that follow each other. In this case, the number of allowed such sequences depends on the number of results obtained during a series of experiments. The proposed approaches are recommended for software products planning and testing which is supposed to be used by the Ministry of Defense of Ukraine.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.