Size: a a a

2020 April 24

P

Pengo in qaFlood
недавно инженер по внедрению задал правильный вопрос: "Как вы гарантируете, что у вас математика в вашем программном этом такая же, как у Анатольича в документах?"

(и народ призадумался о формальной верификации.)
источник

AS

Anton Shatunov in qaFlood
ну в таких случаях хорошо наборами данных смотреть
источник

AS

Anton Shatunov in qaFlood
мы так и делали, была экселька с формулами и данными и в ней что-то считалось, а то же самое было ещё соответственно в коде, туда грузили тот же набор данных и смотрели та же самая цифра получится или нет
источник

P

Pengo in qaFlood
Anton Shatunov
ну в таких случаях хорошо наборами данных смотреть
только наборы данных дискретные, а пространство входных значений непрерывное
источник

P

Pengo in qaFlood
У меня приятели обожглись один раз об такое
источник

P

Pengo in qaFlood
-1,5 ляма зелени что ли
источник

P

Pengo in qaFlood
немножко арифметика неправильно работала.
источник

AS

Anton Shatunov in qaFlood
тут да, всё равно как-то всё может быть странно
источник

AS

Anton Shatunov in qaFlood
например мы в ходе таких операций поняли что постгре криво хранит данные флотовые с большим количеством циферок после запятой
источник

P

Pengo in qaFlood
запускали тесты с как раз фиксированными наборами данных - и приятель такой в субботку: ой, дай-ка я от руки циферки набью.

и случайно нашел косяк.
источник

AS

Anton Shatunov in qaFlood
так-то на циферках разница маленькая а вот с учётом большого количества операций и накопленных ошибок
источник

P

Pengo in qaFlood
ну а вот им пришлось микросхему переделывать...
источник

K

K in qaFlood
Почитайте легендарочку про ракету Patriot
источник

K

K in qaFlood
Там про накопленные ошибки
источник

AG

Andrew Gasov in qaFlood
источник

AS

Anton Shatunov in qaFlood
короче с учётом накопленных ошибок стоимости порой расходились в пределах ста тысяч рублей
источник

AS

Anton Shatunov in qaFlood
😄
источник

P

Pengo in qaFlood
нормально так)
источник

AS

Anton Shatunov in qaFlood
Pengo
запускали тесты с как раз фиксированными наборами данных - и приятель такой в субботку: ой, дай-ка я от руки циферки набью.

и случайно нашел косяк.
а вот это эффект пестицида по-умному 🙂
источник

AS

Anton Shatunov in qaFlood
когда у тебя постоянно одни и те же данные или там тестеры постоянно забивают иванов иван иваныч
источник