找回密码
 注册
关于网站域名变更的通知
查看: 482|回复: 1
打印 上一主题 下一主题

MATLAB单元测试

[复制链接]

该用户从未签到

跳转到指定楼层
1#
发表于 2020-12-3 10:40 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式

EDA365欢迎您登录!

您需要 登录 才可以下载或查看,没有帐号?注册

x

) k! n# a& s" C& b( f. R基于函数的(Function-Based)单元测试的构造* j: ?& g) V6 V0 A- H: c# }
MATLAB基于函数的单元测试构造很简单,如图Figure 1所示:用户通过一个主测试函数和若干局部测试函数(也叫做测试点) (Local Function)来组织各个测试。而测试的运行则交给MATLAB的单元测试架构(以下简称Framework)去完成。
" x4 ~( V2 y0 T( W: p# U. d* v8 o( E1 A4 M( e) K
Figure.1 单元测试Framework和测试函数
8 u1 C( m% ~- J  D- G主测试函数和局部测试函数看上去和普通的MATLAB函数没有区别,其结构如图Figure 2 所示,只是命名上有一些规定而已,这些特殊的规定是为了Framework可以和测试函数契合而规定的。/ b. G1 _2 c% a, Q8 W  k

3 K( M" b( v9 O' S) y# s0 ~- JFigure.2 简单的主测试函数和若干局部的测试函数构成的一个单元测试3 j! W0 r. ]. y# q
命名规则如下:
& U& X5 ]( K* m& f/ p主函数的名称由用户任意指定,和其他的MATLAB函数文件一样,该文件的名称需要和函数的名称的相同. (如果主函数的名称是 testmainfunc , 该文件名称则是testmainfunc.m )。
; l- H2 ?! ^5 e+ z! e2 Y! x7 K在主函数中,必须调用一个叫做 functiontests 的函数,搜集该函数中的所有局部函数, 产生一个包含这些局部函数的函数局部的测试矩阵并返回给Framework
& z1 W( g- R+ a* ~' f& X如下所示:6 W0 ?1 C/ g! o2 Y  h7 t, o
% testmainfunc.m 7 m. h; o3 o) p, [! T
  function tests = testmainfunc# L# ~1 N$ Z2 C8 _8 H3 y
    tests = functiontests(localfunctions);   % 主测试函数中必须要有这个命令  u; g6 j$ b* p! w* U9 c/ c. L
  end# I, D) T  ]0 W  J; ?! {( r
  ... ! C9 l2 Z1 ?8 o, P' w  u5 U- S8 m. l

0 z7 @+ z2 q& w+ X& g其中 localfunctions 是一个MATLAB函数,用来返回所有局部函数的函数句柄。 局部函数的命名必须以 test 开头,局部函数只接受一个输入参数,即测试对象,即下面例子中的形参 testCase
; E" i5 j% `% y4 J2 S( w6 I% testmainfunc.m $ P9 f+ G0 V0 b) d9 B: o
  ...* `& Y3 S- P; A# G2 z
  function testPoint1(testCase)    % 只接受一个输入参数* y$ O2 P2 n, w5 A5 T# B; ?  k
      testCase.verifyEqual(.....);6 Y8 Q2 F+ I! {5 p- R  v2 @2 }* V
  end ( i% P" L( Y& m! n
! \! q# L7 j/ V/ F" y* n, _, F
  function testPoint2(testCase)    % 只接受一个输入参数
0 y$ ]2 F! t  }% i5 P      testCase.verifyEqual(.....);
1 K% }2 D* v6 w  R# b, n3 Q  end   L9 E, j$ Z: g. g  J" L
  ...- o. V3 h! w. B. O
) U8 ^, ^1 T! E  j+ H+ k) u8 ~7 U- U
其中testCase由单元测试Framework提供,即Framework将自动的调用该函数,并且提供testCase参数。 按照规定,要运行单元测试中的所有测试,必须调用runtests函数
3 P4 ?4 w, C3 c: q% command line * R; ^7 k+ u/ t. s. g- c7 {# J
   >> runtests('testmainfunc.m')
! Q2 \2 \- R+ X: W
) v6 x- a( ]/ |+ {1 V' V7 i下面用我们用基于函数的单元测试来给getArea函数的构造其单元测试。' m0 c. E+ h" K% o% ~
getArea函数的单元测试: 版本 I4 ]/ Q4 L  J; \& @8 ^1 r
首先给主测试文件起个名字叫做testGetArea,该名字是任意的,为了便于理解名字里面通常包含test,并包含要测试的主要函数的名字:
2 o5 B, ~, @& e2 m& a% testGetArea.m
: Z& i$ v8 f3 }' n* w" }9 h, y3 ] function tests = testGetArea
( c7 O4 x2 W  ?0 |  w: ^9 A; L   tests = functiontests(localfunctions);
3 \: ^: d7 f* [" g7 l5 h  B4 X# z end
0 {4 f# T- P2 A+ ]3 e  z , c/ x( t/ A$ a
在该主函数中,localfunctions将搜集所有的局部函数,构造函数句柄数组并返回测试矩阵。这里自然会有一个问题,这个tests句柄数组将返回给谁,这就要了解Framework是如何和测试相互作用的。 如图Figure.3 所示,整个测试从 runtests('testmainfunc.m') 命令开始, 命令函数,Framework将首先调用testGetArea的主函数,得到所有的局部函数的函数句柄,如空心箭头线段所示,然后Framework再负责调用每一个测试局部函数,并且把testCase当做参数提供给每个局部函数,如虚线线段所示。我们可以把Framework想象成一个流水线,用户只需要通过 runtests('testmainfunc.m') 把"testmainfunc.m"放到流水线上并且打开开关"就可以了。它是MATLAB的类 matlab.unittest.FunctionTestCase 的对象。$ G4 n) |5 r" F5 ^; B
" B' J, C% V3 \8 a; U& p( k' v+ g+ X
Figure.3 单元测试Framework和测试函数的相互作用; k3 [+ L) p# w  U  V4 V
返回的testCase是类 matlab.unittest.FunctionTestCase 的对象,有很多成员验证方法可以提供给用户调用,我们的第一版的getArea函数如下, 要求函数接受两个参数,并且都是数值类型:; S% U) f! x. S, [
% 第一版的getArea函数
6 F/ N6 |% s# N8 g2 X6 l   function a = getArea(wd,ht)8 h+ T, k& Y3 C& i( M9 W

: w0 E6 C8 r8 j; M3 B; G6 K   p = inputParser;% P6 h0 C9 D0 e& a7 E0 k5 {
. K% r! x$ C9 Y' o" t+ k. ?
   p.addRequired('width', @isnumeric); % 检查输入必须是数值型的3 T4 T5 N* o" w7 f
   p.addRequired('height',@isnumeric);
  O" M/ x' E- \: _% @; Z
* y8 ^' s; b3 n8 }4 ^   p.parse(wd,ht);
; T4 E+ [( y. A* {1 @   - X4 u5 H. b$ j& P, s2 w
   a = p.Results.width*p.Results.height;  % 从Results处取结果+ }9 q3 Y3 K# f0 U1 j/ P! p, W5 k
end  
% p  {/ o$ P- H( x- f- a! s; X
" S. {7 J/ Q6 `/ p0 @' |. Z我们先给这个getArea写第一个测试点,确保测试getArea函数在接受两个参数的时候,能给出正确的答案
; Z+ \% F8 ~( `- t- U9 s2 w% testGetArea.m
+ b1 l# h: K" e function tests = testGetArea
" H$ {0 {2 E% e     tests = functiontests(localfunctions);
& `* R  M/ b4 W2 F end: _, }+ R* b: {% j
% 添加了第一个测试点( T% _8 H! n) |+ \- O1 o6 A
function testTwoInputs(testCase)3 P6 d' a' h; H+ A, X4 k4 g' F* {
     testCase.verifyTrue(getArea(10,22)==220,'!=220');
/ q# S2 T' ~. l     testCase.verifyTrue(getArea(3,4)==12,'!=12');   
- |  b& s5 r: b/ K% J1 }$ Y+ z end  
) p+ `" i* s. p ; g, \3 o  O- _" d9 w2 p
我们给testGetArea.m添加一个局部函数叫做testTwoInputs,按照规定,该局部函数的名字要以test开头,后面的名字要能够尽量反应该测试点的实际测试的内容。verifyTrue是一个testCase对象所支持的方法,它用来验证其第一个参数,作为一个表达式,是否为真。verifyTrue的第二个参数接受字符串,在测试失败时提供诊断提示。 一个很常见的问题是: getArea是一个极其简单的函数,内部的工作就是把两个输入相乘,在这里验证 getArea(10,22) == 220 真的有必要吗?请读者记住这个问题,它是理解单元测试的精要之一。 下面我们来运行这个测试:
- I* U4 X; z$ x- a1 x5 C% command line
- ]' a/ w. W) m/ N6 @9 I2 T& s >> results =runtests('testGetArea')) O1 Q8 C  s- x  w0 I
Running testGetArea
: k) E, f8 w3 g9 e+ L' n .
6 A! O" O- \" j9 C6 | Done testGetArea0 p$ @) c  B+ j* e' p: [
__________. [( j6 E! ]) C$ B! z  n
results =    % 测试返回matlab.unittest.TestResult对象
7 O+ \/ p5 J1 A& X   TestResult with properties:& ^8 Q. x6 \/ {3 v8 z# L
           Name: 'testGetArea/testTwoInputs'
7 B4 g" D. `7 k         Passed: 1              
. G/ j# u+ S0 d* b3 ?& E- v         Failed: 0# H, A2 M$ o) y4 W7 l# a; L
     Incomplete: 0
# [  _; G$ b, S       Duration: 0.0018
  v. W0 Q/ K& C! R% q Totals:
0 p" e- S- r8 R  `' V    1 Passed, 0 Failed, 0 Incomplete.' b' ]8 r" Y  i5 z+ n
    0.0018203 seconds testing time.
, l9 A: ?4 \9 O) n0 g9 r3 F  G% c8 L " {8 Y- J6 ]# f0 R) j! b
测试返回一个 matlab.unittest.TestResult 对象,其中包括运行测试的结果,不出意料我们的函数通过了这轮简单的测试。 如果函数没有通过测试,比如我们故意要验证一个错误的结果: getArea(10,22) ==04 i) A/ i/ l2 a9 c! H! |
% testGetArea.m
6 u' P8 ~9 B5 j0 v0 X& ~/ X% F) g function tests = testGetArea3 u9 H- u( P# ]5 L+ [! ?: |
     tests = functiontests(localfunctions);6 R9 d- j6 X, \
