Під час експлуатації програмного забезпечення суттєвою проблемою є визначення переліку операцій, які необхідні для створення належних умов роботи загальносистемного, прикладного програмного забезпечення, а саме призначення операцій/проведення заходів з адміністрування програмного забезпечення і швидкого його відновлення після аварій та уражень/пошкоджень комп’ютерним вірусом.
Розглянуто питання застосування логіко-математичного апарату щодо формалізації процесів обслуговуван-ня, адміністрування та відновлення роботи програмного забезпечення під час експлуатації автоматизованих інформаційно-телекомунікаційних систем і комплексів. Показано, що дослідники під час розгляду проблем експлу-атації програмного забезпечення в основному зупиняються на питанняхудосконалення обслуговування, супрово-дження та реінженерії програмного забезпечення, зокрема й на описі послідовності виконання взаємопов’язаних процесів, методів і засобів обслуговування програмного забезпечення, питаннях експлуатації програмного забез-печення у розрізі його надійності, потреби у методах і засобах ідентифікації дефектів проєктування, а також прогнозування кількості помилок на етапі експлуатації інформаційних систем тощо. Наведено логічну схему процесу обслуговування програмного за&безпечення, яка відображає логіку розв’язання задач і, у своїй основі, пред-ставляє сукупність логічних упорядкованих проєктних процедур у вигляді систем множин і відношень.
Для формального представлення технологічного процесу обслуговування програм&ного забезпечення авто-матизованих інформаційно-телекомунікаційних систем і комплексів використовується його декомпозиція. Проєктування технологічного процесу супроводження програмного забезпечення виражається через морфоло-гічну, інформаційну та мат&ематичну моделі. Сформульовано відношення слідування, еквівалентності, суміс-ності та взаємодії, які дозволяють установити та формалізувати взаємозв’язки між технологічними об’єктами, які беруть участь у процесі призначення (проєктування) технологічн&их операцій з адміністрування програмного забезпечення автоматизованих інформаційно-телекомунікаційних систем і створюють пе- редумови щодо розроблення формалізованих умов синтезу проєктних рішень. За допомогою математичного апарату на базі логіки пр&едикатів наведено приклади різних проєктних рішень, які дозволяють здійснювати проєктування операцій з обслуговування програмного забезпечення засобами комп’ютерної техніки.
During the operation of the software, a significant problem is to determi&ne the list of operations that are necessary to ensure proper operating conditions of system-wide, application software, namely the appointment of opera-tions/measures for software administration and rapid recovery after accidents and damage/damage b&y computer virus.
The article considers the application of the logical-mathematical apparatus for the formalization of maintenance, admin-istration and restoration of software during the operation of automated information and telecommunications syst&ems and complexes. It is shown that researchers when considering the problems of software operation mainly focus on improving the maintenance, maintenance and reengineering of software, in particular on the description of the sequence of interconnect&ed processes, methods and tools of software maintenance, software operation in terms of its reliability, the need for methods and means of identifying design defects, as well as forecasting the number of errors during operation of information systems& The paper presents a logical scheme of the software maintenance process, which reflects the logic of solving problems and, in its basis, represents a set of logically ordered design procedures in the form of systems of sets and relations.
For the f&ormal presentation of the technological process of software maintenance of automated information and tel-ecommunication systems and complexes, its decomposition is used. The design of the technological process of software support is expressed through&
З 31.12.2014 по 01.03.2015 Наукова бібліотека читачів не обслуговує.
