1000-1638
2011 Issue 5
A Research on Automated Software Test Case Generation Based on Control Flow
YU Xiang;LI Qiang;QI Jian-ye
YU Xiang;LI Qiang;QI Jian-ye
..............page:521-527
Constraint Programming Strategy Selection on Test Case Generation
LAI Si-jia;WANG Ya-wen;GONG Yun-zhan
LAI Si-jia;WANG Ya-wen;GONG Yun-zhan
..............page:540-546
Modeling and Testing of Minix3 System Call Based on Property
YUE Jing-yuan;LI Hua;GUO Ya-jie;HE Nan;PANG Bin
YUE Jing-yuan;LI Hua;GUO Ya-jie;HE Nan;PANG Bin
..............page:570-575
Study on Ethernet Communication Interfaces Based on RTL8019AS
SHI Yu-li;GUO Gai-zhi;MA Sen
SHI Yu-li;GUO Gai-zhi;MA Sen
..............page:581-585
A Static Memory Leak Detection Method Based on Executable Source Code
GAN Hong-xing;JIN Da-hai;GONG Yun-zhan
GAN Hong-xing;JIN Da-hai;GONG Yun-zhan
..............page:515-520
Design and Realization of Test Driver in Remote Control System
WAN Lin;LIAO Fei-xiong;ZHANG Wei
WAN Lin;LIAO Fei-xiong;ZHANG Wei
..............page:560-564
A New Algorithm for Generating UIO Sequences Based on FSM
GAO Shah;LI Hua;GUO Ya-jie
GAO Shah;LI Hua;GUO Ya-jie
..............page:596-600
Design of Temperature Measurement System Based on FPGA
YU Jing;LU Dian-ji
YU Jing;LU Dian-ji
..............page:576-580
Time Performance Testing of Embedded Real Time Operating System
WANG Lei;PIAO Xi-wang;LI Shi-qun;CHEN Lei
WANG Lei;PIAO Xi-wang;LI Shi-qun;CHEN Lei
..............page:547-551
A Transient Survivability Evaluation Model
HUANG Ji-peng;JIANG Jian-hui
HUANG Ji-peng;JIANG Jian-hui
..............page:481-487
Improvement of K-Means Clustering Algorithm Based on SOM
HOU Li-min;WANG Wen-li
HOU Li-min;WANG Wen-li
..............page:586-590
A Static Fault Injection Tool for Java Programs
LIU Jia-xiang;JIANG Jian-hui;JIN Ang;LOU Jun-gang
LIU Jia-xiang;JIANG Jian-hui;JIN Ang;LOU Jun-gang
..............page:552-559
Design of the Fuzzy Temperature Control System Based on FPGA
HU Yi;SHENG Hong-yu
HU Yi;SHENG Hong-yu
..............page:565-569
Realization of Protocol Interoperability Testing Using TTCN-3 Language Based on Property
HONG You-fen;LIU Long;LI Hua
HONG You-fen;LIU Long;LI Hua
..............page:591-595
Testing of Web Associated Form Items Based on Orthogonal Experiment
GUO Ya-jie;LI Hua;YUE Jing-yuan
GUO Ya-jie;LI Hua;YUE Jing-yuan
..............page:528-532
Infeasible Path Detection for EFSM Models
CHENG Jun;LI Zheng;ZHAO Rui-lian
CHENG Jun;LI Zheng;ZHAO Rui-lian
..............page:498-504
Generate Test Cases for Combinatorial Testing Based on Genetic Algorithm
TU Ya-ming;LI Zhu;BIAN Ji-nian
TU Ya-ming;LI Zhu;BIAN Ji-nian
..............page:511-514
A New Consideration of Software Reliability Model
XU Shi-yi;ZHANG Ding
XU Shi-yi;ZHANG Ding
..............page:488-497
Defect Analysis of Program Design
YU Xiu-shan;YU Chang-yue
YU Xiu-shan;YU Chang-yue
..............page:505-510
Study on Fault Localization Method for Embedded Software Regression Testing
WANG Wei;LIU Yong-mei
WANG Wei;LIU Yong-mei
..............page:533-539