К
хм, разница особо не большая
https://ce.mentality.rip/z/W7T3sx
https://ce.mentality.rip/z/W7T3sx
Функция из 2-х инструкций. Вряд ли её можно было свести к 1-й
Size: a a a
2021 January 21
M
Функция из 2-х инструкций. Вряд ли её можно было свести к 1-й
Нет, меня идивляет вербозный пролог и эпилог
2021 January 22
АЗ
Приветствую. Решил спросить здесь, если оффтоп укажите курс(направление), плиз. Почитал для чего создаются юнит-тесты. Вопрос такой: возможно ли семантическим, например, анализом определить валидность кода, что он не сомнительный и будет выполнять именно то что написано? Было ли что-то подобное описано в инетах? У меня просто нет опыта создания тестов и такого анализа кода.
А
Алексей Запольский
Приветствую. Решил спросить здесь, если оффтоп укажите курс(направление), плиз. Почитал для чего создаются юнит-тесты. Вопрос такой: возможно ли семантическим, например, анализом определить валидность кода, что он не сомнительный и будет выполнять именно то что написано? Было ли что-то подобное описано в инетах? У меня просто нет опыта создания тестов и такого анализа кода.
думаю, ключевые слова тут: формальная верификация, символьное выполнение
AT
Ага, только к тестам это отношения не имеет. 🤷♀
AT
Самое близкое из формальной верификации к юнит-тестам -- статическая проверка контрактов из Design-by-Contract (R).
AK
Алексей Запольский
Приветствую. Решил спросить здесь, если оффтоп укажите курс(направление), плиз. Почитал для чего создаются юнит-тесты. Вопрос такой: возможно ли семантическим, например, анализом определить валидность кода, что он не сомнительный и будет выполнять именно то что написано? Было ли что-то подобное описано в инетах? У меня просто нет опыта создания тестов и такого анализа кода.
Любая вменяемая система выполняет именно то, что написано :)
AK
Могут быть ошибки в компиляторе, либо (что гораздо более часто) написанное не эквивалентно тому, что имелось в виду программистом
AG
Алексей Запольский
Приветствую. Решил спросить здесь, если оффтоп укажите курс(направление), плиз. Почитал для чего создаются юнит-тесты. Вопрос такой: возможно ли семантическим, например, анализом определить валидность кода, что он не сомнительный и будет выполнять именно то что написано? Было ли что-то подобное описано в инетах? У меня просто нет опыта создания тестов и такого анализа кода.
АП
Какие подобные чаты вы ещё знаете? @GabrielFallen а вы?
AG
вы зайдите и посмотрите в закрепленное сообщение, там всё есть
AT
Антон Пилипчук
Какие подобные чаты вы ещё знаете? @GabrielFallen а вы?
АП
спасибо)
Неожидал найти @practical_fm в категории "Разное"
И не думал что @practical_fm это о формальных методах верификации ПО
Неожидал найти @practical_fm в категории "Разное"
И не думал что @practical_fm это о формальных методах верификации ПО
W
Антон Пилипчук
спасибо)
Неожидал найти @practical_fm в категории "Разное"
И не думал что @practical_fm это о формальных методах верификации ПО
Неожидал найти @practical_fm в категории "Разное"
И не думал что @practical_fm это о формальных методах верификации ПО
Можешь написать им предложение о переносе в другой раздел - в @itchats_bot.
Так же, если не лень, можешь покидать туда чатов, которые есть, и полезны, но в списке отсутсвуют.
Так же, если не лень, можешь покидать туда чатов, которые есть, и полезны, но в списке отсутсвуют.
PM
Существует ли какой-то автоматический/полуавтоматический подход по воссозданию грамматики на основе исходного кода, полагая что исходный код корректен? Желательно собрать в то что можно скормить ANTLR'у или хотя бы в какой-то удобоваримый формат чтоб потом уже мануально перенести в парсер генератор
AS
Нет гарантий что вы восстановите именно ту грамматику, которую вы ожидаете.
AS
А языки, порожденные этими грамматиками, могут быть кардинально разными.
PS
Существует ли какой-то автоматический/полуавтоматический подход по воссозданию грамматики на основе исходного кода, полагая что исходный код корректен? Желательно собрать в то что можно скормить ANTLR'у или хотя бы в какой-то удобоваримый формат чтоб потом уже мануально перенести в парсер генератор
Да, существует. См. современное состояние дел в области fuzzing-тестирования. Чтобы сразу в ANTLR — это ужe мы много хотим :)
D
Если кто-то хочет поиграться с lcc интерактивно и из браузера, то собственно я работаю над его поддержкой в compiler-explorer.
https://ce.mentality.rip/
https://ce.mentality.rip/
Я думал lcc это закрытая разработка
У неё не открыт код?
У неё не открыт код?
PM
Да, существует. См. современное состояние дел в области fuzzing-тестирования. Чтобы сразу в ANTLR — это ужe мы много хотим :)
благодарю