机译:检查随机测试和设计测试以检测科学软件中的代码错误
Royal Military College of Canada, Canada;
Royal Military College of Canada, Canada;
University of Ottawa, Canada;
software testing; tolerance problem; random testing; computational software;
机译:GrammaTech推出了最新版本的CodeSonar工具,以检测软件应用程序代码中的缺陷
机译:使用rm码和mpsk调制的CCM方案的设计,软件实现和测试
机译:测试科学软件的参考数据集的设计和使用
机译:一些系统的单向检错码的编码器和自检校验器的设计
机译:检测数据中的模式:平滑度和非随机性的新统计数据(残差,建模,随机性测试)
机译:REACT的原理和设计:一项随机对照试验评估家庭收集对增加衣原体复检和检测重复阳性试验的有效性
机译:使用启发式技术根据设计规范生成软件测试数据。在自动生成软件测试数据和测试代码中探索UML状态机图和基于GA的启发式技术。