XJIPC OpenIR

Browse/Search Results:  1-4 of 4 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
软件测试  符号执行  前向遍历  后向遍历  表达式化简  
路径条件生成中的优化策略 期刊论文
计算机工程与设计, 2012, 卷号: 33, 期号: 10, 页码: 3995-3998+4003
Authors:  于亚南;  周喜
Adobe PDF(321Kb)  |  Favorite  |  View/Download:120/3  |  Submit date:2013/04/20
符号执行  路径条件  前向遍历  后向遍历  依赖变量