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(893Kb)  |  Favorite  |  View/Download:82/0  |  Submit date:2016/05/10
软件测试  符号执行  前向遍历  后向遍历  表达式化简  
基于路径覆盖插桩的可执行代码测试工具实现 期刊论文
计算机工程, 2012, 卷号: 38, 期号: 5, 页码: 35-37,40
Authors:  王轶;  蒋同海;  董军;  周喜
Adobe PDF(1236Kb)  |  Favorite  |  View/Download:291/19  |  Submit date:2012/11/29
动态分析  单元测试  程序插桩  可执行代码  覆盖率分析  路径跟踪  
基于UML活动图的业务流程测试研究 学位论文
硕士, 北京: 中国科学院研究生院, 2009
Authors:  贾松涛
Adobe PDF(1022Kb)  |  Favorite  |  View/Download:165/0  |  Submit date:2014/10/14
软件测试  业务流程测试  测试用例自动生成  Uml模型  测试场景  反蚁群agent