program testing; formal specification; formal verification; path-based partial dynamic analysis; black-box generated test cases; test case repository; resource constraints; specification-based test cases; black-box testing; path coverage; white-on-black approach; test case selection;
机译:通过推断局部模型来分析和测试基于黑匣子组件的系统
机译:使用聚类方法识别油纸绝缘中局部放电的选定形式所产生的声发射信号
机译:甘蔗汁中糖度的可见/近红外偏最小二乘分析一个变量选择方法的测试场
机译:评估若干基于路径的部分动态分析方法,用于选择黑盒生成的测试用例
机译:使用面部表情分析的动态测试方法的开发评估逼真购物环境中的包装设计
机译:森林政策分析中的问题方法拟合:选择测试或创新的社会定性方法的经验先验
机译:基于路径的黑盒生成测试用例选择策略研究
机译:选择动态事件分析软件的方法II:Taylor anvil和动态巴西测试(预印本)。 ICONE 16