A
Size: a a a
2020 August 28
AV
Мне пофиг, сегодня я тут ничего не защищал
A
Мне пофиг, сегодня я тут ничего не защищал
да, ты не в их числе сегодня
AV
AT
я хочу понять, что здесь происходит
Своё видение я изложил: в 99% случаев никто ничего не верифицирует, в исключительных случаях верифицируют соответствие кода формальной функциональной спецификации. Что значит "верифицировать дизайн" вообще не очень-то понятно. 🤷♀️
AV
Я даже готов согласиться, что тесты обеспечивают какую-то корректность, а эффекты не обеспечивают ничего. Хотя мне кажется, что тут надо или
++ или --, а +- или -+ неконсистентноAT
Мне пофиг, сегодня я тут ничего не защищал
Ты оказался третьим. 😂
A
Своё видение я изложил: в 99% случаев никто ничего не верифицирует, в исключительных случаях верифицируют соответствие кода формальной функциональной спецификации. Что значит "верифицировать дизайн" вообще не очень-то понятно. 🤷♀️
я понял, что я не прав был в своей формулировке. 👌?
AT
я понял, что я не прав был в своей формулировке. 👌?
Это круто – обычно никто ничего не понимает. 🙂
A
Из формальных утверждений (aka propositions aka theorems). 🤷♀️
Вы чего узнать-то хотели? 😉
Вы чего узнать-то хотели? 😉
формальные утверждения могут быть глубже, чем слова на бумаге и могут касаться тех свойств системы, о которых сходу и не сообразишь, так?
AV
Я тут структуру данных пытаюсь HKD сделать и меня это пугает, усложняет кусок кода, и не представляю как повлияет на производительность (хотя не должно быть страшно).
AT
При этом интуитивно "верификация дизайна" – понятно что такое, и это важная штука, но формально поставить такую задачу крайне сложно. 🙁
AV
С другой стороны нормально разделятся безопасная и небезопасные части проекта
AT
формальные утверждения могут быть глубже, чем слова на бумаге и могут касаться тех свойств системы, о которых сходу и не сообразишь, так?
Как бы да, но по факту это обычно относится к деталям реализации, failure states или ещё каким-то неучтённым состаяниям/сочетаниям условий.
A
Как бы да, но по факту это обычно относится к деталям реализации, failure states или ещё каким-то неучтённым состаяниям/сочетаниям условий.
что дороже: закрыть тестами эти состояния или верифицировать?
AT
что дороже: закрыть тестами эти состояния или верифицировать?
It depends.
AT
Достоверно сказать вообще невозможно, потому что невозможно измерить полную стоимость.
AV
Покрыть тестами небольшой кусок состояний
AV
Получив при достаточную надёжность
AT
Да у меня есть приложулька на JS с 0 тестов, не говоря уже про типы или верификацию – и ничего, работает, багов почти и не выявляется (в продакшене), пользу людям приносит.