Percorrer por autor "Carvalho, Fernando"
A mostrar 1 - 3 de 3
Resultados por página
Opções de ordenação
- Cliente mobile e desktop de comunicações unificadas para IPBrick OSPublication . Paiva, Diogo; Ramalhão, Miguel; Campos, Carlos José; Lima, Veríssimo; Reis, Pedro; Cardoso, Vitor; Aires, Sandra; Pinto, Carla; Carvalho, Fernando; Sousa, AntónioO IPBRICK OS é um sistema operativo baseado em Linux Debian, concebido para suportar as soluções empresariais da IPBRICK no domínio das Comunicações Unificadas sobre IP (UCoIP) e Ferramentas Colaborativas para Gestão de Documentos e Processos. Entre os serviços UCoIP integrados pelo módulo IPBRICK.PBX (baseado em Asterisk), destaca-se o Voice Over Internet Protocol (VoIP), por norma, suportado por um conjunto distribuído de servidores que executam, entre outros, os protocolos Session Initiation Protocol (SIP), responsável pela sinalização e gestão de chamadas, e o Real-Time Transport Protocol (RTP), que assegura a transmissão de áudio em tempo real. A versão 8.0 exigiu a implementação e integração de uma aplicação cliente Mobile e Desktop de Comunicações Unificadas (softphone VoIP) que privilegia a simplicidade de configuração, a eficiência de utilização e a estética do IPBRICK OS. Nesse sentido, este trabalho apresenta uma aplicação softphone VoIP responsiva, implementada em Dart através da framework Flutter. É baseada numa arquitetura cliente-servidor, em que a comunicação é realizada via HTTP, recorrendo a APIs PHP que estabelecem a interface com o servidor SIP. Deste modo, descrevem-se os principais aspetos técnicos e arquiteturais da solução proposta, incluindo a modelação dos fluxos de comunicação, a estrutura das APIs e os layouts funcionais da interface gráfica. Apresentam-se ainda diagramas de fluxo e os protótipos de ecrã das principais componentes da aplicação – autenticação Lightweight Directory Access Protocol (LDAP), interface principal, teclado de marcação, lista de contactos, registo de histórico e de chamadas.
- International Conference Mathematical Analysis and Applications in Science and Engineering, ISEP, Porto, Portugal, June 20-22, 2024: Book of abstractsPublication . Golubitsky, Martin; Lacarnobara, Walter; Pinto, Carla M.A.; Babo, Lurdes; Mendonça, Jorge; Carvalho, Fernando; Rocha, Rui(Conference presentation) Its aim is to bring together researchers in every discipline of applied mathematics, science, engineering, industry, and technology, to discuss the development of new mathematical models, theories, and applications that contribute to the advancement of scientific knowledge and practice. We expect the authors to propose research including topics such as partial and ordinary differential equations, integer and fractional order equations, linear algebra, numerical analysis, operations research, discrete mathematics, optimization, control, probability, computational mathematics, amongst others. The conference is designed to maximize the involvement of all participants and will present the state-of-the-art research and the latest achievements.
- Property-based testingPublication . Oliveira, André Leal; Alves, Fabiana Manuela; Carvalho, Fernando; Afonso, Luís; Mendonça, Jorge; Sousa, AntónioEste manuscrito apresenta o desenvolvimento e aplicação de testes unitários e de testes baseados em propriedades (Property-Based Testing — PBT), utilizando a biblioteca Hypothesis, dedicada ao suporte de PBT em Python. A abordagem iniciou-se com a criação de testes PBT para pequenos exemplos de código, explorando a capacidade da ferramenta para gerar automaticamente conjuntos diversificados de entradas, incluindo alguns casos extremos, permitindo analisar e validar as propriedades do software. Posteriormente, esses testes foram aplicados à biblioteca py-money e à Embedded Test Automation Framework (ETAF) da Capgemini Engineering, que já dispunham de alguns testes unitários. Assim, para potenciar o seu melhor desempenho, são usados testes unitários, complementados com testes PBT para ultrapassar algumas das suas falhas, particularmente, em cenários envolvendo a biblioteca py-money operando com os diversos tipos de moedas mundiais – onde o número de casas décimais pode variar ou simplesmente não ser usado. A formulação de propriedades PBT e a geração automática de casos extremos pela biblioteca Hypothesis acelera a identificação de erros, reduzindo o esforço manual necessário para implementação de testes dedicados a casos específicos. A avaliação comparativa entre os dois testes considerou os resultados obtidos, o tempo de execução e a cobertura dos cenários a analisar, corroborando a utilidade dos testes baseados em propriedades como um complemento para o incremento da robustez do software. Conclui-se que a geração automática de casos de teste diversificados e críticos antecipa a identificação de erros, aumentando significativamente a cobertura e a robustez dos sistemas testados.