end
" Z) v- {) j) k' o6 c function testTwoInputs(testCase)
: T2 e7 a# }- ?" y7 t' T' Z     testCase.verifyTrue(getArea(10,22)==0,'Just A Test'); % 故意让验证失败
  h/ k) ~1 T0 u end  # j& c3 ]) Y& M7 {6 k6 u9 k
/ i# M, x9 h, Q% [
Framework将给出详尽的错误报告, 其中 Test Diagnostic 栏目中报告的就是verifyTrue函数中的第二个参数所提供的诊断信息。
3 q4 h& c6 o0 z' ^0 x% command line
1 |- N% f( I5 | >> results =runtests('testGetArea')
* t1 X! J" y$ O0 K Running testGetArea
- g$ J, k( m' i ================================================================================
$ v5 P! `9 r% Q0 F Verification failed in testGetArea/testTwoInputs.  % 验证失败: r6 o' \2 ]6 O
     ----------------" [/ c& N' M4 b& ?
     Test Diagnostic:           % 诊断信息
0 N5 d# Y8 p. N5 s  u# q     ----------------
3 K. D5 J: z6 L* `2 j4 O     Just A Test2 q$ E( Z, e- \$ u  I2 i
) w& A5 I1 O3 H( g2 r$ Y$ ?& S
     ---------------------
& ~" o* W6 {/ c# M' I4 M     Framework Diagnostic:      
3 ]( J0 O; f, m/ B6 d" L3 H     ---------------------
5 J& m. G6 L* L0 A, h+ r+ T( k     verifyTrue failed.       % 验证函数verifyTrue出错  
0 w$ n. ?( o( H. E     --> The value must evaluate to "true".
+ J: U" R- Z; z2 ~7 q                              % 验证的表达式getArea(10,22)==0的值应该为true- k1 j  U& B$ m3 r6 r$ r' j
     Actual logical:                  
5 y  Z1 Z3 l% s& a0 E+ B' x              0               % 表达式的实际值为false
4 d  l6 \; e7 e9 E' P* e     ------------------( _9 b' ~3 |$ f- J
     Stack Information:' r* s5 v/ A) J- r# F5 j- J# ^1 t
     ------------------
! ^/ ~! M2 O. E/ E! ^" y+ T     In testGetArea.m (testTwoInputs) at 6 % 测试点testTwoPoints出错$ \6 H" i& P8 Y: E  p
================================================================================
" Y4 f1 U% d+ ]+ q .
% o4 k- O; T) R3 j0 E Done testGetArea5 \: w* z) ~# \3 B- ]7 q
_________
0 o( `; v" }: I Failure Summary:                % 测试简报   
8 T3 g# j& R7 H( x( X. |      Name                       Failed  Incomplete  Reason(s)
9 j3 l; n; x5 m, P/ f  k1 g. a( p     ========================================================================
. G8 \6 c: k3 V$ c4 j; N, [  t      testGetArea/testTwoInputs    X                 Failed by verification.
8 ?, z# o  r: \. W# p# t6 L5 q3 Z" a% ]                                % 出错的测试点名称
$ ?% z/ G) X! a5 s/ K. T results = # \) ~7 F% x1 Y. {5 V$ q/ s/ s& z
   TestResult with properties:
# p+ ?/ s2 Z! z4 U9 y" M1 B
) X$ S1 |% W/ p; V  j+ _           Name: 'testGetArea/testTwoInputs'" f6 g4 v# A" S7 @$ p8 f
         Passed: 0              % 零个测试点通过7 j# N8 d- k6 o0 J7 t
         Failed: 1              % 一个测试点出错
: t5 g$ r- D& V! M7 u     Incomplete: 08 U/ F  X- I6 c$ k
       Duration: 0.0342
- F+ x( j: {' B: ^# o# v% j. B Totals:9 R* K2 v( X8 ~7 J* p3 L
    0 Passed, 1 Failed, 0 Incomplete.
6 F! c# S% l9 _# R- [& ^    0.03422 seconds testing time.  ' [" Q! j, S) m+ e5 Z
' q4 F0 W# l" E% k8 ?4 ~* O- a
我们再添加一个负面测试,回忆第一版的函数getArea不支持单个参数,如下:
5 i4 e! i% `4 Z6 a% M- ~# r1 @+ p% command line
$ h- ^$ y! V. _7 I% F >> getArea(10)          % 如预期报错 调用少一个参数
" U8 {  ?: N8 z2 N Error using getArea
. I8 L# }( q5 P! ^* P9 ?4 ~+ {- Q6 U  r Not enough input arguments.  
- l8 a5 z# [/ |2 V >> [a b] = lasterr      % 调用lasterr得到error ID* q2 y! g% _5 x' E) z6 U& K. P
a =
/ C/ w0 E4 P$ J+ y5 Y5 v3 T+ V$ ~ Error using getArea1 (line 6)
. r/ T" z4 U9 z Not enough input arguments.
$ s) q' h- W! x2 f3 a- v+ A0 O9 x b =
. M- z6 x% H  A# e2 r: n MATLAB:minrhs6 _$ U6 z9 X1 p1 Q

! T6 O( c4 K' F: U1 K我们可以利用lasterr函数得到了这个错误的Error ID,这个Error ID将在负面测试中用到。 下面是这个负面测试,验证在只有一个输入的情况下,getArea函数能够如预期报错。我们给测试添加一个新的测试点,叫做 testTwoInputsInvalid2 l2 T5 M$ z: F( Q* g: p3 f
% testGetArea.m
8 C( P8 O6 K0 B. F function tests = testGetArea8 S  S  _$ A0 C6 x: B+ ]  @$ v
    tests = functiontests(localfunctions);! p7 a$ O% i* ~0 q; X
end
# n! E5 A5 T; O* w) E
  H2 B" Z, ^; Y5 X2 U; V function testTwoInputs(testCase)1 o9 @- N+ f# Y. j: i5 U
     testCase.verifyTrue(getArea1(10,22)==220,'!=220');
$ M5 H/ X$ f/ d# H) P& ~* b     testCase.verifyTrue(getArea1(3,4)==12,'!=12');    ) q' s. d1 }- P% o" _
end
: L: l5 J3 }2 k2 m# b7 Y % 添加了第2个测试点 5 y, f% O9 Z: x# Z; [
function testTwoInputsInvalid(testCase)8 C) c3 v. e( e& t4 r
     testCase.verifyError(@()getArea1(10),'MATLAB:minrhs');5 m8 C" i; m0 M' x  d, ]
end; j7 ^  }* w0 C6 N* K

" Y" Z( ^/ Z# C# {0 d! `在 testTwoInputsInvalid 中, 我们使用了测试对象的verifyError成员函数,它的第一个参数是函数句柄,即要执行的语言(会出错的语句),第二个参数是要验证的MATLAB错误的Error ID, 就是我们前面用lasterr函数得到的信息。verifyError内部还有try和catch,可以运行函数句柄,捕捉到错误,并且把Error ID和第二个参数做比较。 再举一个例子,我们先在getArea函数中规定所有的输入必须是数值类型,所以如果输入的是字符串,getArea将报错,先再命令行中实验一下,以便得到Error ID:
% r4 ?; T0 T& X0 s% 在命令行中得到Error ID
0 n: P2 h+ G6 n2 {2 [2 Z; Q  P! t >> getArea1('10',22)
5 m5 }3 |) y$ h7 ~. O1 | Error using getArea1 (line 6)
. u0 ~4 |$ i# D( i The value of 'width' is invalid. It must satisfy the function: isnumeric.
- {" W; Z# D$ L >> [a b] = lasterr" H& x' H& j; t, i9 Y$ M& @+ `: s
a =9 J# @6 a- V7 Z* {; g' M
Error using getArea1 (line 6)
8 }' M3 w# L2 I) g( a; r The value of 'width' is invalid. It must satisfy the function: isnumeric.
! d/ m, F: c6 e0 \ b =0 g" |: y0 U: a% |
MATLAB:InputParser:ArgumentFailedValidation     % 这个Error ID是我们需要的
0 x1 e5 b2 Q: u' s" k0 p
3 q7 L& s; @. t( N1 l) T然后再把这个负面测试添加到testGetArea中去9 Q2 j" T. {; D" k5 `" t& S# D
% testGetArea.m
# J) H& n  i$ l  S function tests = testGetArea2 {' ?7 y. y9 N: w
tests = functiontests(localfunctions);6 @' `3 \8 |1 d. V
end; P2 y# |5 K1 l* t8 ?

" j  U3 F, H$ c% E: f4 [3 u function testTwoInputs(testCase)
* E2 E8 j! v+ w     testCase.verifyTrue(getArea1(10,22)==220,'!=220');7 f2 u0 g$ u+ @/ F3 i
     testCase.verifyTrue(getArea1(3,4)==12,'!=12');   
! g5 o' C, e+ r2 ` end+ S; A$ ~, `4 J4 Y
  
+ |# ?7 Y$ v9 p5 y+ p function testTwoInputsInvalid(testCase)5 j* f" B" d) P" T( }) `
     testCase.verifyError(@()getArea1(10),'MATLAB:minrhs');
* L# d0 G$ S! M, B9 G5 g) Q0 A, ~     testCase.verifyError(@()getArea1('10',22),...    % 新增的test
! @, F1 N4 E1 |+ d                         'MATLAB:InputParser:ArgumentFailedValidation')! V; v* g, p% v  G2 [
end  . W2 l* ^8 F3 f0 f; U0 D

" D. D; {! q* ]" o1 f: C运行一遍,一个正面测试,一个负面测试都全部通过。
7 l& D% t. s* c& _3 l8 e5 }3 G% command line
. |8 q# ^0 j1 d: J5 T8 } >> runtests('testGetArea'): D; ?- j" b0 b8 z" F
Running testGetArea0 W* f1 ?( y  j4 |+ \
..
/ _5 I" D; m" W# d9 I9 x; N Done testGetArea
, N( T" p4 \6 K$ F1 ` _________% N% A1 O  B+ g5 m
ans =
$ g2 }  m/ Y4 y   1x2 TestResult array with properties:
  U3 [5 Z, T3 [, V4 `: Q) p; W     Name
3 O( [# v& t8 @/ E: G     Passed7 z6 n3 X9 V1 }" B6 D# U
     Failed
4 P0 _0 B/ M$ D" O3 p     Incomplete& d# Q  C/ H* O# H+ i
     Duration3 U  i4 V1 Z- O, J# [/ R" k
Totals:7 n# U8 A3 p" M: h, R( m9 \
    2 Passed, 0 Failed, 0 Incomplete.9 y  I8 ~+ z6 [( t6 z+ r
    0.0094501 seconds testing time.  # l5 I. Y: v  T7 K
  i& E5 g% ?, Z# ?( e
getArea函数的单元测试: 版本II & III1 Y2 X9 o( j& |' T4 u& u% R& o
回忆getArea函数的开发,第二个版本我们给getArea添加了可以处理单个参数的能力,并且把inputParser和validateAttributes联合起来使用。新的函数在原来的基础上可以应付如下的新的情况( N. v/ V) f, M
% command line   ~* S( M" x3 ~5 Q3 e0 p" f$ y
>> getArea(10)    % 正确处理了单个参数的情况
! J' w9 L4 k7 ~* o: `* ? ans =/ P) A8 J  q% H, u3 t
    100
& e: s$ `6 |" d4 ]* N 4 V$ J4 @% e8 i; \
>> getArea(10,0)  % 如预期检查出第二个参数的错误,并给出提示
- }6 B, Z& r3 X& _9 R' B8 Y Error using getArea (line 37)& t; G/ h7 `7 W8 V- Q$ l( A
The value of 'height' is invalid. Expected input number 2, height, to be nonzero.
" n- Q; r) T4 k% j; J8 w  , m8 H, }# q; W; l9 ~: Y6 N# c3 t
>> getArea(0,22)  % 如预期检查出第一个参数的错误,并给出提示. ]1 ^5 A1 u% N( t
Error using getArea (line 37)
" ~$ w+ B/ D4 M7 E* E5 r The value of 'width' is invalid. Expected input number 1, width, to be nonzero.  ) T) s% u: i, a8 S. [1 W3 A0 n; P
: e- M- y4 F) |
在开发完这第二个版本的函数之后,我们首先运行了一下已经有的testGetArea测试,发现之前添加的一个测试点,验证函数在接受一个参数时会报错的情况已不再适用,因为我们已经开始支持单参数的功能了,所以要去掉它,随着程序算法的不断开发,修改或删除已有的测试是很常见的7 W1 U, A) X4 K3 t( M6 k
% testGetArea.m 7 u1 P, ~; e2 ^  W% {8 e. b( B
   ...3 e+ p! O- _; m/ O3 c
  % testCase.verifyError(@()getArea1(10),'MATLAB:minrhs');  需要去掉这个测试
2 K5 t2 K0 i$ q& p! S   ...
( w9 d0 p/ f" Q4 r   u( Y% W3 D% }2 }# C; B
去掉不再适用的测试之后,我们继续给单元测试添加新的测试点,首先添加一个Postive 测试点,确保getArea函数接受单一参数计算结果正确. d* c+ P' M' k% h7 E
% 确保单一参数计算正确 / c3 g, y" g! L2 y
function tests = testGetArea& l* b4 o2 l4 j
    ...从略
. H0 Z$ ^# k$ V0 j3 J  5 h* V) ^4 s! G& ?! `
  function testOneInput(testCase)7 V; b& W. i/ `
       testCase.verifyTrue(getArea2(10) ==100,'!=100');% D; H# f' b4 n4 a$ x% z9 M
       testCase.verifyTrue(getArea2(22) ==484,'!=484');
8 h) E7 y! K3 ]2 n2 ~/ x  end, p' T( r& A' E, E7 {7 [# @
7 o! _0 h+ a9 |! K5 M- O
再添加一个Negative测试点,确保getArea函数会处理输入是零的情况0 T/ K, G2 _7 N& _9 y+ k( H5 ^
% 保证不接受零输入  / f3 h/ x. [5 d& `, `
function tests = testGetArea
: y, Q3 U  l7 d4 c& T+ I    ...从略/ h/ B1 s" G( C

& o/ ~; p4 d1 R$ F% z0 f& q# a2 z  function testTwoInputsZero(testCase)
% S0 ~" Y* ^- A/ z1 [      testCase.verifyError(@()getArea(10,0),'MATLAB:expectedNonZero');
1 \7 [+ c& e6 Y" J- X4 n: k      testCase.verifyError(@()getArea(0,22),'MATLAB:expectedNonZero');
" h5 r/ H$ m' |9 z4 d# b1 m  end$ s  l6 [; Q  m

# M8 E# u* D: G然后调用- P; J2 U6 o* W6 O
% command line
5 W0 j0 d+ G' I8 l- w >> runtests('testGetArea')" N. X: l1 _& S4 Z6 T& Z
...  3 G: r$ [! C" V7 V2 f7 e: |
, d$ S1 V4 O. }8 A* `
每次运行这个命令,会运行之前所有的测试点和新的测试点,这也就保证了对新添加的算法没有破坏以前有的功能。我们前面问了一个问题: 验证getArea(10,22) == 220 真的有必要吗。9 K; }6 i; S4 W& r( n
其必要性之一,也是单元测试功能之一:即这个验证其实是对getArea能正确处理两个参数的能力的一个历史记录。因为我们在不停的算法开发中,很难保证不会偶然破坏一些以前的什么功能,但是只要有这条测试在,无论我们对getArea函数做怎样翻天复地的修改,只要一运行测试,都会验证这条历史记录,确保我们没有损坏已经有的功能,换句话说,新的函数是向后兼容的。对于一个科学工程计算系统来说,一个函数会被用在很多不同的地方,向后兼容让我们放心的继续开发新的功能,而不用担心是否要去检查所有其它使用该函数的地方。所以从这个角度说:单元测试是算法开发的堡垒,算法的开发应该以单元测试来步步为营,在确保算法没有退化的基础上开发新的内容。话说回来,为了让这个版本的getArea能够顺利运行,我们确实去掉了一个对单一参数报错的测试,因为函数开始支持这种功能了,这种做法和我们说以单元测试步步为营并不矛盾,如果新的算法导致旧的测试失败,我们要根据实际情况,酌情决定是修改算法还是修改测试。8 ~( G( m4 U- r( v0 V& h; O  F: m
在getArea的第三个版本中,我们给函数添加了两个可选的参数:shape和units,并且它们的顺序可以相互颠倒的。新的函数可以应付如下的情况:
+ C; d+ `" `% V! U" `1 A% command line 4 m, m, x$ B+ s$ i8 w* n* r* E
>> getArea(10,22,'shape','square','units','m') %接受两对name-value pair8 R* z" m) ~0 }" K
ans =            %--name  value  --name   value
! C! }+ p# x9 `8 Z# W      area: 220
% o  L* J. n8 }: j, g! b1 U" R& g     shape: 'square'
) y) \  ^3 ~5 `     units: 'm'
7 n9 I7 J/ S1 b/ o" J& ` ' i0 b" X1 E; s0 f5 K  w' j3 ?6 H: |
>> getArea(10,22,'units','m','shape','square')  % 变化了参数的位置& C2 A3 A) _5 A% ~% |
ans = 5 A- Q+ R5 S! i  m7 ]* Q
      area: 220
# K9 W2 b8 [5 _8 N4 k     shape: 'square'5 _) C3 S% g* h0 a* {+ o# [
     units: 'm'+ h4 M7 Z9 M8 [/ M$ F  u! K

0 `' w; W) z2 K1 @; w * ^- s; S% U+ `) v+ C- n
>> getArea(10,22,'units','m')                   % 仅仅提供unit参数
, O& ]! l5 m5 z ans =
+ G; t5 M+ [+ i3 K8 k' E# }! F      area: 220
8 Z4 n, Z( @% w! R. }" E     shape: 'rectangle'
% j8 X* s; K& v; M     units: 'm'  $ I! A2 q  L' X" h. t7 P6 g
9 X- h6 b& h$ |5 s* w
为其添加的新的测试点如下:
: Q+ @* W: u2 x2 ?5 n& t% testGetArea - B  t  U/ f6 M$ p$ V, I/ F
function tests = testGetArea
' P" k+ }2 i9 h* ?   ...从略
) I2 {& ]# x/ A, e9 X" y: V  
0 _0 p  ^3 n  U7 q/ E  function testFourInputs(testCase) % 记录可以支持四个参数的情况7 q) x$ z$ N; c9 \  l
     actStruct = getArea5(10,22,'shape','square','unit','m');
$ `( H, u" D, T( u     expStruct = struct('area',220,'shape','square','units','m');) Q3 Q* H( q6 w$ o2 k1 A' _
     testCase.verifyEqual(actStruct,expStruct,'structs not equal');; b5 {8 F: E/ v/ }) ^
  & C4 M  H9 q9 ~% e7 r5 U
     actStruct = getArea5(10,22,'unit','m','shape','square');
  k& `3 Y; x) o2 G: `* y5 s     expStruct = struct('area',220,'shape','square','units','m');: N. K6 h5 I# w
     testCase.verifyEqual(actStruct,expStruct,'structs not equal');
' f$ g3 u+ B7 j" c. x' d4 a- D  end# c! `0 z1 w- D5 @9 }; Q
  % O' d% C$ S* h' O. y
    p3 ?) A0 G5 C+ k: @
  function testThreeInputs(testCase) % 记录可以支持三个参数的情况
