Data/hora: 18/06/2024 17:36:57

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: | --
Registro original: | Embrapa Semiárido (CPATSA)
Exemplares: | CPATSA - (24081-1) - ADD - TS - PP - 24/1983 -  - 1983.00024 - DIS