Encontrados 5 documentos, a visualizar página 1 de 1
Muta-Pro: towards the definition of a mutation testing process
Vincenzi,A. M. R.; Simão,A. S.; Delamaro,M. E.; Maldonado,J. C.Mutation Testing originated from a classical method for digital circuit testing and today is used at program and specification levels. It can be used either to generate or to assess the quality of test sets. In spite of being very effective in detecting faults, Mutation Testing is usually considered a high cost criterion due to: i) the large number of generated mutants; ii) the time-consuming activity of determ...
Nuestra Experiencia en el Tratamiento del Pectus Excavatum Severo Mediante Tora...
Bardají, C.; Maldonado, J.; Royo, Y.; Pueyo, C.; Carrasco, R.; Barbero, L.; Prado, M.RESUMEN Nuestra experiencia en el tratamiento del pectus excavatum severo mediante toracoplastia percutánea videoasistida. Introducción: La deformación congénita más frecuente de la caja torácica es el pectus excavatum (PE): 95% de los casos. PE es una malformación de los cartílagos costales que comporta la respiración paradójica o invertida del paciente desde la fase de la lactancia con hundimiento progresivo ...
Processo de depuração depois do teste: definição e análise.
CHAIM, M. L.; MALDONADO, J. C.; JINO, M.O objetivo da realização deste trabalho foi analisar em detalhes o processo de depuração que ocorre depois da atividade de teste. Por tanto, vários processos de depuração de software foram analisados. Baseado nessa análise foi definido um processo de Depuração depois do teste (DDT) que enfativa os seguintes aspectos: identificação, avaliação e refinamento sucessivo de sintomas internos até a localização do defe...
Teste de fluxo de dados de programas com ponteiros e registros.
CHAIM, M. L.; MALDONADO, J. C.; JINO, M.Dois modelos mais precisos de análise de fluxo de dados voltados para o teste de programas que utilizaram ponteiros e campos de registros são apresentados. Os modelos propostos são baseados em uma abordagem conservadora e foram implementados na ferramenta POKE-TOOL. A conjectura é que a análise de fluxo de dados mais precisa aumenta a eficácia do teste a um custo razoável .Para investigar essa conjectura, um es...
24-hour arterial pressure study and diabetic neuropathy and angiopathy of the l...
Ribeiro, C; Serviço de Endocrinologia, Diabetes e Metabolismo, Hospitais da Universidade de Coimbra.; Geraldes, E; Rodrigues, D; Barros, L; Ruas, LTo study the circadian variation of BP in diabetics with chronic late complications (autonomic neuropathy, peripheral neuropathy and macroangiopathy of the lower limbs).We studied 35 NIDDM patients, 22 male and 13 female, with a mean age of 62.17 +/- 8.66 years, all with hypertension (HBP) or with BP levels close to normal, many of them under anti-hypertensive therapy (mean BP in clinical measurements: 164 +/- ...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||