: v4 h' m3 J' }0 ~& h6 M# Y+ z     actStruct = getArea5(10,22,'units','m');9 T; {, g, X$ f/ ~9 @
     expStruct = struct('area',220,'shape','rectangle','units','m');
/ @* v2 @# v( i3 \3 k1 P     testCase.verifyEqual(actStruct,expStruct,'structs not equal');- b3 F; }; ~! u7 ^2 R! D5 J3 v
  end! O1 [/ U% u, t' M' H% ~
   
. g1 C' s3 G: E3 Y2 z8 j & J' l( {! E; D
在testFourInputs中,我们从getArea函数那里先得到一个结构体,命名叫做actStruct(实际值) 然后准备了一个结构体叫做 expStruct (期望值),然后把用verifyEqual方法来作比较 在testThreeInputs中,我们调换的第三和第四个参数的位置,确保结果依然是我们预期的。
& D  r  B4 d, }! Q  `9 E测试的准备和清理工作: Tests Fixtures
/ G9 p, E0 m. B2 Z本节介绍单元测试系统中另一个很重要的概念叫做Fixture。假设我们要给图形处理的一系列算法写测试,这些算法需要图像数据作为输入,所以在测试之前,我们需要先载入图像数据,按照上节的例子,单元测试看上去是这样的。
/ u! K: {/ q" A/ t/ P% M8 {6 M% testImgProcess 6 Z- c0 d) o- y' U9 J# |
  function tests = testImgProcess(  )
  W/ t& G9 `7 t+ j8 n. h     tests = functiontests(localfunctions);& m3 @) P' Z4 T# ~" g0 e& Y
end" h+ W5 H/ s$ r! t

2 {! \$ @% L, R # k8 c% S9 {; g
function testOp1(testCase)
& A2 M) @/ r6 G6 y' g     img = imread('testimg.tif');    % 载入图像. K4 ]* S! u. F9 r1 F' M8 x7 ?9 @$ x* E+ p
     Op1(img);
4 U- i8 p+ I  A7 p0 f     % ... rest of the work ( Q& O3 v; J# q
end2 q  u, ]: M' x! G. @' o' l6 ]5 G/ x

& B' F6 J: L( @& ^ function testOp2(testCase)         
& T5 x) p. E) V     img = imread('testimg.tif');   % 载入图像
/ B+ |9 Y" Z, N& A* c2 x+ {     Op2(img);+ G6 {3 Z4 z( w# c) ~: P, {
     % ... rest of the work
