Применение причинно-следственных графов притестировании инвариантамитезисы доклада