中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共8条，第1-8条

帮助

条数/页：排序方式：
	基于pCTL的循环优化测试用例自动生成方法期刊论文 OAI收割小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2011/05/23 pCTL 循环优化测试用例生成覆盖率pCTL loop optimization test case generation coverage test
	A method for combinatorial explosion avoidance of AI planner and the application on test case generation (EI CONFERENCE) 会议论文 OAI收割 2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009, December 11, 2009 - December 13, 2009, Wuhan, China 作者: Wang D.; Li L. 收藏 \| 浏览/下载：17/0 \| 提交时间：2013/03/25 Combinatorial explosion is a key issue that leads to failures of planning for many planners. To avoid it we modified the planner of IPP and divided its fact file into several small parts and the method is called goal-decompounded. We also expanded the arithmetic of IPP. The modified planner we called MF-IPP able to handle multiple fact files which avoided the combinatorial explosion. We applied the method on the GUI test case generation. The main idea was to produce the initial test case from planner firstly and then propose a way of solution expanding to reinforce the generation. At last we compared the performance of the two planners and the result showed that MF-IPP can avoid the combinatorial explosion well. 2009 IEEE.
	一种基于过程图模型的编译优化测试程序自动生成方法期刊论文 OAI收割计算机研究与发展, 2009, 卷号: 46, 期号: 9, 页码: 1567-1577 陶秋铭; 赵琛; 王永吉 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2010/08/17 测试自动化编译器测试测试用例生成高级编译优化数据依赖过程图 test automation compiler testing test case generation advanced compiler optimizations data dependence process graph
	testing wsdl_based web service automatically 会议论文 OAI收割 World Congress on Software Engineering, Xiamen, PEOPLES R CHINA, MAY 19-21, Dong Wenli \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/03/20 ATS ETS QoS WSDL software testing Web service description language Web service interface test group XML parser XML_based test scripting language abstract test suite executable test suite analysis interoperation test group message schema syntactic test group quality-of-service test case generation test data generation test flow tree-search algorithm Web services XML grammars program testing quality of service search problems specification languages trees (mathematics)
	generation of wsdl_based test case 会议论文 OAI收割 International Workshop on Information Security and Application (IWISA 2009), Qingdao, PEOPLES R CHINA, NOV 21-22, Dong Wenli \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/03/20 Test case Dependence policy of test case Generation method of test case
	一种基于模型的并发系统测试目的描述期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/24 基于模型的测试时序逻辑约束事件测试用例生成测试目的 model-based testing temporal logic constrained events test case generation test purpose
	一种基于Messy GA的结构测试数据自动生成方法期刊论文 OAI收割软件学报, 2006, 卷号: 17, 期号: 8, 页码: 1688-1697 薛云志; 陈伟; 王永吉; 赵琛; 王青 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2010/08/17 结构测试测试数据测试用例自动生成遗传算法变长度染色体 MessyGA Messy GA structural test test data test case automatic generation genetic algorithm sizable chromosome Messy GA
	automated test case generation for the stress testing of multimedia systems 期刊论文 OAI收割 Software:Practice and Experience, 2002, 卷号: 32, 期号: 15, 页码: 1411-1435 Zhang Jian; Cheung SC \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2010/08/11 multimedia systems stress testing static analysis resource consumption test case generation constraint solving