| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Semiárido. |
|
Data corrente: |
25/01/1994 |
|
Data da última atualização: |
15/03/2023 |
|
Autoria: |
FERREIRA, N. C. do R. |
|
Título: |
Proposta de um sistema semi-automatico para teste de programas. |
|
Ano de publicação: |
1983 |
|
Fonte/Imprenta: |
Sao Jose dos Campos: INPE, 1983. |
|
Páginas: |
149p. |
|
Idioma: |
Português |
|
Notas: |
Dissertacao Mestrado |
|
Conteúdo: |
Desenvolver ferramentas de auxilio a selecao de dados para testes de programas escritos em FORTRAN. Em sua essencia, apresenta o desenvolvimento de um sistema interativo de analise de programas que fornece ao usuario, ao final de uma execucao de um dado programa, um conjunto de predicados obtido por Execucao Simbolica parcial que envolve o tratamento simbolico de variaveis de entrada deste mesmo programa. Este conjunto de predicados pode ser utilizado na identificacao de um novo teste a ser submetido ao programa. |
|
Palavras-Chave: |
Computador eletronico; Electron; Linguagem; Programacao; Sistema; Systems; Test; Teste. |
|
Thesaurus Nal: |
computer software; computers. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01150nam a2200253 a 4500
001 1149833
005 2023-03-15
008 1983 bl uuuu m 00u1 u #d
100 1 $aFERREIRA, N. C. do R.
245 $aProposta de um sistema semi-automatico para teste de programas.
260 $aSao Jose dos Campos: INPE$c1983
300 $a149p.
500 $aDissertacao Mestrado
520 $aDesenvolver ferramentas de auxilio a selecao de dados para testes de programas escritos em FORTRAN. Em sua essencia, apresenta o desenvolvimento de um sistema interativo de analise de programas que fornece ao usuario, ao final de uma execucao de um dado programa, um conjunto de predicados obtido por Execucao Simbolica parcial que envolve o tratamento simbolico de variaveis de entrada deste mesmo programa. Este conjunto de predicados pode ser utilizado na identificacao de um novo teste a ser submetido ao programa.
650 $acomputer software
650 $acomputers
653 $aComputador eletronico
653 $aElectron
653 $aLinguagem
653 $aProgramacao
653 $aSistema
653 $aSystems
653 $aTest
653 $aTeste
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Semiárido (CPATSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
| Registros recuperados : 6 | |
| 2. |  | JESUS, E. T.; FERREIRA, L. G.; FERREIRA, M. E.; FERREIRA, N. C.; HUETE, A.; SANO, E. E. Avaliação dos índices de vegetação MODIS para a detecção de mudanças na cobertura vegetal do Cerrado. In: CONFERÊNCIA CIENTÍFICA DO LBA, 3., 2004, Brasília, DF. Anais de trabalhos completos. Brasília, DF: LBA, 2004. 1 p.| Biblioteca(s): Embrapa Cerrados. |
|    |
| 4. | | SILVA, J. C. C.; COLAÇO, W.; BURITY, H. de A.; FERREIRA, N. C. M.; FIGUEIREDO, M. V. B.; MARTINEZ, C. R. Herbicidas na nodulação e na fixação de N2 em caupi. Pesquisa Agropecuária Brasileira, Brasília, DF, v. 33, n. 1, p. 77-86, jan. 1998 Título em inglês: Herbicides on nodulation and N-fixation the cowpea.| Biblioteca(s): Embrapa Unidades Centrais. |
| |
| 6. | | FONTANA, A.; PIRES, A. M. M.; VENTURIERI, A.; JESUS, A. H. de; PAULA, A. J. de; MEDEIROS, A. de S.; VARGAS, A. de G.; BERNDT, A.; FERREIRA, A. L.; LUIZ, A. J. B.; ALVES, A. E.; PEREIRA, A. C.; FREITAS, A. F. de; PACKER, A. P.; CAVALCANTE, A. P. C. M.; FRASCA, A. V. da L.; FERNANDES, A.; ZIMBRES, B.; RUDORFF, B. F. T.; DENARDI, B. M.; BORDRON, B.; ALVES, B. J. R.; KRAHEMBUHL, C. B. B. P.; ARAÚJO, C. E. R.; DUBEUX, C. B. S; MAEQUES, C. L.; SILVA, C. R.; BALDI, C.; JANTALIA, C. P.; GESTEIRA NETO, C. J. M.; BACK, C. D.; ANDRADE, C. A. de; AGUIAR, D. A. de; OBERLING, D. F.; OLIVEIRA, D. M. de; CALÇADO, D. M.; GONÇALVES, D. N. S.; MOLLETA, D. G. S.; GAROFALO, D. F. T.; FERREIRA, D.; GOULART, D.; OLIVEIRA, E. C. de; ROSA, E. R.; ALMEIDA, E. G. de; ALBUQUERQUE, E. R. G. M. de; LA ROVERE, E. L.; RIEGELHAUPT, E. M.; HENRIQUE, F. L.; FARIA, F. F. de; PATERNOST, F. F.; CESÁRIO, F. V.; PEREIRA, F. R. de S.; PAREYN, F. G. C.; RODRIGUES, G. A. H.; BERTANI, G.; LEMOS, G. da S.; RIBEIRO, G. H. P. de M.; CABRAL, G. H.; FROES, G. A. M.; GOES, G. V.; ANDRADE, G. S. de; CARVALHO, G. C. de; NASPOLINI, G. F.; CHRISTO, G. L. de; SANTOS, G. V. dos; BARROS, H. H. D. de; HASENACK, H.; TAVARES, H. C.; MARTINS, I. T.; FRANÇA, I. E. R.; ROITMAN, I.; SOARES, I. M. de M.; SIMIONATO, J.; FREITAS, J.; OMETTO, J. P. H. B.; LINARES, J. A. H.; RISSO, J.; CRUZ FILHO, J. L. V. da; QUINTÃO, J. M. B.; SILVA, J. S. O.; LANA, J. T. de O.; ZANATTA, J. A.; MARACAHIPES, L.; RIBEIRO, L. da S.; VICENTE, L. E.; SCHRAMM, L. F. P.; ROSSI, L. M. B.; SILVA, M. G. da; SARAIVA, M.; D'AGOSTO, M. de A.; VIRTUOSO, M. A.; LIGO, M. A. V.; RACHWAL, M. F. G.; ROSA, M.; PICHARILLO, M. E.; SILVA, M. G. L. da; MATSUURA, M. I. da S. F.; DALLA BETTA, M. M.; PEREIRA, M. J.; CARON, M. L.; ASSIS, M. L. R. de; SANTOS, M. M. de O.; ROCHA, M. B.; BUSTAMANTE, M. M. da C.; WALTER, M. C.; AQUINO, M. F. S. de; SALGADO, M. P. G.; SERRUYA, N. M.; MOREIRA, N. de P.; FERREIRA, N. C.; RAMOS, N. P.; CABRAL, O. M. R.; MOSER, P.; COLTURATO, P. D.; GRÜTZMACHER, P.; AUGUSTO, R. C.; GRISOLI, R. P. S.; SOLARI, R.; PAZIANOTTO, R. A. A.; DUPONT, R. A. B.; CANTINHO, R. Z.; PEIXOTO, R. de A.; PADILHA, R. A.; NICOLOSO, R. da S.; OLIVEIRA, R. R. S. de; HIGA, R. C. V.; GUIDOTTI, R. M. M.; NOGUEIRA, S. F.; MAIA, S. M. F.; ASSIS, T. F. de; IGAWA, T. K.; RODRIGUES, T. da S.; CARMO, T. R. L. do; MIRANDA, V. S.; KONDO, V. Y.; SCIVITTARO, W. B.; WILLS, W.; HOLLER, W. A. Inventário nacional de emissões e remoções antrópicas de gases de efeito estufa. In: BRASIL. Ministério da Ciência, Tecnologia e Inovações. Quarta Comunicação Nacional do Brasil à Convenção-Quadro das Nações Unidas sobre Mudança do Clima. Brasília, DF, 2021. cap. 2, p. 80-181.| Tipo: Capítulo em Livro Técnico-Científico |
| Biblioteca(s): Embrapa Agrobiologia; Embrapa Amazônia Oriental; Embrapa Florestas; Embrapa Pecuária Sudeste; Embrapa Solos. |
| |
| Registros recuperados : 6 | |
|
| Nenhum registro encontrado para a expressão de busca informada. |
|
|
