复旦大学计算机软件沈晨华,一种用于类测试的新方法.pdf

一种用于类测试的新方法.pdf

一种用于类测试的新方法

阳展飞 吴 桐 沈晨华 钱乐秋

(复旦大学计算机科学与工程系，上海 !""(#E )

摘 要 面向对象程序的复杂性和类对象间广泛的相互依赖性使得对这样的程序的测试变得非常困难，而类又是面向

对象测试中最基本的单元。对类的测试又可以分为 个级别 (方法内测试，方法间测试，类内测试)，难点主要集中在类内

#

测试上。文章提出一种基于FG> (对象状态图)的新的算法用来产生进行类内测试的方法调用序列。这种算法是对传统的

类测试的两种方法基于规格说明的测试和数据流测试的综合，可以使产生测试用例的复杂度大大的降低。

关键词 类的状态变量 原子类状态图 复合类状态图 方法内测试 方法间测试 类内测试 类内引用 调用对

=

文章编号 ( ) 文献标识码 中图分类号

&""!=+##&= !""# "%=""%&="( H IJ#&

! "#$ %#&’() *+#) ,- ./0++ 1#+&,-2

30-2 4’0-5#, 67 1(-2 8’#- .’#-’70 9,0- :#;,7

( ， ， )

>2K/$ :8 L:7K9/24 G1,2-12 0-< M-@,-224,-@ N9 >0- O-,324.,/P GQ0-@Q0, !""(#E

!& ： IQ2 1:7K62R,/P 0-< ,-/24<2K2-<2-1,2. :8 :5S21/=:4,2-/2< K4:@407. 70?2. /2./,-@ .91Q K4:@407.

： ，

K0K24 0-06PT2. /Q2 /2./,-@ :8 160..2. :8 :5S21/=:4,2-/2< K4:@407. BQ,1Q 8066 ,-/: /Q422 62326. ,-/40=72/Q:< /2./,-@ ,-/24=

，

72/Q:< /2./,-@ ,-/40 =160.. /2./,-@$IQ2 K0K24 /Q2- 8:19. :- ,-/40 =160.. /2./,-@ 5P K42.2-/,-@ 0 -2B 72/Q:< /Q0/ ,. 0-

,-/2@40/,:- :8 <0/086:B /2./,-@ 0-< ./0/2 /2./,-@ 50.2< :- FG> /: K4:<912 72/Q:< ,-3:10/,:- .2U92-12. 8:4 ,-/40 =160..

/2./,-@$

： ， ， ， ， ， ，

?#@$(=)+ ./0/2 304,0562 HFG> LFG> ,-/40=72/Q:< /2./,-@ ,-/24=72/Q:< /2./,-@ ,-/40=160.. /2./,-@ ,-/40=160.. <28 =9.2

K0,4

& 引言 面向对象的类测试的另外的一个非常重要的特点就是在

在软件界，对面向对象技术的使用越来越广泛。这种技术