Хаос (14.12.2019 16:41, просмотров: 1) ответил Chum_A на Изучил срач по ссылке. Подкину дохлую кошку (см.ссылку "картинка"): "На 1000 строк исходного кода открытых программ насчитывается 1 дефект". Подобное исследование было и у НАСА (лень искать). Собственно вопрос - надежней ли банальный релейный-
- По условию регулятор как жена цезаря, вне подозрений и (если угодно) проверен всеми имеющимися анализаторами. Кстати, статический (и не только) анализ не выявляет, например, идеологических ошибок. Изначальный посыл был "будёновский", супротив Chum_A(24 знак., 15.12.2019 10:53)
- У людей есть непонимание, мисконцепция. Например, недавно fk0 кидал статью Joel Spolsky "закон дырявых абстракций". Я уже не раз наталкивался на этого wannabe компьютерного "философа", изобретающего на пустом месте "законы", тогда как ситуация RxTx(2507 знак., 15.12.2019 15:29 - 15:39)
- В очередной раз наблюдаю человека, оригинальную заметку про "дырявые абстракции" не читавшего или не понявшего. "So the abstractions save us time working, but they don’t save us time learning." - LightElf(20.12.2019 12:25 - 13:06)
- >Чего не скажешь о программировании, которое забуксовало на уровне "объекта", а это 60е годы. Symbions(132 знак., 15.12.2019 19:39)
- > Системы, то есть цельного модуля из этого как правило нет. symbions(1379 знак., 19.12.2019 08:53)
- Действительно, существует такой уровень как "коллекция классов", RxTx(595 знак., 18.12.2019 21:11)
- У людей есть непонимание, мисконцепция. Например, недавно fk0 кидал статью Joel Spolsky "закон дырявых абстракций". Я уже не раз наталкивался на этого wannabe компьютерного "философа", изобретающего на пустом месте "законы", тогда как ситуация RxTx(2507 знак., 15.12.2019 15:29 - 15:39)
- Вроде что Coverity, по заказу которого это "исследование" это Lint и есть. Только продвинутый. Не? - RxTx(14.12.2019 23:48)
- Я про то, что если linting использовали для поиска ошибок в "исходном коде открытых программ", то что мешает использовать linting для поиска ошибок в "релейном регуляторе (10 строк кода, условно) на МК "профессионального уровня" (с) и без т.н. Хаос(16 знак., 15.12.2019 08:41,
)
- Это да. Возможно. RxTx(400 знак., 15.12.2019 14:55)
- Я про то, что если linting использовали для поиска ошибок в "исходном коде открытых программ", то что мешает использовать linting для поиска ошибок в "релейном регуляторе (10 строк кода, условно) на МК "профессионального уровня" (с) и без т.н. Хаос(16 знак., 15.12.2019 08:41,
- По условию регулятор как жена цезаря, вне подозрений и (если угодно) проверен всеми имеющимися анализаторами. Кстати, статический (и не только) анализ не выявляет, например, идеологических ошибок. Изначальный посыл был "будёновский", супротив Chum_A(24 знак., 15.12.2019 10:53)