Software Testing Methodology Theoretical Barriers of Complete Testing

• We can never be sure that the specifications are correct
• No verification system can verify every correct program
• We can never be certain that a verification system is correct
• Not only all known approaches to absolute demonstrations of correctness are impractical, but they are impossible. Therefore, our objective must shift from an absolute proof to a 'suitably convincing' demonstration

Share on Google Plus

About Data Sciences by Venu

Hi, My name is Venugopala Chary and I'm Currently working as Associate Professor in Reputed Engineerng College, Hyderabad. I have B.Tech and M.tech in regular from JNTU Hyderabad. I have 11 Years of Teaching Experience for both B.Tech and M.Tech Courses.