软构学习-2-软件测试与测试优先的编程

Posted blogstb

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了软构学习-2-软件测试与测试优先的编程相关的知识,希望对你有一定的参考价值。

2 软件测试与测试优先的编程

大纲

  • 测试用例(Test Case)
  • 测试优先编程(TDD)
  • 单元测试
  • 使用Junit进行自动化单元测试
  • 黑盒测试
    • 等价类划分
    • 边界值分析
  • 覆盖度

Testing levels

  • 单元测试(Unit testing)
  • 集成测试(Integration testing)
  • 系统测试(System testing)

两种测试的分类:

  • 静态测试(Static)
    在程序非运行的情况下。
    静态测试更多的是检查源代码的结构语法以及数据流等等。
  • 动态测试(Dynamic)
    在程序运行时

测试用例

测试用例:输入+执行条件+期望结果

测试优先编程

  • 单元测试:
    对软件的最小单元模型开展测试,隔离各个模块,容易定位错误和调试

黑盒测试

黑盒测试:用于检查代码的功能,不关心内部实现细节

  • 等价类划分:
    将被测函数的输入域划分为等价类从等价类中导出测试用例
    基于的假设是:相似的输入会展示相似的行为。

  • 边界值分析:
    理由:大量错误发生在输入域的“边界”而非中央。

覆盖分析的两个极端

  • 全覆盖(笛卡尔积)
  • 覆盖每个取值(至少一次)
    每个维度的每个取值至少被测试用例覆盖一次即可。

代码覆盖度

测试效果:路径覆盖>分支覆盖>语句覆盖
测试难度:路径覆盖>分支覆盖>语句覆盖

Shell编程学习

Shell 脚本条件测试与比较

条件测试方法综述

在Bash的各种条件结构和控制结构中都要进行各种测试,然后根据测试结果执行不同的操作,有时也会与if等条件语句相结合,来完成测试判断,以减少程序运行的错误。

条件测试常用语法

条件测试语法 说明
语法1:test <测试表达式> 这是利用test命令进行条件测试表达式的方法。test 命令和"<测试表达式>"之间至少有一个空格
语法2:[ <测试表达式> ] 这是通过 [] 进行条件测试表达式的方法。和 test 命令用法相同,推荐此方法。[]的边界和内容至少有一个空格
语法3:[[ <测试表达式> ] ] 这是通过 [[ ]] 进行条件测试表达式的方法。[[]]的边界和内容至少有一个空格
语法4: ((<测试表达式> )) 这是通过 (()) 进行条件测试表达式的方法,一般用于 if 语句里。(())前端不需要空格
  • 语法 1 中的 test 命令和语法 2 中的 [] 是等价的。语法 3 中的 [[]] 双中括号为扩展的 test 命令。
  • 语法 4 中的 (()) 常用于计算。
  • 在双中括号 [[]] 中可以使用通配符等进行模式匹配,这是其区别于其他几种语法格式的地方。
  • &&||>< 等操作符可以应用于双中括号 [[]]中,但不能应用于单中括号 [] 中,在 [] 中一般用 -a-o-gt(用于整数)、-lt(用于整数)代替上述操作符。
  • 对于整数的关系运算,也可以是使用 shell 的算术符 (())

条件测试命令实践

test 条件测试的简单语法及示例:

test条件测试的语法格式:test 条件表达式
例1:测试文件file是否存在:
test -f file && echo true || echo false # 测试file文件是否存在,,如果存在则输出true,否则输出false
test -f file && echo 1 # 若表达式成功,则输出1
test -f file || echo 0 # 若表达式失败,则输出0
例2:测试字符串的长度是否为0:
[root@www ~]# test -z "Miya" && echo true || echo false # 如果测试字符串的长度为0,则表达式成立,因为测试的字符串为Miya,不为0,则表达式的结果为false。
[root@www ~]# test -z "Miya" && echo 1 || echo 0
false

[ ]中括号条件测试语法及示例

语法格式:[ 条件测试表达式 ]   # 中括号两端要有空格
例1:测试file文件是否存在:
[ -f file ] && echo 1 || echo 2 # 测试文件file是否存在,存在返回1,不存在返回0。

[[ ]]双中括号条件测试语法及示例

