Engenharia De Software Automatizada
Mostrando 13-24 de 24 artigos, teses e dissertações.
-
13. Estratégia para especificação e geração de casos de teste a partir de modelos UML
Com a expansão dos sistemas computacionais e com a popularização dos serviços providos pela Internet, é crescente a preocupação dos engenheiros de software com a segurança dos sistemas que desenvolvem. O volume de informações confidenciais que trafega pela Internet é cada vez maior, tornando essencial a avaliação de segurança destes sistemas an
Publicado em: 2009
-
14. REFATORAÇÃO DE PROGRAMAS FORTRAN DE ALTO DESEMPENHO / REFACTORING OF HIGH PERFORMANCE FORTRAN PROGRAMS
Refatoração é uma técnica de engenharia de software que consiste em alterar a estrutura interna de uma aplicação sem que tais alterações interfiram nos resultados produzidos pela mesma. Trata-se de uma tarefa permanentemente presente no ciclo de vida de uma aplicação e está diretamente associada às características não funcionais do software, co
Publicado em: 2009
-
15. An aspect-oriented model-driven engineering approach for distributed embedded real-time systems / Uma abordagem de engenharia guiada por modelos para o projeto de sistemas tempo-real embarcados e distribuídos
Atualmente, o projeto de sistemas tempo-real embarcados e distribuídos está crescendo em complexidade devido à sua natureza heterogênea e ao crescente número e diversidade de funções que um único sistema desempenha. Sistemas de automação industrial, sistemas eletrônicos em automóveis e veículos aéreos, equipamentos médicos, entre outros, são
Publicado em: 2009
-
16. QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais / QSEE-TAS: automated test case execution on embedded software for space applications
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
17. QSEE-TAS: automated test case execution on embedded software for space applications / QSEE-TAS: execução automatizada de casos de teste para software embarcado em aplicações espaciais
O software embarcado em satélites científicos é crítico, pois exige interações com o hardware em tempo real para, por exemplo, adquirir dados por meio de sensores, controlar atitude, controlar as cargas úteis, comunicar-se com as estações na Terra, entre outras. Uma vez que o satélite está em órbita, sua manutenção é dispendiosa dada a naturez
Publicado em: 2008
-
18. Framework functest : aplicando padrões de software na automação de testes funcionais
A execução automatizada de testes funcionais tem se tornado um evidente atrativo para empresas de desenvolvimento de software. Tal fato se deve principalmente à grande redução de custo e ao aumento de produtividade observados a médio e a longo prazos com o uso desta prática. Este trabalho propõe um framework para ampliar a reusabilidade e a manutenib
Publicado em: 2007
-
19. Framework functest : aplicando padrões de software na automação de testes funcionais
Resumo: A execução automatizada de testes funcionais tem se tornado um evidente atrativo para empresas de desenvolvimento de software. Tal fato se deve principalmente à grande redução de custo e ao aumento de produtividade observados a médio e a longo prazos com o uso desta prática. Este trabalho propõe um framework para ampliar a reusabilidade e a m
Publicado em: 2007
-
20. Migração de sistemas legados
Mesmo depois de todas as novidades tecnológicas nos últimos anos, ainda existem muitos sistemas desenvolvidos com tecnologias antigas, muitas vezes ultrapassadas e obsoletas denominados sistemas legados. O problema do bug do ano 2000 funcionou como um excelente despertador para o fato de que não podemos nos esquecer do grande número de sistemas ainda em
Publicado em: 2007
-
21. Geração automatizada de drivers e stubs de teste para JUnit a partir de especificações U2TP
Atualmente a área de teste de software tem se tornado fundamental para garantia da qualidade dos produtos desenvolvidos. Dentro do processo de teste, o teste unitário é realizado na menor parte funcional de um software e visa descobrir defeitos nestas unidades. JUnit é uma ferramenta de apoio ao teste unitário, a qual auxilia desenvolvedores na automaç
Publicado em: 2006
-
22. Abordagem para diagnóstico de problemas em aplicações de E-GOV - um retrato dos municípios brasileiros. / Approach for Problems Diagnosis in E-GOV Applications - a portrait of the Brazilian cities.
Neste trabalho tem-se como tema principal o levantamento de dados para diagnóstico de problemas e formalização de soluções no domínio do Governo Eletrônico (E-GOV) municipal brasileiro, inicialmente focando em G2C (Government to Citizen). Para tanto esta pesquisa analisa e relaciona: os principais problemas e desafios para a promoção do E-GOV em ger
Publicado em: 2006
-
23. Software and new techniques for multi-valued digital functions synthesis, minimization and simulation / Desenvolvimento de novas tecnicas e um aplicativo para sintese, minimização e simulação de funções digitais multi-valores
Este trabalho consiste na análise de regras de síntese e minimização de funções digitais multi-valores e na criação de um software para a realização automatizada da síntese empregando as regras criadas e, também, na criação de um software para simulação de portas lógicas e circuitos digitais multi-valores. Todas essas ações são coerentes
Publicado em: 2006
-
24. Criterios restritos de teste de software : uma contribuição para gerar dados de teste mais eficazes
Critérios de teste estrutural dividem o domínio de entrada de um programa em teste, em sub-domínios e requerem que pelo menos um ponto de cada sub-domínio seja executado, auxiliando na geração de dados de teste; permitem ainda, a avaliação da adequação de um dado conjunto de dados (casos) de teste. Uma vez particionado o domínio, é necessário re
Publicado em: 1997