Усовершенствование метода проверки корректности таблиц решений для формального представления тестовых наборов

Abstract

Рассматриваются вопросы проверки корректности таблиц решений для формального представления тестовых наборов, включая проверку их избыточности, противоречивости и полноты на основе выявления неучтенных в таблице ситуаций. Разрабатывается предложение по усовершенствованию существующих методов путем математической формализации. Розглядаються питання перевірки коректності таблиць рішень для формального представлення тестових наборів, включаючи перевірку їх надлишковості, суперечливості та повноти на основі виявлення не врахованих у таблиці ситуацій. Розробляється пропозиція щодо вдосконалення існуючих методів шляхом математичної формалізації. Questions of validation tables for making a formal presentation of test sets, including verification of redundancy, inconsis-tency and completeness by identifying not included in the table situations. Developed proposals to improve existing methods by mathematical formalization.