语法格式:[[ 条件测试表达式 ]]  # 双中括号里的两端也要有空格
[[ -f file ]] && echo 1 || echo 0 # 测试文件file是否存在,如存在则返回1,不存在返回0。

【说明】在[[ ]] 中,可以使用通配符等进行模式匹配,并且 &&||>< 等操作符可以应用在 [[ ]] 中,但不能应用于 [ ] 中,在 [ ] 中一般使用 -a-o-gt(用于整数)、-lt(用于整数)等操作符代替上文提到的用于 [[ ]] 中的符号。虽然 [[]] 的应用场景不多,但在 [[]] 通配符匹配的场景下,其他的测试表达式无法替代,如果需要通配符匹配或正则匹配就用[[]]。

文件测试表达式

常用文件测试操作符 说明
-d 文件,directory 文件存在且为目录为真,即测试表达试成立
-f 文件,file 文件存在且为普通文件则为真
-e 文件,exist 文件存在则为真,-f,-e不辨别是目录还是文件
-r 文件,read 文件存在且可读则为真
-s文件,size 文件存在且文件大小不为0为真
-w文件,write 文件存在且可写则为真
-x文件 ,executable 文件存在且可执行则为真
-L 文件,link 文件存在且为链接文件则为真
f1 -nt f2,nt为newer than 文件1比文件2新则为真
f1 -ot f2,ot为older than 文件1比文件2旧则为真

文件测试表达式实践

测试文件类型

[ -f file ] && echo 1 || echo 0 # 文件为普通文件且存在则输出 1

判断文件是否存在

[root@mico ~]# [ -f /etc/hosts ]
[root@mico ~]# echo $?
0
[root@mico ~]# [ -f /etc/hosts1 ]
[root@mico ~]# echo $?
1
判断文件是否存在,返回方式
[root@mico ~]# [ -f /etc/hosts ] && echo "文件存在" || echo "文件不存在" 
文件存在
[root@mico ~]# [ -f /etc/hosts1 ] && echo "文件存在" || echo "文件不存在" 
文件不存在

判断目录是否存在

[root@mico ~]# [ -d /tmp ] && echo "目录存在" || echo "目录不存在" 
目录存在
[root@mico ~]# [ -d /tmp1 ] && echo "目录存在" || echo "目录不存在" 
目录不存在

使用变量的方法进行判断

dir=/etc1/;[ -d $dir ] && tar zcf etc.tar.gz $dir || echo "$dir目录不存在"

【说明】

  • 测试文件的读、写、可执行等属性,不光是根据文件属性 rwx 的标识来判断,还要看当前执行测试的用户是否真的可以按照对应的权限操作该文件。
  • [ ] 中括号测试变量时,如果被测试的对象是变量,则需要加双引号。

特殊条件测试表达式案例

以下写法适用于所有的条件测试表达式,是工作中比较常用的替代if语句的方法。

例1:当条件1成立时,同时执行命令1、命令2、命令3:

技术图片
上面的判断,相当于下面的 if 语句的效果:

技术图片

字符串测试操作符

技术图片

整数二元比较操作符

技术图片

【说明】

  • “=”和“!=”也可以在[ ]中作比较使用,但在[ ] 中使用包含“>”和“<”的符号时,需要转义,有时不转义,虽然语法不会报错,但是结果可能不对。
  • 也可以在[[]]中使用包含“-gt”和“lt”的符号,但是不建议这样使用。
  • 比较符号两端也要有空格。

逻辑操作符

技术图片

【说明】

  • “-a”和“-o”逻辑操作符需要用于[]中。
  • “&&”和“||”逻辑操作符号可用于[[]]和(())中,也可以在外部连接多个[]。
  • 注意,在[]和[[]]的两端,必须要有空格,但是对于(())不需要。

总结

测试表达式 test、[]、[[]]、(()) 的区别总结:
技术图片

以上是关于软构学习-2-软件测试与测试优先的编程的主要内容,如果未能解决你的问题,请参考以下文章

软构笔记-7-面向对象的编程

第二次软构实验心得

软构学习-4-数据类型与类型检验

软构笔记-9-面向复用的软件构造技术

软构学习-56-设计规约抽象数据类型(ADT)

华为BGP med与preferred-value(local_pref)选路优先级测试