摘要：
软件测试（英语：software testing），描述一种用来促进鉴定软件的正确性、完整性、安全性和质量的过程。据此，您可能会想，软件测试永远不可能完整的确立任意电脑软件的正确性。然而，在可计算理论（计算机科学的一个支派）一个简单的数学证明推断出下列结果：不可能完全解决所谓“死机”，指任意电脑... 阅读全文
摘要：
开通这个blog是希望自己能够与志同道合的人有更多的交流，同时还有老师的作业要求。很长时间以来我从博客园看到了许多高质量的文章，学到了很多自己希望学到的知识，有了些许提高，非常感谢博客园这个平台，希望自己的博客不会半途而废，能坚持写下去。 既然提到了老师的作业要求，我会在一开始写一些关于软件测试的相 阅读全文