No Tool or Combination of Tools Can Assure Fail-Safe Code

The government's analysis of Toyota's automotive code revealed errors and failures. But despite extensive overlapping forms of testing and modeling, it could not prove or clear the software as a contributor to unintended acceleration.


March 19, 2012
URL:http://www.drdobbs.com/tools/no-tool-or-combination-of-tools-can-assu/232602414

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.