$ g/ y4 l1 u$ h1 G! G end
/ l0 Z0 r4 c/ I0 V) B; b
8 f8 ?  \5 d( q( q& C0 M* R$ @0 w可以观察到,在每个测试点的一开始,都有同样的准备工作,就是打开一个图像。在单元测试中,这叫做Test Fixture, 即每个测试的共同准备工作。如果这个测试函数中有很多这样的测试点,每次都要重复的调用imread操作很麻烦。对于这样的准备工作,我们可以把它们放在一个叫做setup的局部函数中,该函数统一地在每个测试点的开始之前被调用。这样就不用在每个测试点中都包括一个imread的调用了。新的测试看上去是这样的:& q3 Z$ }2 p6 Q0 [8 x
% 使用setup和teardown
# G" P; x8 d/ A; | function tests = testImgProcess(  )) S, v6 G3 k. L
     tests = functiontests(localfunctions);7 H9 B* I- a' Y+ W
end
' u6 ^: O# ^& C4 B5 x& r8 D 9 I0 ?: M" j/ c
function setup(testCase)
/ r% p: a* Y  T. q- A0 I4 B) Z     testCase.TestData.img = imread('corn.tif');: K+ V3 o5 Z2 L; F) r! J
    % 其它的准备工作" L; P# e0 g  ^, j* W( w8 b
