I wonder about it as well. I only could think potential error such as Overflow/Underflow error if OP use static programming language
but couldn't it be tested even without "actual" test cases?
something like overflow belongs to lower level functions and in all programming languages that i know there is always easy ways to test them. for instance in object oriented programming we use Mocks to test any special case we want easily!
Yes, but in reality it often happens even on Bitcoin (somewhere in 2010) and big company such as
Boeing 787.
And the worst part, it creates domino effect.
I'm not software engineer, so i might be wrong though and we can't know OP's reason needs lots of tBTC for sure.
Boeing is kind of a bad example in that case though. Their whole Boeing 737 Max mess killed hundreds of people and was mostly caused by questionable management decisions -- ie. having pilots rely on warning lights that weren't enabled by default [1], horrendly cheap outsourcing to developers that completely lacked the expertise [2], all of which lead to software errors that could have been easily avoided.
That being said, while manual testing is also important for creating stable software, I agree with pooya87 that in this case testing could be easily done using mocks. At least I personally can't think of any edge cases where using 2 tBTC would make any difference to using 0.002 tBTC.
[1]
https://www.nytimes.com/2019/05/05/business/boeing-737-max-warning-light.html [2]
https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-737-max-software-outsourced-to-9-an-hour-engineers