中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共5条，第1-5条 帮助

已选(0)清除 条数/页：   排序方式：
软件DSM系统的重放 期刊论文
小型微型计算机系统, 2003, 卷号: 24.0, 期号: 003, 页码: 340
作者:  章隆兵;  张福新;  陈意云
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件DSM系统  软件工程  软件测试  分布式共享存储系统  重放方法  数据竞争  日志文件  
一种基于规范和程序域分析的软件测试方法 期刊论文
计算机研究与发展, 2003, 卷号: 40.0, 期号: 006, 页码: 846
作者:  赵瑞莲;  闵应骅
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件测试  域分析  边界测试数据集  功能域  运行域  
基于谓词切片的字符串测试数据自动生成 期刊论文
计算机研究与发展, 2002, 卷号: 39.0, 期号: 004, 页码: 473
作者:  赵瑞莲;  闵应骅
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
谓词切片  字符串测试数据  自动生成  动态生成算法  软件测试  软件开发  
适用于并行操作的C语言程序测试工具ParCT 期刊论文
计算机研究与发展, 1999, 卷号: 36, 期号: 10, 页码: 1197
作者:  梁煜;  张林波;  卢慧琼;  李玉成;  李基凯
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件测试  测试覆盖率  并行  关键点  
关于可应用测试数据充分性准则复杂性的注记 期刊论文
计算机学报, 1999, 卷号: 22.0, 期号: 004, 页码: 437
作者:  暴建民;  王申科
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
软件测试  软件可靠性  数据流  测试准则  软件开发