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

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

帮助

条数/页：排序方式：
	软件结构化测试数据生成技术学位论文 OAI收割硕士, 北京: 中国科学院大学, 2014 吴添勇 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2014/05/29 软件测试结构化测试测试数据生成扩展有限状态机修改的条件/判断覆盖
	基于粒子群优化的测试数据生成及其实证分析期刊论文 OAI收割计算机研究与发展, 2014, 卷号: 51, 期号: 4, 页码: 824-837 毛澄映; 喻新欣; 薛云志 \| 收藏 \| 浏览/下载：38/0 \| 提交时间：2014/12/16 结构性测试测试数据生成分支覆盖搜索算法粒子群优化 structural testing test data generation branch coverage searching algorithm particle swarm optimization (PSO)
	面向路径的测试数据生成框架及应用期刊论文 OAI收割微计算机信息, 2010, 期号: 6, 页码: 190-192 作者: 贾松涛; 张红卫收藏 \| 浏览/下载：13/0 \| 提交时间：2012/11/29 软件测试测试数据自动生成面向路径的测试迭代松弛法
	C程序测试数据生成与死循环检测研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2009 阮辉 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/03/17 自动软件测试程序分析测试数据生成死循环
	基于搜索的面向路径字符串测试数据自动生成方法期刊论文 OAI收割计算机辅助设计与图形学学报, 2008, 卷号: 20, 期号: 5, 页码: 671-677 赵瑞莲收藏 \| 浏览/下载：65/4 \| 提交时间：2011/06/10 路径测试数据生成字符串数据字符串间距离快速下降搜索算法搜索算法面向路径字符串测试数据生成方法数据自动生成目标函数遗传算法路径处理经济有效极小化成效率输入实验距离词表Character recognition Critical path analysis Data processing Functions Genetic algorithms Theorem proving
	一种有效的边界测试点选取策略期刊论文 OAI收割计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 2, 页码: 251-256 赵瑞莲; 董红霞收藏 \| 浏览/下载：59/3 \| 提交时间：2011/07/01 边界测试点测试数据生成 RSDIMU 变异体边界值分析测试点选取策略测试用例健壮性测试固定型故障边界值测试诊断原理软件需求逻辑电路覆盖程度方法设计测试成本变异体组合实验容错开发规范程序
	一种基于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
	基于谓词切片的字符串测试数据自动生成期刊论文 OAI收割计算机研究与发展, 2002, 卷号: 39.0, 期号: 004, 页码: 473 作者: 赵瑞莲; 闵应骅 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 谓词切片字符串测试数据自动生成动态生成算法软件测试软件开发
	软件测试的自动分析工具学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2001 王晓旭收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 静态分析路径覆盖前置条件不可行路径测试数据生成约束求解扩展的有限状态自动机