Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Science》 2005-05
Add to Favorite Get Latest Update

Adequacy Criteria for Testing Based on UML State Diagram

ZHAN Xue-De;MIAO Huai-Kou School of Computer Engineering and Science, Shanghai University, Shanghai 200072  
This paper presents these adequacy criteria that generate test cases based on UML diagram. It isn't very sufficiency that a loop is executed only one time while testing. This paper proposes ZOT loop coverage criteria, name- ly a loop is executed zero, one and two times,At the same time,full ZOT path coverage criteria is proposed. The ap- plications of these coverage criteria are given and the subsumption relationships of coverage criteria are discussed.
【Fund】: 国家自然科学基金(60173030和60373072)
【CateGory Index】: TP311.52
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 2 Hits
1 YANG Hou-qun1,2,LIN Xiong3,XING Yi-xing2(1.College of Computer Science,Chongqing University,Chongqing 400044,China;2.College of Information Science & Technology,Hainan University,Haikou 570228,China;3.Haikou Power Supply Company,Hainan Power Grid,Haikou 570102,China);Research of UML-based Data Acquisition Generating Test Cases[J];Natural Science Journal of Hainan University;2008-01
2 ZHAN Xue-de,MIAO Huai-kou(1.Institute of Finance and Economics,Hangzhou Dianzi University,Hangzhou 310018,China;2.School of Computer Engineering and Science,Shanghai University,Shanghai 200072,China);Test Framework of Object-Oriented Software Based on UML Statecharts[J];Journal of Applied Sciences;2006-05
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Jie Wei\ Xie Junkai\ Xi Hongyu\ Gao Zhongyi (Beijing University of Aeronautics and Astronautics,Dept. of Computer Science and Engineering);Genetic Algorithms and Its Application in Software Test Data Generation[J];JOURNAL OF BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS;1998-04
2 LIU Jia, YIN Zhi-ben (School of Information Science and Technology, South West Jiao Tong University, Chengdu 610031 China);The Software Testing Methods of Object State Based on Statechart[J];Computer Knowledge and Technology;2008-35
3 SHAN Jin-Hui,WANG Ji,QI Zhi-Chang (School of Computer Science,National University of Defence Technology,Changsha,Hunan 410073,China);Survey on Path-Wise Automatic Generation of Test Data[J];Acta Electronica Sinica;2004-01
4 WANG Lin-zhang,LI Xuan-dong,ZHENG Guo-liang (CS Department,Nanjing University,Nanjing,Jiangsu 210093,China);An Approach to Generate Integration Test Cases Based on UML Collaboration Diagrams[J];Acta Electronica Sinica;2004-08
5 LIN Hong, ZENG Yi(College of Computer Science, Chongqing University, Chongqing 400044, China);A Test Framework of Object-Oriented Software Based on UML[J];Journal of Chongqing University(Natural Science Edition);2003-08
6 ZHOU Yan 1,FENG Tian-xiang 2 (1.Department of Electronic Engineering, Sichuan Three Gorges College, Chongqing 404000,Chian;2.Department of Computer, Sichuan Three Gorges College, Chongqing 404000,Chian);Researches on a new kind of random numeral combination generator[J];JOURNAL OF NORTH CHINA INSTITUTE OF WATER CONSERVANCY AND HYDROELECTRIC POWER;2000-02
7 ZHAO Liang~(1,3), YE Jun-min~(1,2,3), LUO Jing~(1,3), CHEN Li~(1,3)(1. Dept. of Computer Science, CCNU, Wuhan 430079, China;2. Computer Science & Tech. College, Harbin Engineering University, Harbin 150001, China; 3. State;A formal approach study of OO class-level state testing[J];Journal of Naval University of Engineering;2004-05
8 LI Liu-Ying①, WANG Ji ①②, and QI Zhi-Chang① ①(School of Computer Science, National University of Defense Technology, Changsha 410073) ②(State Key Laboratory for Software Engineering, Wuhan University, Wuhan 430007);A TEST CASES GENERATION METHOD FOR UML STATECHARTS[J];Journal of Computer Research and Development;2001-06
9 ZHANG Yong, QIAN Le-Qiu, and WANG Yuan-Feng (Department of Computer Science, Fudan University, Shanghai 200433);TEST SEQUENCES SELECTION BASED ON DETERMINISTIC FINITE-STATE MACHINES[J];Journal of Computer Research and Development;2002-09
10 Yuan Jiesong, Wang Linzhang, Li Xuandong, and Zheng Guoliang (Department of Computer Science & Technology, Nanjing University, Nanjing 210093) (State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing 210093);UMLTGF: A Tool for Generating Test Cases from UML Activity Diagrams Based on Grey-Box Method[J];Journal of Computer Research and Development;2006-01
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved