XJIPC OpenIR

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
基于约束的测试用例生成中可扩展性问题研究 学位论文
博士, 北京: 中国科学院大学, 2013
Authors:  王轶
Adobe PDF(2152Kb)  |  Favorite  |  View/Download:229/1  |  Submit date:2013/05/31
符号执行  约束求解  可扩展性问题  中间计算结果重用  
维吾尔语网页正文提取与敏感词过滤的研究 学位论文
硕士, 北京: 中国科学院研究生院, 2012
Authors:  王瑞
Adobe PDF(1387Kb)  |  Favorite  |  View/Download:105/0  |  Submit date:2016/05/10
正文提取  正文相关度  敏感词过滤  多模式匹配  Aho–corasick算法  
基于符号执行生成测试数据的过程优化 学位论文
硕士, 北京: 中国科学院研究生院, 2012
Authors:  于亚南
Adobe PDF(893Kb)  |  Favorite  |  View/Download:82/0  |  Submit date:2016/05/10
软件测试  符号执行  前向遍历  后向遍历  表达式化简  
面向路径的测试数据生成框架及应用 期刊论文
微计算机信息, 2010, 卷号: 26, 期号: 6, 页码: 190-192
Authors:  贾松涛;  张红卫
Adobe PDF(235Kb)  |  Favorite  |  View/Download:131/12  |  Submit date:2012/11/29
软件测试  测试数据自动生成  面向路径的测试  迭代松弛法  
基于UML活动图的业务流程测试研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
Authors:  贾松涛
Adobe PDF(1022Kb)  |  Favorite  |  View/Download:165/0  |  Submit date:2014/10/14
软件测试  业务流程测试  测试用例自动生成  Uml模型  测试场景  反蚁群agent