Notas de campo sobre software fiável
Artigos técnicos, investigação feita com as nossas ferramentas e notas dos eventos onde estivemos. Escrevemos sobre análise estática, segurança e o software de sistemas que desenvolvemos.
Mais recente
A investigação por trás do Visao: como o Equid se tornou o nosso analisador estático
Antes de ser um produto, o Visao foi um projeto de investigação chamado Equid. Era uma framework de análise estática independente da linguagem, criada para aproximar os verificadores académicos do código industrial real. Apresentamos o artigo por trás do nosso analisador e as ideias que passaram para o produto atual.
Ler o artigo →Todos os artigos
Diário de testes embebidos #2: testes reproduzíveis
Um resultado de teste só tem significado se souber o que mudou entre duas execuções. Veja como funciona a reprodutibilidade nos testes de sistemas embebidos: reinícios, estado do dispositivo, isolamento da rede e impressões digitais de cada execução.
Diário de testes embebidos #1. Frotas de dispositivos.
Problemas comuns nos testes de sistemas embebidos: como gerir frotas de dispositivos, setups de teste heterogéneos e a disputa de recursos entre vários hosts.
Porque falham os sistemas embebidos em produção
Os sistemas embebidos parecem muitas vezes estáveis até saírem de ambientes controlados. O problema é que os sistemas embebidos atuais já não são dispositivos isolados. São ecossistemas de componentes que interagem entre si.
O desenvolvimento rápido com IA está a mudar a forma de testar software
A inteligência artificial (IA) mudou o ritmo do desenvolvimento de software com uma rapidez surpreendente. Por isso, os testes já não podem ser só a última fase antes da passagem a produção. Passam a acontecer durante o próprio desenvolvimento.
Porque é difícil detetar vulnerabilidades em sistemas complexos (e como abordar o problema)
Em sistemas complexos, as vulnerabilidades raramente são bugs isolados. Surgem de interações, da temporização e das condições reais. Saiba como a análise estática e os testes ao nível do sistema ajudam a detetá-las.
Vamos à SIM Conference: porque é que eventos como este ainda importam
Este ano vamos à SIM Conference. Vamos sobretudo pelas conversas com quem trabalha em problemas reais, mais do que pelas palestras.
Testes de software para sistemas complexos: desafios e estratégias eficazes
Os sistemas de software modernos são ambientes interligados, distribuídos e dependentes do hardware. Saiba como testar sistemas complexos de forma eficaz.
Análise estática vs. dinâmica de código: a comparação completa
Os sistemas de software modernos são cada vez mais complexos. Para construir sistemas fiáveis, é preciso saber quando e como usar a análise estática de código e os testes dinâmicos.
Testes de sistemas embebidos: métodos, desafios e boas práticas
Testar sistemas embebidos exige uma abordagem muito diferente da usada nos testes de software comuns.
WebSummit Lisboa 2025
A Interpretica esteve no WebSummit 2025.
WebSummit Lisboa 2024
Apresentámos a nossa empresa no WebSummit.
Receção do Presidente da República
Conhecemos o Presidente da República.
UPTEC Non-Stop
Pitches, palestras e reuniões na UPTEC.
Above and Beyond
Um encontro com a Startup Portugal.
SIM Conference 2024
Participámos na SIM Conference 2024, no Porto.
WebSummit Rio 2024
Com a equipa da Startup Portugal no Web Summit Rio.
Ainda não há artigos nesta categoria.