Um sistema especialista para a depuração de software (1990)
- Authors:
- Autor USP: ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Sigla do Departamento: PEL
- Assunto: ENGENHARIA ELÉTRICA
- Language: Português
- Abstract: Esta dissertação apresenta as principais técnicas de teste utilizadas na depuração de programas de computação. Em uma primeira etapa e ressaltada a importância dos sistemas em que estejam envolvidos requisitos de segurança. Em seguida é descrito o papel primordial das especificações no desenvolvimento de sistemas, dando-se ênfase aqueles em que o software esteja envolvido. São descritas as principais técnicas utilizadas para o teste de software, ressaltando-se os diversos tipos de integração dos testes. Também são apresentadas algumas das principais métricas empregadas na medição e avaliação do estágio de desenvolvimento de um programa. Finalmente, é descrito o desenvolvimento de um sistema especialista projetado de tal forma que pode ser utilizado para as mais diversas aplicações, mas que no presente caso, teve sua base de conhecimento montada para servir como ferramenta de trabalho as equipes envolvidas na depuração de programas.
- Imprenta:
- Data da defesa: 22.11.1990
-
ABNT
ALMEIDA JUNIOR, Jorge Rady de. Um sistema especialista para a depuração de software. 1990. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1990. . Acesso em: 23 abr. 2024. -
APA
Almeida Junior, J. R. de. (1990). Um sistema especialista para a depuração de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. -
NLM
Almeida Junior JR de. Um sistema especialista para a depuração de software. 1990 ;[citado 2024 abr. 23 ] -
Vancouver
Almeida Junior JR de. Um sistema especialista para a depuração de software. 1990 ;[citado 2024 abr. 23 ] - Auxílio no desenvolvimento do ambiente computacional para avaliação de especificação. (também em CD-Rom)
- Implementação da característica adaptativa a um editor e simulador de sistemas por intermédio de statechatrs
- STAD: uma ferramenta para representação e simulação de sistemas através de statecharts adaptativos
- Segurança em sistemas críticos e em sistemas de informação: um estudo comparativo
- Análise de confiabilidade de sistemas redundantes de armazenamento em discos magnéticos
- Automatic analysis of requirements consistency with the B method
- A multi-aspect approach to ontology matching based on Bayesian cluster ensembles
- Virtual Museum: an object oriented database case study
- Sistemas de reconhecimento biométrico aplicados à segurança de sistemas de informação
- Continuous Data Auditing as an Automation Tool for Business Control
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
