【摘 要】
：
The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper
【机 构】
：
Computer Science Department,Information Technique Academe,Institute of Automation
论文部分内容阅读
The program slicing technique is employed to calculate the current values of the variables at some interest points in software test data generation. This paper introduces the concept of statement domination to represent the multiple nests, and presents a dynamic program slice algorithm based on forward analysis to generate dynamic slices. In the approach, more attention is given to the statement itself or its domination node, so computing program slices is more easy and accurate, especially for those programs with multiple nests. In addition, a case study is discussed to illustrate our algorithm. Experimental results show that the slicing technique can be used in software test data generation to enhance the effectiveness.
其他文献
There is a general agreement that forest ecosystems in the Northern Hemisphere function as significant sinks for atmospheric CO2; however, their magnitude and d
The Spring Persistent Rains (SPR) in the areas to the south of middle and lower reaches of the Yangtze River or over southeastern China (SEC) is a unique synopt
分离牛卵母细胞,分别用添加表皮生长因子(EGF)和发情牛血清(发情当天血清(OCS(0 d))和发情第7天血清(OCS(7 d)))的培养液进行成熟培养后去核,构建牛体细胞核移植胚并进行体外
目的探讨慢性肾小球肾炎(CGN)与人白细胞抗原(HLA)的相关性。方法以山东省3所省级医院近十年汉族CGN尿毒症患者1073例为病例组,选择中国造血干细胞捐献者资料库山东省分库汉
目的:采用flag标记的人FAT10蛋白研究人FAT10蛋白对HEK293细胞的影响.方法:将FAT10基因片段克隆到载体pcDNA3-flag上,对阳性克隆进行PCR、酶切和测序鉴定,用脂质体转染HEK293
The lateral wave in ultrasonic TOFD (time of flight diffraction) image has a tail in transit time, which disturbs the detection and evaluation of shallow weld d
科技期刊的版面设计是一种审美活动,应当遵循比例与对比,对称与均衡,有序与规范,统一与和谐等审美原则。通过对文稿的编辑、排列、组合,并进行合理布局,从而使版面呈现出形式
Moisture and water transfer under the condition of heavy sweating are analyzed. Four different experiments are made to test moisture resistance, water-keep, wic
Heavy metals, such as cadmium, copper, lead, chromium and mercury, are important environmental pollutants,particularly in areas with high anthropogenic pressure
将无锡城乡交错区河网分为城镇生活区水巷、工业区主河道、农业区主河道、农业区支流和鱼塘5种类型区.通过秋季(旱季)和夏季(雨季)2次采样,研究氮、磷和Cu、Zn、Pb、Cr、Cd在