3 ms·
That would explode the costs for marginal safety improvements. I think the same effort spent on better requirement engineering would yield more payoff.
by adrianN 2y ago
That would explode the costs for marginal safety improvements. I think the same effort spent on better requirement engineering would yield more payoff.
- tialaramex 2y agoWhy do you believe this would "explode the costs" ? Why would the resulting safety improvements be "marginal" ?
- adrianN 2y agoBecause proving correctness for complex software is difficult and very few people have relevant experience. So it is both labor intensive and you need to pay high wages. I believe the safety improvements are marginal because of my experience in safety critical development. Almost all the bugs we did not find by testing turned out to be problems with the requirements that led to interoperability issues. Proving the correct implementation of wrong requirements would not have helped.