%0 Journal Article
%T Research on Path-based Automatic Test Data Generation with Arrays and Loops<br>带数组和循环的路径测试数据自动生成技术研究
%A CHEN Ji-feng
%A <br>陈继锋
%J 计算机科学
%D 2008
%I 
%X A new approach is proposed for path-based automatic test data generation with arrays and loops.The approach,in which only the array elements related to the branch predicates on the path is selected and all branch predicates on the path are simutaneously considered,is adopted to construct the linear constrain system.The loop is outspreaded on the given path.The same variable is replaced by different variables in each execution of the loop.If the predicate function is linear,it is not needed to compute the li...
%K Arrays and loops
%K Test data
%K Predicate function
%K Linear arithmetic representation<br>数组和循环
%K 测试数据
%K 谓词函数
%K 线性算术表示
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=D0438C965916218E82787B3BF0C63951&yid=67289AFF6305E306&vid=6209D9E8050195F5&iid=DF92D298D3FF1E6E&sid=6826CBE9C80ACB20&eid=44A4891E33BFF455&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=5