AG
самое простое и щупабельное это конечно на текущий момент - тля/аллой
Size: a a a
2021 February 10
λ
модель не обязана быть точной, она должна быть полезной ©
и красивой
AG
ну и в целом если нужен результат ПРЯМ ЩА то это в автоматизированные пруверы
λ
то это к трунову
AG
полноценный дизайн это долго и тяжело, а программисты много думать не особо любят
LP
полноценный дизайн это долго и тяжело, а программисты много думать не особо любят
Тру стори
AG
корректность и соответствие спецификации
AG
ну формальные методы это спектр да
AG
на левом краю - методы монте-карло в тестировании, на правом - теоремы
AG
да почему синтаксис, любые свойства, заданные в спецификации
AG
давно уже стало
AG
синтез тестов, поиск моделей и тп
AG
фазинг шмазинг
AG
собственно модел чекинг это и есть развитие этой линии по большому счету
AG
метаморфное тестирование кстати еще
R
А кто нить слышал про ето? https://gumroad.com/l/essentialeffects/thescalalogs
