http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Zhang Xuzhou (검색결과 2 건)
- 무료
- 기관 내 무료
- 유료
-
A Target-Oriented Path Generation Method based on Concolic Testing
Zhang Xuzhou,Gong Yunzhan,Wang Yawen,Xing Ying 보안공학연구지원센터 2016 International Journal of Security and Its Applicat Vol.10 No.6
The space explosion caused by loop structure in path exploration makes it difficult to find a target-oriented path during code coverage testing. In this paper, a method named target-oriented concolic testing(TOCT) is introduced to tackle the problem of generating a path to cover a target in a loop structure. First, the static analysis method static prefix path search (SPSS) is used to generate a prefix path. Solving the constraints on the prefix path obtains a test case, with which concrete execution is carried out as an input. Meanwhile the execution trace is captured. The trace is used to unfold the loop into a feasible path. Finally SPPS is adopted again for the next prefix-path until a feasible path containing the target is achieved. Experimental results show that the proposed strategy reached a higher coverage when the targets are in loop structure and demonstrate that it is applicable in engineering.
-
Zhao Jinbiao,Liu Xuzhou,Zhang Yi,Liu Ling,Wang Junjun,Zhang Shuai 아세아·태평양축산학회 2020 Animal Bioscience Vol.33 No.12
Objective: The study was conducted to determine the effects of body weight (BW) and fiber sources on nutrient digestibility, fiber fermentation and short chain fatty acids (SCFA) concentration in different intestinal segments of growing pigs fed high-fiber diets. Methods: Nine barrows with initial BW of 25.17±0.73 kg and 9 barrows with initial BW of 63.47±2.18 kg were allotted to a duplicate 9×2 Youden Square design with 3 dietary treatments and 2 periods. The dietary treatments were formulated with 3 different high-fiber ingredients: corn bran, sugar beet pulp, and soybean hulls, respectively. Each diet was fed to 3 barrows with different stage of BW in each period. Results: There were no differences in the apparent ileal digestibility (AID) of most nutrients between pigs at different BW stages. Pigs at 60 kg had greater (p<0.05) apparent total tract digestibility (ATTD) of total dietary fiber (TDF), soluble dietary fiber (SDF) and insoluble dietary fiber (IDF), and had greater (p<0.05) hindgut disappearance of IDF and cellulose than pigs at 25 kg. The acetate, propionate and total SCFA concentrations in ileal digesta and feces of pigs at 60 kg were greater (p<0.05) than those of pigs at 25 kg. In addition, fiber sources affected (p<0.05) the AID of gross energy (GE), organic matter (OM), ether extract (EE), crude protein, SDF and hemicellulose, the hindgut disappearance and ATTD of dietary fiber components, the lactate and propionate concentrations in ileal digesta and the butyrate, valerate and total SCFA concentrations in feces. There were interactions (p<0.05) between BW and fiber sources on the AID of GE, OM, EE, SDF, hemicellulose, the ATTD of EE, TDF, and IDF, and the hindgut disappearance of SDF and hemicellulose. Conclusion: Increasing BW mainly improved the digestibility of dietary fiber fractions, and the dietary fiber sources influenced the digestibility of almost all the dietary nutrients in growing pigs.
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