end
/ n' m+ K- f4 W1 n2 t function teardown(testCase)
1 Y: p% v- K% n& K4 c    % 其他清理工作
" R% q* |' c" u6 q" h end! r  h# Y' A& `7 u
function testOp1(testCase)7 i, r, u& v7 X8 P' H# P
     newImg = Op1(testCase.TestData.img);   % 直接使用对象testCase的属性TestData
, L. @' }9 r$ {) T& f( A& i     % ... rest of the work , _8 A9 P% B. {; D9 }: i$ }
end/ J% _: ~0 Y9 A1 U6 D& v7 O

+ S1 ?6 j) X0 i% F  Y7 g0 ~; s9 a function testOp2(testCase)
% u1 l1 j/ z2 g  Q4 n4 i     newImg = Op2(TestCase.TestData.img);h
1 a! m% p5 H; T  V+ Z& C     % ... rest of the work
0 U7 y# h% L  F: z& P* r end  & ]9 A) e7 l$ p* y7 e8 S
# O! v# k. O" Y  H' v, ]
在setup方法中,我们打开一个文件,并把数据动态地添加到testCase对象的TestData结构体上,在之后的每个局部测试点中,我们可以通过 testCase.TestData.img 来访问这个数据。 setup中还可以放其他的准备工作,比如创建一个临时的文件夹放置临时的数据等待。对应的teardown函数中用来存放每个局部测试点运行完毕之后的清理工作,比如清除临时文件夹。 setup和teardown方法在每个局部测试点的开始和结束后运行,所以如果该主测试文件有两个测试点,那么setup和teardown各被运行了两次,流程如图所示:' Z& f/ s% t3 H! p: o' G9 Z1 Z, B

  g) ]& z+ c5 KFigure.4, setup和teardown方法在每个局部测试点的开始和结束后运行
