边界测试——让BUG现形

发表于:2011-12-02 16:15

字体: | 上一篇 | 下一篇 | 我要投稿

 作者:garbageMan    来源:51Testing软件测试网采编

  对于垃圾代码,没必要进行过于细致的分析,只要指出错误即可。不要试图了解这种代码的思路,因为这种代码的思路本来就是错乱不堪的,就如同不要试图理解疯子的胡言乱语一样。不要试图修缮一座胡乱搭建起来的破烂不堪的危房,推倒重来才是明智的选择。

  然而,找出程序的漏洞或错误,往往比完成程序要难得多。而且越是垃圾的代码越难查错,因为垃圾代码往往也不具备良好的可测试性。

  但是对付这种可测试性极差的垃圾代码,有一些简单的办法往往非常容易奏效,比如边界检查。训练有素的程序员通常都特别注意边界,无论是写代码时还是检查代码时。因为他们知道这里非常容易出错,而且往往失之毫厘谬之千里。但垃圾代码的作者,由于代码是东拼西补、胡乱拼凑而成的,所以往往顾不上或考虑不到这些,因此垃圾代码很容易被“边界检查”这把小刀轻而易举地戳破。以alphabetic()函数为例,只要简单地考察一下其中if语句所要求的表达式——(c>='a'&&c<='z')||(c>='A'&&c<='z'),就不难发现c<='z'这个子表达式是c<='Z'之误。这样就充分说明原代码中存在着BUG。

  顺便说一下,alphabetic()函数中的if-else语句用得非常愚蠢,因为(c>='a'&&c<='z') || (c>='A'&&c<='Z')这个表达式的值本身就只能为0或1,所以直接返回这个表达式的值就可以了。压根用不着脱裤子放屁地写一个if-else语句。

int alphabetic(char c)
{
   return   (c>='a'&&c<='z'
        ||  (c>='A'&&c<='Z');
}

  或许,有人会认为这是一个简单的笔误或印刷错误,修正了这个错误原来的代码是正确的。那么好吧,下面改正这个错误后再来运用一次简单的边界测试。

  由于问题要求输出一行字符中最长的单词,而一行字符中可能有0个单词、1个单词、2个单词……。注意,这里0个单词的情况就是一种边界情况,运行这个程序并输入0个单词(输入一行不含任何字母的字符,因为代码作者把连续的若干字母字符作为一个单词),后果居然是——运行时程序崩溃了。这个结果绝对可以充分说明原来的代码是错误的。

  这个结果是如何产生的呢?只要在纸上走查一遍,就不难发现,输入一行不含任何字母的字符时,longest()函数中嵌套在for语句内部的if语句将毫无意义地反复执行

    {flag=1;
if(len>=length)
{length=len;
place=point;
len=0;
}
}

  部分,而其中的赋值给place的point却居然是一个不确定的垃圾值。

  应该如何正确地给出这个问题的代码呢?正确解决问题的前提是正确地提出问题。原来问题的提法本身就有很多不正确或不严谨的地方。例如,“将此字符串中最长的单词输出”,这个要求本身就是似是而非很不明确的。比如,字符串中有两个单词长度相同且都长于其他单词,究竟应该输出这两个单词中的任何一个还是需要同时输出这两个单词?再有,要求函数“输入一行字符”也非常无聊。为了能正确地解决问题,有必要对原问题的错误要求进行如下更正:

  写一个函数,输出字符串中的任一长度最长的单词。这里所谓的单词,是指不含空白字符的连续字符序列。

32/3<123>
《2023软件测试行业现状调查报告》独家发布~

关注51Testing

联系我们

快捷面板 站点地图 联系我们 广告服务 关于我们 站长统计 发展历程

法律顾问:上海兰迪律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2024
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪ICP备05003035号

沪公网安备 31010102002173号