Key points are not available for this paper at this time.
Apresentamos soluções ótimas para o problema de agendamento de testes para sistemas baseados em núcleo. Dada um conjunto de tarefas (conjuntos de testes para os núcleos), um conjunto de recursos de teste (por exemplo, barramentos de teste, hardware BIST) e uma arquitetura de acesso ao teste, determinamos os horários de início para as tarefas de modo que o tempo total de aplicação do teste seja minimizado. Mostramos que o problema de decisão de agendamento de testes é equivalente ao problema de agendamento de loja aberta com m processadores e, portanto, é NP-completo. No entanto, uma instância comumente encontrada desse problema (m=2) pode ser resolvida em tempo polinomial. Para o caso geral (m>2), apresentamos um modelo de programação linear inteira mista (MILP) para agendamento ótimo e o aplicamos a um sistema representativo baseado em núcleo usando um solucionador MILP disponível no domínio público. Também estendemos o modelo MILP para permitir a seleção otimizada de conjuntos de testes a partir de um conjunto de alternativas. Finalmente, apresentamos um algoritmo heurístico eficiente para lidar com sistemas maiores para os quais o modelo MILP pode ser inviável.
Krishnendu Chakrabarty (Sat,) estudou essa questão.