; ]& E3 r0 Q# W3 u2 e# C* q! R如果还有一些准备和清理工作只需要开始和结束的时候各运行一次,那么可以把他们放到setupOnce和teardownOnce中去,比如我们要验证一些算法,而给该算法提供的数据来自数据库,在运行算法测试之前,要先连接数据库,在测试结束之后,要关闭和数据库的连接,这样的工作就符合setupOnce和teardownOnce的范畴,如下所示:
6 A, j7 l8 p* @' |7 D% 使用setupOnce teardownOnce来管理对数据库的连接 # K1 o/ c  e) ?+ N) G6 B& B" s$ E0 g7 d
function tests = testAlgo(  )2 G8 {; q; Z6 L, y
     tests = functiontests(localfunctions);
6 {! W, n* E( e8 l end
  v" T* v9 d+ O' n4 w" Z" @+ q8 z
1 g6 e; F) ~: {3 N4 k: { function setupOnce(testCase)1 L! r8 \$ [4 W: M3 i
     testCase.TestData.conn = connect_DB('testdb'); %一个假想的连接数据库的函数
$ K, ]- b/ Z6 Y end! W5 }) y4 h" L: O
function teardownOnce(testCase)
1 W/ F& C: O6 d: a8 r1 }     disconnect_DB();8 l, a- d) Z+ V4 b% [' q! G
end. t1 w1 A% u6 q1 l' S
function testAlgo1(testCase)6 w* W' `& Y. J5 |1 m: j
     % retrieve data and do testing2 `4 t! K! H  t5 Q6 T  o; \
end3 b  o" E, C. P* u9 A% l

3 s: t" T2 g: N1 x+ v function testAlgo2(testCase)/ Y3 s; x& z- x/ t" |& E5 f
     % retrieve data and do testing
7 K* p6 F/ s1 N  D2 {2 v/ A
9 U2 _# R% C+ I+ {0 m; C end
4 _0 x: s8 o5 M* s; d# R
8 T  p/ F) e. S  A4 ]+ ssetupOnce和teardownOnce方法仅仅在整个测试开始和结束时运行一次,流程如图 Figure.5 所示( [) r- V% I7 f- u& q
* r5 H7 d# ?. P5 v% k- v4 `
Figure.5, setupOnce和teardownOnce方法仅仅在整个测试开始和结束是运行一次; t0 [( B4 w+ [$ U* F+ I
setupOnce,teardownOnce和setup,teardown也可以联合起来使用,如图Figure.6 所示:
: l8 l+ @8 S; c/ \& I6 C
* h: I, l" D6 k! @Figure.6 setupOnce,teardownOnce和setup,teardown联合起来使用
- y# l' U2 i0 ~1 _验证方法: Types of Qualification
: ]1 m2 x% f# O# }在getArea函数的单元测试: 版本I 节中我们提到,如下的测试点中:$ K0 Q- _" C' F; e% z6 k1 w+ k
% testGetArea.m 8 b' ?. Y! J& O8 T' ^6 ?
function tests = testGetArea
2 U. U$ ^0 u. J. B4 c$ K6 I* W     tests = functiontests(localfunctions);
* M4 \& i7 I: w# k& a end
% z4 t) b- g5 @9 p* o& y % 添加了第一个测试点4 Z, [( _: ]& b& D
function testTwoInputs(testCase), p  `, M! N( W; T  r5 M
     testCase.verifyTrue(getArea(10,22)==220,'!=220');
2 _2 I, I/ ]9 c9 Y) C( r: D     testCase.verifyTrue(getArea(3,4)==12,'!=12');    # G. E  W. i3 H9 k5 a; x
end  
- O, f+ T" Z# L) N# e8 H4 y+ R4 [ ' D" v: C# C/ D) H
参数testCase是类 matlab.unittest.FunctionTestCase 的对象,由Framework提供,该类有很多成员验证方法可以提供给用户调用,比如前几节用到的verifyTrue 和 verifyError ,这个两个验证方法最常见。全部的验证方法下表所示:
- F0 h5 A0 T6 p( j1 ]( D验证方法        验证        典型使用
5 ]+ }3 f: n$ @( g, ]9 `; x  AverifyTrue        表达式值为真        testCase.verifyTrue(expr,msg)( ]5 H' L: g" F6 I4 Q' K7 c. b8 L
verifyFalse        表达式值为假        testCase.verifyFalse(expr,msg)6 A" m7 x  m2 ^1 e4 N' s
verifyEqual        两个输入的表达式相同        testCase.verifyEqual(expr1,expr2,msg)7 w8 X: N% G* O. k
verifyNotEqual        两个输入的表达式不同        testCase.verifyNotEqual(expr1,expr2,msg)
# v/ G# K% |8 q8 ^verifySameHandle        两个handle指向同一个对象        testCase.verifySameHandle(h1,h2,msg)
' Z% [* Q1 l6 v. z# Z* B( VverifyNotSameHanle        两个handle指向不同对象        testCase.verifyNotSameHandle(h1,h2,msg)
$ H* f( U9 s# i, J8 @8 y9 @verifyReturnsTrue        函数句柄执行返回结果为真        testCase.verifyReturnsTrue(fh,msg)) N. Q/ G+ d4 g& }6 x
verifyFail        无条件产生一个错误        testCase.verifyFail(msg)2 Q+ b! p) F( [
verifyThat        表达式值满足某条件        testCase.verifyThat(5, IsEqualTo(5), '')
0 E4 r8 H* q7 M" _& h. J' JverifyGreatThan        大于        testCase.verifyGreaterThan(3,2)
4 {/ M$ n! t0 a) ~) \$ o2 @; _verifyGreaterThanOrEqual        大于等于        testCase.verifyGreateThanOrEqual(3,2)
$ K/ H( N* j+ E% x2 B2 r8 R5 C/ yverifyLessThan        小于        testCase.verifyLessThan(2,3)
9 P& f- D8 D% C, i2 cverifyLessThanOrEqual        小于等于        testCase.verifyLessThanOrEqual(2,3)+ a0 P% G  g  F
verifyClass        表达式的类型        testCase.verifyClass(value,className)
. i. F5 h- @& j1 sverifyInstanceOf        对象类型        testCase.verifyInstanceOf(derive,?Base)
, G- C5 D( Y- j2 L2 A/ l. GverifyEmpty        表达式为空        testCase.verifyEmpty(expr,msg)& G- E" `8 z! F
verifyNotEmpty        表达式非空        testCase.verifyNotEmpty(expr,msg)
) D8 j6 R/ P) N8 k' W) NverifySize        表达式尺寸        testCase.verifySize(expr,dims)
% H8 ]3 f* o7 C. H& Q# o3 }5 QverifyLength        表达式长度        testCase.verifyLength(expr,len)& O/ }# @4 o; ^& X9 W% f2 l4 A
verifyNumElements        表达式中元素的总数        testCase.verifyNumElements(expr,value)2 E' N$ R. h/ H) t
verifySubstring        表达式中含有字串        testCase.verifySubstring('thing','th')
, z& M; u0 q2 i; UverifyMatches        字串匹配        testCase.verifyMatches('Another', 'An')- P0 c7 ^6 C2 a& v6 N
verifyError        句柄的执行抛出指定错误        testCase.verifyError(fh,id,msg)$ n% B) z, @: f6 `1 a/ R: t) \
verifyWarning        句柄的执行抛出指定警告        testCase.verifyWarning(fh,id,msg)
# C5 X6 j* v* ^5 g" w# zverifyWarningFree        句柄的执行没有警告        testCase.verifyWarningFree(fh)/ ?6 W/ t' M/ q
除了verify系列的函数,MATLAB单元测试还提供
- X( }  p1 D. t7 Vassume系列
0 s& z8 j- ^0 m' u6 Massert系列
& v% K( \3 l, l/ ^fatalAssert系列
3 Y1 C% Q3 Q2 E的验证函数,也就是说,上面每一个verify函数,都有一个对应的assume,assert和fatalAssert函数。比如除了verifyTrue,还有assumeTrue,assertTrue,fatalAssertTrue三个验证方法。) a' M; q! Y6 A5 i8 m
assume系列的验证方法一般用来验证一些测试是否满足某些先决条件,如果满足,测试继续,如果不满足,则过滤掉这个测试,但是不产生错误。比如下面的测试点,如果测试者的意图是:在Windows平台下才执行,没有必要在其它平台下执行
$ i# |( A( Y! J! S+ n5 k6 n% tFoo.m
0 L4 b8 w6 J' R- P( C function tests = tFoo! Y7 D. P( Z& z
     tests = functiontests(localfunctions);
5 T8 H$ P, z1 s$ d3 E end7 a+ O# n: q% i" v

; ]; S. ~" r* h$ O0 p function testSomething_PC(testCase)   
# }9 x; A$ e  E- K- i6 u     testCase.assumeTrue(ispc,'only run in PC');   % 如果这个测试点在其它平台运行,
9 O% w5 q# j  T8 C. }, U8 q                                                   % 则显示Incomplete
. L+ \1 Q! ?/ x     % ....  h) `' |7 c9 {0 @$ @
end    ( u) Y+ N. }6 V* n% t+ i
; G: l  v( J* N$ y( P. a0 R0 r- w
如果我们在MAC下运行这个测试,则显示
$ [; @# s; M& v( Y; j) G( h/ i6 F  S>> runtests('tFoo')% o# U  S/ L" l0 J% u( l
Running tFoo
) I4 S2 i+ j; j$ ?. u+ V! P5 @# c ================================================================================
$ N8 b- f: u# H( ]7 l6 k/ n( |1 ]2 e tFoo/testSomething_PC was filtered.* i9 R/ ~3 W3 d
     Test Diagnostic: only run in PC+ w% e% \5 K# O) `9 E  e& v
     Details! e" Y' `  y6 ~3 u: i
================================================================================
! W  n' L8 r' I8 T/ ?- u ./ [6 R# @8 A+ t6 B. U8 |2 ^
Done tFoo
- O# Y( r% _3 f, H  V# N, T1 M& J __________$ ~  }. N; m) B. Z0 t0 G

( u( n% B4 V) N Failure Summary:
/ d3 d! c  t, c! G9 v
0 n( U1 z, G1 U# j3 ?+ m/ ?. @      Name                   Failed  Incomplete  Reason(s)3 u0 M. s! V  o0 M( y6 O
     ====================================================================
$ I/ o+ ~* M4 e, v9 H1 c      tFoo/testSomething_PC              X       Filtered by assumption.: v/ J- q) O! B* O( J, e2 g8 e
                                                 该测试被过滤掉了, R. x7 k7 m: X1 m: i- R; ?
ans =
9 v9 i8 w# R! j" u9 {3 _- N   TestResult with properties:
* N: y( h2 T: U0 Q 7 ^0 V! x  H/ ~% m7 m+ M; d
           Name: 'tFoo/testSomething_PC'$ c* D% V9 K/ v' {5 Y3 @' s# x
         Passed: 0$ p9 H$ q2 ^, A9 p
         Failed: 0
3 J4 ~( g% R2 M     Incomplete: 1
  o2 g  e% T; |6 k. ]0 i& D  T       Duration: 0.0466' _) P# T, K& B
7 @4 r$ M4 J7 W  A0 ]9 N+ I6 ?3 @
Totals:" q, ?9 K0 a, h+ x& h+ m* }
    0 Passed, 0 Failed, 1 Incomplete.6 r  }* d2 I" u0 g& X  A
    0.046577 seconds testing time.  
6 E3 H' u) a: J: k0 Y7 C
, i2 T) l! s$ x( {8 {) Q5 ?assert系列的验证方法也是用来验证一些测试是否满足某些先决条件,如果满足,测试继续,如果不满足,则过滤掉这个测试,并且产生错误。但是它不会影响其余的测试点。比如下面这个例子,testSomething测试点中,我们要求该测试的先决条件是数据库必须先被连接,如果没有连接,那么没有必要进行余下的测试,并且testA的测试结果显示失败。但是这个失败将不会影响testB测试点的运行4 J; ?3 m% u* L0 i
function tests = tFoo
/ ^3 N% u1 u5 \  N7 q     tests = functiontests(localfunctions);% v8 _2 E9 f1 L
end6 B, X  ^3 H  t3 {' u

, i. ~  S# d2 T function testA(testCase)   
* |5 V& N8 c. g6 C. e9 V6 {- Y     testCase.assertTrue(isConnected(),'database must be connected!') 7 G. ~3 N. `% ]4 R7 V
     % 其它测试内容   q2 p; p2 \; W9 @' Y' j! ?/ e# I1 n
end  
, j8 c# a% [, \) P' m/ w & w( X: r2 {& r9 l# d" c7 D
function testB(testCase). f) p$ \3 V5 t% }2 \
     testCase.verifyTrue(1==1,'');- C+ j6 O& y- Q3 c! }; W( l* G
end
, j7 X: q) z% \$ W8 I 3 B* Y  D2 \( s3 Z2 |8 \4 q' L  ?7 \
运行这个测试,显示如下$ x3 P8 I: K1 p. A" P# ^+ m3 D
% command line
& [# Q/ `  f+ p1 p0 y2 T   >> runtests('tFoo'), A4 d1 _1 v% t( M6 l
Running tFoo
+ H2 O3 s' ~/ T: {0 n ================================================================================3 r8 _7 O* @. ]. g: G/ b% ]; W5 R
Assertion failed in tFoo/testA and it did not run to completion.
$ `# u5 q% _! |! p. p* X. \- a     ----------------- ^( {) l: S/ `; G0 T; y) y$ r
     Test Diagnostic:
# ^$ L! c& |! ~/ z     ----------------0 F1 Q' [8 ]4 R- y
     database must be connected!
4 n6 P/ b* z5 {+ A. p6 H6 X     ---------------------
! g  R: Z* E5 Z2 K4 ~, Y     Framework Diagnostic:
) j. a, {) k2 A' \8 \, z. \# c     ---------------------. O+ y8 j) d" J4 v8 `+ ^( @
     assertTrue failed.& k+ o9 O  d  i: J9 l- h4 O( Z
     --> The value must evaluate to "true".
6 Z  b+ B2 @7 t, |+ I" f$ C8 M     # G0 F- B8 _. ?6 J/ D3 a
     Actual logical:
8 k- h; I6 f0 {$ v              0
2 c5 U1 N6 p# N% i7 F' _" A& O     ------------------
9 P. h2 K9 e# P1 g/ d6 n     Stack Information:
% }, }. a$ a  v     ------------------3 w/ q; n' R& d) L/ i4 P" V) m
     In /Users/iamxuxiao/Documents/MATLAB/tFoo.m (testA) at 6
5 U) I! r$ _0 A4 b3 @1 y& c ================================================================================
9 r2 E: r! m: p  ^" \ ..
" \7 r* }; ]- l$ x) I! S! E Done tFoo
1 _' V  J( Z! b __________
6 C  ~7 ]/ C' ]4 @
6 n+ g- H  M! a! ~ Failure Summary:5 o/ \2 J5 v! C, s: o( h, r% y

6 p: t6 M9 |4 I      Name        Failed  Incomplete  Reason(s)
5 a2 i4 y" M  b6 v0 u4 q* J+ r     ======================================================% v0 M, D0 D4 S# Q& G+ m5 Q0 j+ e9 s3 D
      tFoo/testA    X         X       Failed by assertion.
  E, U2 D% k9 X4 f0 _3 T% J     - {# D6 A- E" ?3 O; n) C# x4 ~8 V2 M$ f
Totals:
8 T5 J3 n) n; _" G: o& \' N    1 Passed, 1 Failed, 1 Incomplete.) {( u' U* g; C% F4 O+ E9 e9 X& Z
    0.036008 seconds testing time.
' [' I2 y" y) `1 }7 o* j" k- g
* R! m% A2 s$ J) C  ~2 r$ y最后,fatalAssert系列的验证方法,顾名思义,就是如果失败,立即停止结束所有的测试。如果还有未运行的测试点,则不再运行它们,例子从略。5 J. V* c& I5 S. }
测试方法论和以测试驱动开发(Test-Driven Development)- b# Q$ q# E$ h
开发流程概述: j* b- u7 K" v" k) C" u9 h
在前节的基础上,本节将抽象的讨论MATLAB常见的开发流程,引入用测试驱动开发的思想。先概述一下常见的开发工作流程。最简单也是最常见的工作流程是:先用代码实现一个功能,然后在命令行测试该代码是否达到预期目的,如果达到了,则该函数放到更大的工程项目中去使用,然后不再去更新,如图所示:
3 n, Q1 M7 [4 D" }, I, i( i  J  Z; _8 C  u
Figure.8 最简单最常见的工作流程
6 O& e$ }2 p8 n- ?如果比较复杂的功能,在写好的代码放入更大的工程项目之前,我们通常需要在命令行中反复的测试各个方面的功能, 方便起见,我们通常还会写一个专门测试的脚本,比如新的函数如果叫做op1, 通常习惯会写一个script1.m来一次性测试op1的所有的功能。测试完毕之后,把op1函数放入工程项目中,而该script1.m脚本,通常因为没有很好的管理方式,则难免遗忘在某个文件夹中,或遗忘在工程项目的最上层目录里面,最终被清理掉。
( T1 c* ^% g/ ^1 P" J! p. i+ o$ a2 K3 u$ r& l
Figure.9 用脚本测试
7 i/ ~  {' q7 [7 C, e本节我们将引入的工作流程是:开发一个复杂的功能,从开发最简单的部分开始,循序渐进的完成更复杂的需求,并且在此同时引入该功能配套的单元测试文件,测试和开发同步进行,测试和要测试的代码共生在同一个目录下。即使要测试的内容被加入的更大的项目之中,我们还是保留这个测试,单元测试本身也是工程项目中的一部分。% r  N0 p2 j# }$ l6 m/ r

0 O" y, \' |; P0 {. [, h" V7 m. g' v0 QFigure.10 单元测试是工程项目的一部分5 K9 `5 R9 k- u+ b+ j8 p, U4 ^" p2 l
测试还是多人合作项目中不可缺少缺少的环节。比如A和B共同开发一个项目两人分别负责该项目中的不同部分,他们的工作项目依赖相互调用,甚至有少量的重叠,即有可能要修改对方的代码。那么如何保证A在修改B的代码的时候不会破坏B已有的功能呢,这就要依靠B写的测试代码了。在A修改完代码之后,但在A提交代码到Repository之前,A必须在本地的工程项目中运行所有的测试,这些测试确保A不会意外的破坏B的代码的已有的功能,所以B的测试也起到了保护自己代码的作用,因为它起到了对他人的约束作用。
! o& A6 u' E6 {& I. g. h
0 q$ J+ s- n; kFigure.11 提交之前必须运行所有的测试+ ?- Y. O3 B- S: X
前面我们提出一个问题:如下测试点里验证显而易见的getArea(10,22) == 220 真的有必要吗?- h& \) m2 A1 E( U# C
% testGetArea.m / R) y8 K! r7 k6 ]2 t1 e% M
     ...
$ z" [3 \4 F8 | function testTwoInputs(testCase)) D. z) N4 t) M  @' B
     testCase.verifyTrue(getArea(10,22)==220,'!=220');
4 x8 L, R$ C7 J5 V2 R) Z& j     ...
6 ~3 V! E4 w/ I1 y4 ~* U end  , e$ I! X9 t9 R8 x
...    H2 ?4 q: L; E4 _2 t

3 q# b& J: Q1 b$ M) d再从另一角度看:有必要。因为单元测试其实是程序最好的文档。因为我们不可能给每一个函数都写文档,或者在函数里面都写清楚详细的注释。天长日久之后,即使有注释也许因为遗忘而很难看懂。当我们要回忆一个函数,一个功能如何使用的时候,最快的办法不是去读它的实现代码或者注释,而是去查找工程项目中其它的地方是如何使用这个功能的。但是如果工程项目过于复杂,这也不会是一件容易的事情。如果有了这个函数的单元测试,因为这个单元测试是仅仅关于这一个功能的,那么我们会很容易就通过单元测试就可以了解这个函数的功能是什么。所以getArea(10,22) == 220 不但是一个历史的记录,记录这个函数要实现的功能,还是该函数最好的说明文档,为了让这个说明文档以后阅读起来更加的清晰,我们还必要错误的提示信息写得更加详细一些,比如上面的测试点可可以这样改写; r0 V8 x- b0 m! _3 z; {
%  错误提示信息其实是getArea文档的一部分
6 p) W4 ^. c% E     ...
3 {5 n0 o/ m* b- ]9 M function testTwoInputs(testCase)
% @: k8 Z7 b, q2 \9 z0 l     testCase.verifyTrue(getArea(10,22)==220,'given width and height, ...  {/ G/ }8 Y( i$ O7 d( x. \
                                              should return 10*22=220'); 7 G2 D8 R% i* y1 X- w  s/ F
     ...
4 P5 O1 M* R/ V$ K end  ' @. z/ n& b# l/ j
...  ( r$ f  p8 l3 L% b9 X

) w- M" Y+ S+ h' ]; S; R& R% Y前面所讨论的开发模式,测试总是作为主要功能的辅助,还有一种流行的开发模式,测试的地位和要测试的代码的地位是不相上下,这种测试和开发的工作流程,叫做用测试驱动(Test Driven Development),也值得我们了解一下。 我们先前的这些工作流程无一例外都是先写算法,然后补上测试代码;读者有没有想过可不可以先写测试,再写函数的实现呢。为什么要这样开发,这样开发有什么好处,我们将举例说明。8 W' q7 r" z7 H! Z' C' O8 v
用测试驱动开发:Fibonacci例
4 p/ f. C4 O3 j! y; B) F% ~假设一个教编程的老师给学生布置了一道MATLAB程序,要求写一个计算Fibonacci数列的函数。已知,Fibonacci函数定义如下:
5 T5 v. i1 e9 ]9 R) r: mF(n) = F(n-1) + F(n-2)5 p/ u, b0 m" n4 L  J( T8 j* i9 L
当n=1;2 时F(1) = F(2) = 1。  U2 m2 L2 ?- h' a) f
并且规定n=0时,F(0)=0。 要求除了计算正确以外,还必须能正确的处理各种非法的输入,比如输入是非整数,负数或者字符串的情况。 所谓以测试驱动做开发就得到程序的需求之后,在这里即老师的作业要求,先写测试的代码,再写程序。比如根据老师的要求,很容易就写出该函数要满足的条件的一个清单4 B# _& c0 ~- ~: N$ b/ l/ F
▢ fibonacci(0)= 0, M6 ?& ?( {2 T% \" I
▢ fibonacci(1)= 1% o) L" D$ g7 s* y0 H9 \3 ]; B5 X0 ~
▢ fibonacci(2)= 1
5 B3 f3 a- O# i1 \; _9 A* B6 \▢ fibonacci(3)= 2 ; fibonacci(4)= 3
( q2 q7 J& j4 Q& Z▢ fibonacci(1.5) 报错
& O4 \9 m" G2 e8 ]; e9 l▢ fibonacci(-1) 报错- u- Y, m# G# \3 e" @
▢ fibonacci('a') 报错$ M. j) ~; z* n) ^# d  @2 b
根据这些条件,我们可以很容易的写出两个测试点,一个是正面测试,一个负面测试
6 I0 K/ j# e( ^% r3 efunction tests = testFib(  )" N& [" v: M9 x- h" r. v3 d
     tests = functiontests(localfunctions);1 ~* b( n/ T3 ~: s7 l2 k
end
+ E. E) Y, u- v7 h; H/ x ( z' ]6 J; z, i/ M5 v
function testValidInputs(testCase). i5 z% c2 U! P8 i
     % fibonacci function only accepts integer
8 R* Z' i* E1 z6 U     testCase.verifyTrue(fibonacci(int8(0))  ==0, 'f(0) Error');
& P0 u/ Y8 s+ F) ^- V. [     testCase.verifyTrue(fibonacci(int16(1)) ==1, 'f(1) Error');
! V; F1 l. C* B# M: U& k3 L& R     testCase.verifyTrue(fibonacci(int32(2)) ==1, 'f(2) Error');
0 Z% W; g6 B9 i; h, w  D/ K     testCase.verifyTrue(fibonacci(uint8(3)) ==2, 'f(3) Error');
( |; G- K% O& g2 p1 N     testCase.verifyTrue(fibonacci(uint16(4))==3, 'f(4) Error');
' a) G2 U9 D/ W4 K     testC

该用户从未签到

2#
发表于 2020-12-3 11:30 | 只看该作者
MATLAB单元测试,很经典!快进入我的收藏夹吧!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

推荐内容上一条 /1 下一条

EDA365公众号

关于我们|手机版|EDA365电子论坛网 ( 粤ICP备18020198号-1 )

GMT+8, 2025-10-7 03:10 , Processed in 0.140625 second(s), 23 queries , Gzip On.

深圳市墨知创新科技有限公司

地址:深圳市南山区科技生态园2栋A座805 电话:19926409050

快速回复 返回顶部 返回列表