How does the government plan to find all nasty bugs in car software?

Posted by Hamish Grubijan on Stack Overflow See other posts from Stack Overflow or by Hamish Grubijan
Published on 2010-03-15T03:06:46Z Indexed on 2010/03/15 3:09 UTC
Read the original article Hit count: 256

Filed under:

quality-assurance

|

undecidable

They are confident that they can make "drive-by-wire" cars safer. What can our QA department learn from the government?

Thanks.

© Stack Overflow or respective owner

Related posts about quality-assurance

Quality assurance in small developer teams

as seen on Stack Overflow - Search for 'Stack Overflow'
Ideally, in a project you will developers, testers, QA manager(s) etc which all make their contribution to the quality of the code. But what if you don't have that kind of resources? If you just have, for example, three developers and don't have the resources to hire a full time QA manager, how do… >>> More
Six Key Trends in Quality Assurance Testing

as seen on Internet.com - Search for 'Internet.com'
One Infosys expert explains why the QA landscape is undergoing a major transformation. >>> More
Any specific issues found running HP Quality Center 10.0 on SQL Server 2008

as seen on Server Fault - Search for 'Server Fault'
Has anyone successfully gotten HP Quality Center 10.0 installed and running using the as-yet unsupported Microsoft SQL server 2008? Have you hit a specific issue? e.g. any issues with full text search etc. >>> More
What tools can be used to monitor a web application? Beyond "doesn't 404"

as seen on Server Fault - Search for 'Server Fault'
I have an internal web application that has recently gone through a major version upgrade. I would like to monitor this application over the weekend and look for 'soft' errors. I will still need to spot check things by hand, but there are some common failure patterns that I think I can automate. Examples… >>> More
Free training at Northwest Cadence

as seen on Geeks with Blogs - Search for 'Geeks with Blogs'
Even though I have only been at Northwest Cadence for a short time I have already done so much. What I really wanted to do was let you guys know about a bunch of FREE training that NWC offers. These sessions are at a fantastic time for the UK as 9am PST (Seattle time) is around 5pm GMT. Its a fantastic… >>> More

Related posts about undecidable

What is the undecidable problems in programming ?

as seen on Stack Overflow - Search for 'Stack Overflow'
Now I know that what can be computed or what cannot be computed? So let me know about the undecidable problems in programming and compiler.How can we proof knowing something is impossible? >>> More
How does the government plan to find all nasty bugs in car software?

as seen on Stack Overflow - Search for 'Stack Overflow'
They are confident that they can make "drive-by-wire" cars safer. What can our QA department learn from the government? Thanks. >>> More
Why doesn't Haskell have type-level lambda abstractions?

as seen on Programmers - Search for 'Programmers'
Are there some theoretical reasons for that (like that the type checking or type inference would become undecidable), or practical reasons (too difficult to implement properly)? Currently, we can wrap things into newtype like newtype Pair a = Pair (a, a) and then have Pair :: * -> * but we… >>> More
"continue" and "break" for static analysis

as seen on Programmers - Search for 'Programmers'
I know there have been a number of discussions of whether break and continue should be considered harmful generally (with the bottom line being - more or less - that it depends; in some cases they enhance clarity and readability, but in other cases they do not). Suppose a new project is starting… >>> More
Ruby on rails generates tests for you. Do those give a false sense of a safety net?

as seen on Stack Overflow - Search for 'Stack Overflow'
Disclaimer: I have not used RoR, and I have not generated tests. But, I will still dare to post this question. Quality Assurance is theoretically impossible to get 100% right in general (Undecidable problem ;), and it is hard in practice. So many developers do not understand that writing good automated… >>> More