Я думаю, что программное обеспечение для авионики имеет много, чтобы научить нас. В частности, изменения покрытие условия / решения важно.

В этом случае анализ покрытия этих реализаций запустить против их испытаний (может быть, только главный blockchain) бы показать ноут >= TxTmp.vout.size () ветвь не принята.

Какое программное обеспечение авионики не учит нас, как много о обрабатывают адаптивно враждебный вход (хотя, если ваш код является правильным для всех входов, которые враждебен просто subset-, но трудно быть уверенными в том, что вы правильно для все с криптографическими конструкциями в петля), а также не столько о реализации соглашения в консенсус-систем. Я полагаю, авионика бы сказать нам, что мы должны быть тестированием всей сети как единая система из-за неизбежную тесную связи, но, к сожалению, это еще не реально.

Они могли бы иметь испытание для его неудачи в этом случае ... и видно, что он отверг блок. Покрытие было бы хорошо, было бы разумным самосогласованным поведение ... но не согласуются с эталонной реализацией.

Прямо сейчас, потому что логика правил в опорном программном обеспечении не имеет никакого тестирования, которые достигают ничего близкого к модифицированному покрытию состояния / решения (которое, в также довольно трудно измерить, так как код написан на C ++ и делает много динамического распределение и повышение-танец), это означает, что даже если вы тестируете альтернативу хорошо вы не можете сравнить его с Bitcoind, если одни и те же тесты также не проверить эталонную реализацию одинаково хорошо.

Но есть еще тесты, которые делают тест _A lot_ его, и кажется, что они не были использованы здесь:

Стоит заметить, что здесь Bluematt нашел такое поведение около года назад. Blocktester должен испытывать его. Я предполагаю, что это указывает на эти альтернативные реализации не были протестированы с blocktester. Я полагаю, что само по себе является немного более в отношении тогда даже конкретный сбой. С другой стороны, тот факт, что они не означает, что мы на самом деле получить индикацию уровня их обзора, который мы не получили бы, если blocktester уже запустить открытое все заведомо проблемные места.