Постановка задач підсистеми аудиту передумови середнього рівня ІТ СППР

Нині актуальною науково-технічною проблемою інформаційних технологій у фінансовоекономічній сфері є автоматизація аналізу великих обсягів даних фінансово-економічної інформації підприємств, що зберігаються та надходять у бази даних локальних та глобальних комп’ютерних систем з метою сформулювати рекомендації щодо прийняття рішень під час аудиту. У попередніх роботах автора сформовано методику узагальнено-множинного відображення даних у підсистемі експрес-аудиту передумови «Відповідність витрат та доходів» на середньому рівні. У разі виявлення нееквівалентних підмножин даних система переходить у підсистему аудиту «Повнота». Для реалізації цієї методики при перевірці передумови «Повноти» необхідно представити функціональну структуру перетворень даних середнього рівня у вигляді послідовностей відображень множин та виділити підзадачі. У статті розглядається проблема постановки задач підсистеми аудиту передумов Положення (стандартів) бухгалтерського обліку в ІТ СППР як складових методики узагальненомножинного відображення інформації. Виокремлено два типи структурних елементів аудиту середнього рівня, які є інваріантними щодо характеристик підприємства: множини об’єктів та операцій. Це дозволило визначити структурні елементи інформаційної моделі предметної області: дані, що характеризують множини об’єктів, і дані, що характеризують множини операцій. Визначено два типи зв’язків, між елементами предметної області, що підпадають під дію правил передумови, які формалізуються у вигляді графіків відносин. Перший – між двома множинами паралельно-послідовних операцій, другий – між двома множинами об’єктів, що перетворюються внаслідок множини паралельних операцій. Це дало можливість представити функціональну структуру перетворень наборів даних у вигляді послідовності відображень, що підпорядковуються правилам передумови. Виділено два типи відображень за їх функціональним призначенням. Перший із них характеризує перетворення даних у підсистемі обліку об’єктів. Другий характеризує перетворення даних під час передачі між підсистемами. Виділено два типи елементарних підзадач аудиту передумови. Це дає можливість декомпозувати задачу автоматизації перевірки передумови на задачі перевірки еквівалентності двох типів відображень. Подальші дослідження передбачають розробку методики ідентифікації нееквівалентних множин даних при відображеннях. Це дозволить нам вирішити проблему виявлення невідповідностей цих наборів у відображеннях типу 1: отримана сировина – отримані напівфабрикати, отримані напівфабрикати – вироблена готова продукція; та відображеннях типу 2: випущені напівфабрикати – отримані напівфабрикати, готова продукція випущена – готова продукція капіталізується