计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2007年
7期
46-48
,共3页
编译优化%测试用例%时序逻辑%基本块%关键节点控制图
編譯優化%測試用例%時序邏輯%基本塊%關鍵節點控製圖
편역우화%측시용례%시서라집%기본괴%관건절점공제도
提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率.
提齣一種基于時序邏輯公式的關鍵節點控製圖生成方法,生成的測試用例針對性彊,容易擴展;併以該方法改進瞭一種編譯優化自動化測試工具,在很大程度上消除瞭其測試冗餘,提高瞭測試效率.
제출일충기우시서라집공식적관건절점공제도생성방법,생성적측시용례침대성강,용역확전;병이해방법개진료일충편역우화자동화측시공구,재흔대정도상소제료기측시용여,제고료측시효솔.
