A scheme on automated test data generation and its evaluation
- 期刊名字:中南工業(yè)大學(xué)學(xué)報(bào)(英文版)
- 文件大?。?/li>
- 論文作者:CHEN Ji-feng,ZHU Li,SHEN Jun-y
- 作者單位:Institute of Computer Software,School of Software
- 更新時(shí)間:2023-04-17
- 下載次數(shù):次
By analyzing some existing test data generation methods, a new automated test data generation approach was presented. The linear predicate functions on a given path was directly used to construct a linear constrain system for input variables. Only when the predicate function is nonlinear, does the linear arithmetic representation need to be computed. If the entire predicate functions on the given path are linear, either the desired test data or the guarantee that the path is infeasible can be gotten from the solution of the constrain system. Otherwise, the iterative refining for the input is required to obtain the desired test data. Theoretical analysis and test results show that the approach is simple and effective, and takes less computation. The scheme can also be used to generate path-based test data for the programs with arrays and loops.
-
C4烯烴制丙烯催化劑 2023-04-17
-
煤基聚乙醇酸技術(shù)進(jìn)展 2023-04-17
-
生物質(zhì)能的應(yīng)用工程 2023-04-17
-
我國甲醇工業(yè)現(xiàn)狀 2023-04-17
-
石油化工設(shè)備腐蝕與防護(hù)參考書十本免費(fèi)下載,絕版珍藏 2023-04-17
-
四噴嘴水煤漿氣化爐工業(yè)應(yīng)用情況簡介 2023-04-17
-
Lurgi和ICI低壓甲醇合成工藝比較 2023-04-17
-
甲醇制芳烴研究進(jìn)展 2023-04-17
-
精甲醇及MTO級甲醇精餾工藝技術(shù)進(jìn)展 2023-04-17
