3 ms·
My naive perspective is not that software engineers should forsake iteration; rather that their tests / simulations have to be "out of this world". After all, t
by nicois 8y ago
My naive perspective is not that software engineers should forsake iteration; rather that their tests / simulations have to be "out of this world". After all, the software is still written by taking real world constraints and models and then applying them in software. Anything you are counting on software to do properly should be testable, up to a point, in a virtual environment.
- baybal2 8y ago>rather that their tests / simulations have to be "out of this world". Formal verification far exceeds testing as know to mainstream software development. And in addition to it, some "sanity tests" are preferably to be done just to have an assurance that your are not verifying the wrong thing. I heard of few cases when formally verified software failed despite devs being religiously zealous with it. One on my mind was of oxygen sensor wired to ADC, and ADC was able to measure negative voltage... Thus it was keeping the fuel injector running for the negative amount of time... You can imagine the following sequence of events.