Generating class test case using abstraction technique and Java pathfinder

doi:10.3778/j.issn.1002-8331.2009.23.022

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (23): 78-81.DOI: 10.3778/j.issn.1002-8331.2009.23.022

• 研发、设计、测试 • Previous Articles Next Articles

Generating class test case using abstraction technique and Java pathfinder

YAN Tie，ZHONG Cheng，ZHAO Yan

School of Computer and Electronics and Information，Guangxi University，Nanning 530004，China

Received:2008-07-03 Revised:2008-10-10 Online:2009-08-11 Published:2009-08-11
Contact: YAN Tie

运用抽象技术和JPF生成类测试用例方法

闫铁，钟诚，赵艳

广西大学计算机与电子信息学院，南宁 530004

通讯作者: 闫铁

Abstract

Abstract: All the states of class are abstracted from the class source code to reduce the system states and behaviors.According to the abstracted states，a search environment of Java path finder is set and the search branches of generating test sequences about methods in class are cut out，and a method of generating test case for class is designed and implemented.The experimental results show that the method can reduce remarkably the required time of generating class test case.

Key words: abstraction technique, model check, class test, test case generation

摘要： 从类的源代码中抽象出类的所有状态来减少系统状态及其行为，根据抽象后的类状态，设置JPF搜索环境，裁剪类方法测试序列生成时的搜索分支，提出了一种类测试用例生成方法。实验结果表明，该方法能够有效地减少类测试用例生成时间。

关键词: 抽象技术, 模型检测, 类测试, 测试用例生成

CLC Number:

TP301

YAN Tie，ZHONG Cheng，ZHAO Yan
. Generating class test case using abstraction technique and Java pathfinder[J]. Computer Engineering and Applications, 2009, 45(23): 78-81.

闫铁，钟诚，赵艳. 运用抽象技术和JPF生成类测试用例方法[J]. 计算机工程与应用, 2009, 45(23): 78-81.

[1]	SUN Jing, LI Shuo, ZHAO Huiqun. Research on automatic generation of basic path test cases [J]. Computer Engineering and Applications, 2018, 54(20): 48-53.
[2]	LI Qian1, WANG Zheng1, MA Jianfen1, LI Na2. Lightweight mobile payment protocol fairness analysis [J]. Computer Engineering and Applications, 2018, 54(19): 82-87.
[3]	YAN Yawei, ZHOU Yanzhou, HUI Wentao. Research on application of model checking in integrity formal verification [J]. Computer Engineering and Applications, 2017, 53(4): 59-63.
[4]	QIN Manman, WANG Zheng, WANG Li. Formal analysis and improvement of remote attestation protocol based on the SPIN [J]. Computer Engineering and Applications, 2017, 53(1): 34-38.
[5]	LV Jianghua1, LIU Zhifeng1, XU Yatao2, ZHOU Conghua1. Verification of correctness of attribute based access control [J]. Computer Engineering and Applications, 2016, 52(18): 98-103.
[6]	XIA Chunrui1, WANG Rui1, LI Xiaojuan1, GUAN Yong1, ZHANG Jie2, WEI Hongxing3. Probabilistic model checking for path planning in dynamic environment [J]. Computer Engineering and Applications, 2016, 52(12): 5-11.
[7]	HUANG Yankai, ZHOU Yu, WEI Ou. Novel approach for attributed graph grammar response specification verification [J]. Computer Engineering and Applications, 2016, 52(12): 15-18.
[8]	WANG Ming1, WANG Rui1, LI Xiaojuan1, GUAN Yong1, ZHANG Jie2, WEI Hongxing3. Verification of mobile robot obstacle avoidance strategies in uncertain environment based on formal modeling and probabilistic analysis [J]. Computer Engineering and Applications, 2016, 52(10): 31-38.
[9]	PAN Wenlin. Research on local semantic conflicts instantly check methods for ORM model [J]. Computer Engineering and Applications, 2015, 51(18): 144-150.
[10]	ZHANG Shuqing, XU Zhongwei, CHEN Zuxi. Research on modeling and verification methods of interlocking system based on term rewriting system [J]. Computer Engineering and Applications, 2014, 50(3): 49-54.
[11]	CAO Zhen, CAO Min. Test-oriented component model and test case generation method [J]. Computer Engineering and Applications, 2014, 50(22): 59-64.
[12]	WANG Changda1，2, DONG Xuegang1, ZHOU Conghua1，2. Security analysis of E-bank online-payment based on UCON [J]. Computer Engineering and Applications, 2014, 50(16): 90-94.
[13]	TONG Chao, WANG Jianxin, QI Jiandong. Approach of constructing defect rule base and detecting source code based on formal specification [J]. Computer Engineering and Applications, 2014, 50(13): 66-72.
[14]	YOU Qifang, YANG Jinji. Model checking of SIP protocol via SPIN [J]. Computer Engineering and Applications, 2014, 50(13): 87-89.
[15]	LV Wei, HUANG Zhiqiu, CHEN Zhe, KAN Shuanglong, WEI Ou. ESpin：SPIN-based Eclipse model checking environment [J]. Computer Engineering and Applications, 2013, 49(7): 45-51.

Generating class test case using abstraction technique and Java pathfinder

运用抽象技术和JPF生成类测试用例方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics