Please use this identifier to cite or link to this item: https://hdl.handle.net/1822/27809

Full metadata record
DC FieldValueLanguage
dc.contributor.advisorHenriques, Pedro Rangel-
dc.contributor.advisorCunha, João Paulo Macedo da-
dc.contributor.authorLemos, Pedro Manuel Pereira de-
dc.date.accessioned2014-02-05T10:52:07Z-
dc.date.available2014-02-05T10:52:07Z-
dc.date.issued2012-06-14-
dc.identifier.urihttps://hdl.handle.net/1822/27809-
dc.descriptionDissertação de mestrado em Engenharia de Informáticapor
dc.description.abstractA evolução nas áreas de aplicação (quer em número quer em ambição dos problemas a resolver) conduziu a uma crescente complexidade e dimensão dos sistemas de software. Inerentemente, na procura de uma boa solução que ajude a dar resposta às constantes alterações de comportamento requerida para satisfazer os diversos utilizadores destes sistemas, emergem sistemas mais flexíveis, que se acomodam facilmente a diferentes necessidades - sistemas configuráveis. Os sistemas configuráveis tornam as aplicações mais adaptáveis às necessidades de cada um, porém tornam possível a introdução de configurações erradas que podem levar a comportamentos incorrectos e indesejáveis. Assumindo que o programa principal está devidamente testado e aceite como correcto, constata-se que as configurações importadas para a aplicação necessitam de validação de modo a ser garantida a ausência de erros. Conferindo aos sistemas aplicacionais dos dias de hoje uma maior fiabilidade, garante-se a entrega de produtos de qualidade. Tradicionalmente as abordagens à validação e verificação de software caem sobre os métodos formais ou testes sobre o sistema. No entanto, ambas as abordagens dedicam-se essencialmente ao código das aplicações como forma de certificar e garantir a qualidade dos projectos de software. Esta dissertação apresenta uma proposta para colmatar a falha introduzida por abstracção das aplicações, no que diz respeito à certificação de software altamente configurável, com particular ênfase sobre os objectivos de negócio passíveis de serem configurados em tempo de execução, de modo a garantir que as configurações empregues estão correctas e de acordo com os requisitos. A abordagem seguida neste trabalho deu resultados a três níveis distintos; um contributo teórico em que se estudou e analisou o problema em busca de uma abordagem metodológica eficaz para validação deste tipo de sistemas; um contributo prático, pelo desenvolvimento de um sistema que implementa a metodologia definida; e finalmente um contributo pragmático mostrado pela aplicação do sistema desenvolvido a um caso de estudo.por
dc.description.abstractEvolution in application areas led to an increasing complexity and scale of software systems. In this context, recent con gurable systems emerged to provide an e cient solution to cope with the frequent changes in systems requirements. Con gurable systems make applications more exible and adaptable to each speci c needs, but con gurable systems are also error prone. Easily wrong con gurations can be loaded and this may lead to undesirable and erroneous behavior. Assuming that the main program is fully tested and accepted as correct, those imported con gurations need validation to guarantee the absence of errors in the nal application. Making application systems more reliable, it is possible to deliver quality products. Formal method thechniques on testing are the classic approach to software validation and veri cation. These approaches are specially tuned for classic programs, and fail when applied to con gurable systems. This was the motivation for this MSc. Degree project. This master work gave rise to three distinct outcomes; a theoretical contribution, concerned with the problem study and the proposal of an e ective methodological approach for such systems validation; a practical contribution consisting in a tool that implements that methodology; and nally a pragmatic contribution, with the application of that tool to a concrete case study.por
dc.language.isoporpor
dc.rightsopenAccesspor
dc.subjectHighly con gurable systemspor
dc.subjectFormal methodspor
dc.subjectUnit testingpor
dc.subjectAcceptance estspor
dc.subjectValidation environmentspor
dc.subjectSoftware certificationpor
dc.subjectBusiness rules management systems (BRMS)por
dc.subjectSoftware altamente configurávelpor
dc.subjectMétodos formaispor
dc.subjectTestes unitáriospor
dc.subjectTestes de aceitaçãopor
dc.subjectAmbientes de validaçãopor
dc.subjectCertificação de softwarepor
dc.subjectSistemas de gestão de regras de negócio (BRMS)por
dc.titleValidação de software altamente configurávelpor
dc.typemasterThesispor
dc.commentseeum_di_dissertacao_pg10946por
dc.subject.udc681.3.06-
Appears in Collections:BUM - Dissertações de Mestrado
DI - Dissertações de Mestrado

Files in This Item:
File Description SizeFormat 
eeum_di_dissertacao_pg10946.pdf1,92 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID