Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland;
Model Validation; Model-Based Testing; Requirements Traceability;
机译:WODEL-TEST:基于模型的独立突变测试框架
机译:基于人工神经网络模型的观察器:模拟集成电路的伪随机测试方案
机译:NASA GMSEC(基于地面系统软件的可重用框架)的基于模型的测试
机译:MATERA-用于基于模型的测试的集成框架
机译:开发和测试耦合的区域建模系统,以建立尘埃气溶胶的集成建模和观测框架。
机译:为生活方式综合功能锻炼(gLiFE)程序的基于组的格式开发概念框架及其初步可行性测试
机译:通用关键字驱动的测试自动化框架的基于模型的测试
机译:基于模型的分布式诊断与预测的集成框架。