Trupeer Blog

Gere Manuais de Utilizador com IA: O Guia Completo de 2026

Gere Manuais de Utilizador com IA: O Guia Completo de 2026

Resumir

Índice

Crie vídeos e documentação de produto impressionantes com IA

Comece gratuitamente

Visão geral do comprador

As equipas de documentação acabam frequentemente atoladas nas tarefas tediosas de formatar e estruturar conteúdos. Isto não é apenas um pequeno inconveniente. Estudos indicam que as equipas passam entre 60% e 70% do seu tempo nestas tarefas repetitivas, deixando menos espaço para a precisão e a clareza do conteúdo. As ferramentas de documentação com IA surgiram para automatizar estas tarefas, libertando tempo para o que realmente importa. De acordo com um estudo do Tech Research Group em 2025, as empresas que adotaram ferramentas de IA registaram um aumento de 30% na eficiência da documentação.

As empresas que adotaram ferramentas de IA registaram um aumento de 30% na eficiência da documentação.

Este guia está aqui para o ajudar a navegar no panorama das ferramentas de documentação com IA. Quer faça parte de uma empresa SaaS, seja redator técnico ou esteja a gerir centros de ajuda ao cliente, este guia fornecerá informações sobre as melhores ferramentas, as suas funcionalidades únicas e como podem responder aos desafios específicos da sua equipa.

Melhores ferramentas de documentação com IA: comparação direta

Funcionalidades

Trupeer

Scribe

Tango

Document360

Notion AI

Confluence AI

GitBook AI

Escrita com IA

Sim

Sim

Limitado

Sim

Sim

Sim

Sim

Captura automática de passos

Sim

Não

Sim

Limitado

Não

Limitado

Sim

Anotação de capturas de ecrã

Sim

Limitado

Sim

Não

Limitado

Sim

Limitado

Narração por voz com IA

Sim

Não

Não

Sim

Não

Não

Limitado

Geração de vídeo

Sim

Não

Limitado

Sim

Não

Limitado

Limitado

Modelos inteligentes

Sim

Sim

Limitado

Sim

Sim

Não

Sim

Multi-idioma

Sim

Não

Não

Sim

Sim

Limitado

Sim

Integração com API

Sim

Limitado

Sim

Sim

Não

Sim

Sim

Plano gratuito

Sim

Não

Sim

Limitado

Sim

Não

Sim

  1. Trupeer

    Trupeer

    Trupeer foi concebido para equipas que pretendem aumentar a eficiência da sua documentação com funcionalidades baseadas em IA. É ideal para empresas que precisam de produzir rapidamente manuais de utilizador detalhados e precisos. O Trupeer destaca-se pela sua capacidade de automatizar a captura de passos e de integrar narrações nos guias de utilizador, tornando-se uma ferramenta abrangente para equipas de documentação.

    Principais funcionalidades

    • Escrita com IA

    • Captura automática de passos

    • Anotação de capturas de ecrã

    • Narração por voz com IA

    • Geração de vídeo

    • Modelos inteligentes

    • Suporte multi-idioma

    • Integração com API

    "O Trupeer reduziu significativamente o tempo do nosso processo de documentação, permitindo-nos focar mais na qualidade do conteúdo e menos na formatação."

    Prós

    Contras

    Conjunto de funcionalidades abrangente para documentação.

    A narração por voz com IA precisa de refinamento para línguas complexas.

    Suporta mais de 40 idiomas.

    Personalização limitada nos modelos.

    Alta precisão na captura automática de passos.

    A configuração inicial pode ser demorada.

    Preços

    O Trupeer disponibiliza um plano gratuito com funcionalidades essenciais. Os planos pagos começam nos $49 por utilizador por mês.

  2. Scribe

    Scribe

    O Scribe centra-se em simplificar a criação de documentos para equipas pequenas a médias. É especialmente útil para empresas que precisam de documentação simples, sem a necessidade de elementos multimédia extensos. A força do Scribe está na sua interface fácil de usar e nas capacidades eficientes de edição de texto, tornando-o uma escolha preferida por equipas que valorizam a simplicidade e a rapidez.

    Principais funcionalidades

    • Escrita com IA simples

    • Edição básica de texto

    • Modelos inteligentes

    • Controlo de versões

    • Ferramentas de colaboração

    • Suporte básico de idioma

    • Biblioteca de modelos

    • Publicação rápida

    Prós

    Contras

    Intuitivo e fácil de usar.

    Falta de funcionalidades multimédia avançadas.

    Configuração e implementação rápidas.

    Sem funcionalidade de captura automática de passos.

    Preços acessíveis para equipas pequenas.

    Suporte de idiomas limitado.

    Preços

    O Scribe não oferece um plano gratuito. Os planos pagos começam nos $15 por utilizador por mês.

  3. Tango

    Tango

    O Tango foi pensado para equipas que precisam de criar guias interativos, passo a passo. É perfeito para manuais de formação e documentos de onboarding. A funcionalidade de destaque do Tango é a facilidade de capturar e anotar capturas de ecrã, o que o torna uma excelente opção para documentação visual. No entanto, as suas capacidades de edição de texto são mais limitadas do que as de alguns concorrentes.

    Principais funcionalidades

    • Criação de guias interativos

    • Anotação de capturas de ecrã

    • Captura automática de passos

    • Ferramentas de colaboração básicas

    • Escrita com IA limitada

    • Personalização de modelos

    • Navegação passo a passo

    • Atualizações em tempo real

    Prós

    Contras

    Excelente para guias visuais e tutoriais.

    Capacidades de edição de texto limitadas.

    Ferramentas eficazes de anotação de capturas de ecrã.

    Não suporta narração por voz com IA.

    Atualizações em tempo real para colaboração em equipa.

    Sem suporte multi-idioma.

    Preços

    O Tango disponibiliza um plano gratuito com funcionalidades limitadas. Os planos pagos começam nos $20 por utilizador por mês.

  4. Document360

    Document360

    O Document360 é uma ferramenta abrangente de gestão de bases de conhecimento, destacando-se na criação e gestão de documentação extensa. É ideal para empresas que necessitam de capacidades robustas de documentação e de integração com fluxos de trabalho existentes. O Document360 destaca-se pelas funcionalidades de controlo de versões e de edição colaborativa, embora o seu suporte multimédia pudesse ser melhor.

    Principais funcionalidades

    • Gestão de base de conhecimento

    • Controlo de versões

    • Edição colaborativa

    • Opções avançadas de pesquisa

    • Escrita com IA

    • Integração com API

    • Suporte multi-idioma

    • Análises detalhadas

    Prós

    Contras

    Forte controlo de versões e colaboração.

    Falta de integração multimédia avançada.

    Ferramentas poderosas de pesquisa e análises.

    Processo de configuração complexo.

    Integra-se bem com outras ferramentas empresariais.

    Funcionalidades de geração de vídeo limitadas.

    Preços

    O Document360 disponibiliza um plano gratuito limitado. Os planos pagos começam nos $39 por utilizador por mês.

  5. Notion AI

    Notion AI

    O Notion AI faz parte do ecossistema Notion mais alargado, oferecendo um espaço de trabalho flexível para equipas. É particularmente útil para equipas que procuram uma solução tudo-em-um que combine gestão de projetos com documentação. A flexibilidade do Notion AI para personalizar fluxos de trabalho e modelos é uma grande vantagem, embora falte algumas das funcionalidades avançadas específicas de IA encontradas em ferramentas de documentação dedicadas.

    Principais funcionalidades

    • Espaço de trabalho flexível

    • Modelos personalizáveis

    • Escrita com IA básica

    • Gestão de tarefas

    • Ferramentas de colaboração

    • Integração com aplicações de terceiros

    • Gestão de bases de dados

    • Colaboração em tempo real

    Prós

    Contras

    Altamente personalizável e flexível.

    Não é especializado em documentação.

    Combina gestão de projetos e documentação.

    Funcionalidades de captura automática de passos limitadas.

    Integra-se bem com outras ferramentas.

    Sem narração por voz com IA nem geração de vídeo.

    Preços

    O Notion AI disponibiliza um plano gratuito para uso pessoal. Os planos pagos começam nos $10 por utilizador por mês.

  6. Confluence AI

    Confluence AI

    O Confluence AI, da Atlassian, foi concebido para equipas que já utilizam o conjunto Atlassian. Destaca-se na documentação colaborativa e na partilha de conhecimento, sendo uma excelente opção para equipas que precisam de integrar a documentação com outras ferramentas como o Jira. Embora ofereça funcionalidades sólidas de colaboração, as suas capacidades de IA não são tão avançadas como as de alguns concorrentes.

    Principais funcionalidades

    • Documentação colaborativa

    • Integração com ferramentas Atlassian

    • Escrita com IA básica

    • Partilha de conhecimento

    • Biblioteca de modelos

    • Gestão de permissões

    • Edição em tempo real

    • Organização de conteúdos

    Prós

    Contras

    Integração perfeita com ferramentas Atlassian.

    Conjunto de funcionalidades de IA limitado.

    Forte colaboração e partilha de conhecimento.

    Sem capacidade de captura automática de passos.

    Gestão de permissões e acessos fácil.

    Sem narração por voz com IA nem suporte de vídeo.

    Preços

    O Confluence AI não disponibiliza um plano gratuito. Os planos pagos começam nos $5 por utilizador por mês.

  7. GitBook AI

    GitBook AI

    O GitBook AI foi concebido para programadores e equipas técnicas que precisam de documentar APIs e guias técnicos. É ideal para equipas que pretendem uma ferramenta simples, focada em documentação baseada em texto. O GitBook AI destaca-se no suporte a markdown e no controlo de versões, mas falta-lhe algumas das funcionalidades multimédia avançadas presentes em ferramentas mais robustas.

    Principais funcionalidades

    • Suporte a markdown

    • Controlo de versões

    • Escrita com IA básica

    • Documentação de API

    • Suporte de domínio personalizado

    • Ferramentas de colaboração

    • Edição em tempo real

    • Integração com Git

    Prós

    Contras

    Excelente em markdown e controlo de versões.

    Sem suporte multimédia.

    Ideal para documentação de APIs e documentação técnica.

    Capacidades de IA limitadas.

    Integração simples com Git.

    Sem funcionalidades visuais nem de narração por voz.

    Preços

    O GitBook AI disponibiliza um plano gratuito com funcionalidades básicas. Os planos pagos começam nos $8 por utilizador por mês.

Desafios da documentação com IA: com o que as equipas mais lutam

1. Criar primeiras versões demora demasiado

  • Mesmo redatores experientes enfrentam atrasos ao iniciar novos projetos de documentação.

  • A necessidade de pesquisa e planeamento aprofundados pode abrandar a fase inicial da versão.

  • A formatação manual aumenta o tempo necessário antes de o rascunho chegar às fases de revisão.

  • As equipas muitas vezes têm dificuldade em lidar com o bloqueio do escritor, levando a projetos suspensos.

2. Manter a documentação atualizada com sprints do produto

  • As atualizações do produto exigem revisão contínua da documentação, uma tarefa exigente.

  • A falta de capacidades de atualização em tempo real em algumas ferramentas leva a informações desatualizadas.

  • Coordenar atualizações entre diferentes departamentos pode tornar-se um pesadelo a nível logístico.

  • As mudanças frequentes exigem formação constante para as equipas de documentação.

3. Formatação inconsistente entre membros da equipa

  • Estilos de escrita diferentes podem resultar numa falta de uniformidade na documentação.

  • Sem modelos padronizados, os documentos podem variar na estrutura e na apresentação.

  • As revisões muitas vezes exigem rondas adicionais de edição para garantir consistência.

  • Os novos membros da equipa precisam de tempo para se adaptarem aos padrões de formatação existentes.

4. Sem capacidades automáticas de captura de ecrã ou de captura de passos

  • A captura manual de ecrãs demora e está sujeita a erros.

  • Os passos muitas vezes precisam de verificação repetida para garantir a precisão.

  • Sem automação, integrar ajudas visuais torna-se um processo moroso.

  • As equipas podem precisar de ferramentas adicionais, o que complica o fluxo de trabalho.

5. Tradução e localização criam estrangulamentos

  • Os processos manuais de tradução podem atrasar a disponibilização da documentação para equipas globais.

  • Garantir a precisão em vários idiomas exige recursos significativos.

  • Contextos culturais diferentes exigem esforços de localização adaptados.

  • As equipas enfrentam desafios na manutenção de uma qualidade uniforme entre traduções.

Desafio

Processo tradicional

Impacto no negócio

Custo de tempo

Criar primeiras versões

Escrita e edição manuais

Atrasos na entrega de conteúdos

Elevado

Manter a documentação atualizada

Atualizações manuais periódicas

Informação desatualizada

Moderado a elevado

Formatação inconsistente

Guias de estilo individuais

Aparência profissional reduzida

Moderado

Sem captura automática de ecrã

Captura e edição manuais

Mais erros

Elevado

Estrangulamentos na tradução

Serviços de tradução manuais

Alcance global limitado

Muito elevado

Funcionalidades essenciais nas ferramentas de documentação com IA

Escrita com IA e auto-completar

As ferramentas de escrita com IA são essenciais para reduzir o tempo necessário para criar primeiras versões. Com capacidades para sugerir conteúdo e completar automaticamente frases, estas funcionalidades simplificam o processo de escrita. O Notion AI destaca-se nesta área, fornecendo sugestões inteligentes que ajudam a manter um tom e um estilo consistentes ao longo dos documentos.

Além disso, as ferramentas de escrita com IA podem ajudar na verificação de gramática e estilo, garantindo que a documentação é profissional e isenta de erros. Esta funcionalidade é particularmente útil para equipas que precisam de produzir rapidamente grandes volumes de conteúdo, como departamentos de marketing ou centros de apoio ao cliente.

Captura automática de passos a partir da atividade no ecrã

As ferramentas de captura automática de passos são inestimáveis para criar conteúdos instrucionais. Ao capturar cada passo à medida que acontece no ecrã, ferramentas como o Tango garantem que nenhum detalhe é omitido. Esta automação poupa tempo e melhora a precisão, o que é crucial para a documentação técnica.

As equipas podem beneficiar destas ferramentas ao reduzir o esforço manual envolvido na documentação de processos. Os passos capturados podem ser facilmente editados e anotados, proporcionando um guia claro e conciso para os utilizadores finais. Esta funcionalidade é particularmente benéfica para materiais de formação de software e de onboarding.

Anotação inteligente de capturas de ecrã

A anotação inteligente de capturas de ecrã melhora a clareza das ajudas visuais na documentação. Ferramentas com esta funcionalidade, como o Trupeer, permitem aos utilizadores adicionar texto, setas e realces diretamente às capturas de ecrã, tornando-as mais informativas e mais fáceis de compreender.

Esta capacidade é essencial para a documentação que depende de instruções visuais, como manuais de utilizador e guias de produto. Ao simplificar o processo de anotação, as equipas podem garantir que a sua documentação é simultaneamente completa e acessível para utilizadores com diferentes níveis de conhecimentos técnicos.

Geração de narração por voz com IA para documentação em vídeo

A geração de narração por voz com IA dá um toque profissional à documentação em vídeo. O Document360 disponibiliza esta funcionalidade, permitindo às equipas adicionar narração de alta qualidade aos seus guias em vídeo. Isto melhora a experiência do utilizador ao fornecer instruções verbais claras em conjunto com o conteúdo visual.

Para equipas globais, a narração por voz com IA pode também facilitar a criação de conteúdos de vídeo multilingues, apoiando públicos diversos. Esta funcionalidade é particularmente útil para equipas de apoio ao cliente que precisam de criar materiais de suporte acessíveis para utilizadores internacionais.

Exportação com um clique em vários formatos

Exportar a documentação em vários formatos é crucial para flexibilidade e acessibilidade. Ferramentas como o GitBook AI oferecem opções de exportação com um clique para formatos como PDF, HTML e Markdown, respondendo às necessidades e preferências de diferentes utilizadores.

Esta funcionalidade garante que a documentação pode ser facilmente partilhada e integrada em várias plataformas, apoiando o acesso online e offline. É especialmente útil para equipas que distribuem documentação por vários canais, incluindo websites, portais internos e manuais impressos.

Como escolher ferramentas de documentação com IA com base no seu caso de uso

Equipas de documentação de produto em empresas SaaS

Para equipas de documentação de produto em empresas SaaS, o foco principal é criar guias de utilizador detalhados e precisos, alinhados com atualizações frequentes do software. Estas equipas precisam de ferramentas que acompanhem as mudanças constantes e facilitem atualizações simples.

  • Principais desafios:

    • Atualizações frequentes do software que exigem revisões da documentação.

    • Necessidade de integração sem falhas com fluxos de trabalho de desenvolvimento.

    • Manter a consistência entre vários documentos e atualizações.

  • Soluções necessárias:

    • Ferramentas com funcionalidades robustas de controlo de versões.

    • Capacidades de colaboração em tempo real.

    • Notificações automáticas de atualização e controlo de alterações.

Ferramenta

Controlo de versões

Colaboração

Automação

Trupeer

Sim

Sim

Sim

Document360

Sim

Sim

Não

GitBook AI

Sim

Limitado

Limitado

Redatores técnicos e operações de conteúdos

As equipas de redatores técnicos e de operações de conteúdos precisam de ferramentas que aumentem a sua produtividade, mantendo uma produção de alta qualidade. Necessitam de funcionalidades que ajudem na escrita, edição e organização eficiente de grandes volumes de conteúdo.

  • Principais desafios:

    • Gerir vários projetos em simultâneo.

    • Garantir a precisão do conteúdo e a consistência do estilo.

    • Coordenar com várias partes interessadas e departamentos.

  • Soluções necessárias:

    • Funcionalidades avançadas de escrita e edição com IA.

    • Guias de estilo e modelos integrados.

    • Ferramentas robustas de gestão de projetos.

Ferramenta

Escrita com IA

Modelos de estilo

Gestão de projetos

Notion AI

Sim

Sim

Sim

Scribe

Limitado

Sim

Não

Tango

Não

Limitado

Não

Engenharia e documentação de API

As equipas de engenharia concentram-se em criar documentação que acompanha APIs e especificações técnicas. A precisão e a clareza são fundamentais, juntamente com a capacidade de lidar com dados técnicos complexos.

  • Principais desafios:

    • Garantir a precisão técnica e a completude.

    • Integrar a documentação com ferramentas de desenvolvimento de API.

    • Gerir o histórico de versões e as atualizações.

  • Soluções necessárias:

    • Ferramentas com capacidades robustas de documentação de API.

    • Suporte a markdown para conteúdos técnicos.

    • Funcionalidades de versionamento e gestão de branches.

Ferramenta

Suporte de API

Markdown

Versionamento

GitBook AI

Sim

Sim

Sim

Trupeer

Sim

Limitado

Sim

Confluence AI

Limitado

Não

Sim

Documentação de RH e de conformidade

As equipas de RH concentram-se em criar documentação clara e em conformidade para políticas e procedimentos. Precisam de ferramentas que garantam que os documentos são facilmente acessíveis e estão atualizados, mantendo a conformidade com os regulamentos.

  • Principais desafios:

    • Manter a documentação em conformidade com as leis em vigor.

    • Garantir acesso fácil e compreensão por parte de todos os colaboradores.

    • Gerir atualizações e revisões de forma eficiente.

  • Soluções necessárias:

    • Ferramentas com funcionalidades de controlo de conformidade.

    • Interfaces intuitivas para colaboradores não técnicos.

    • Notificações automáticas de atualização.

Ferramenta

Controlo de conformidade

Intuitivo

Notificações de atualização

Document360

Sim

Sim

Não

Confluence AI

Limitado

Sim

Limitado

Notion AI

Não

Sim

Sim

Centros de ajuda para autoatendimento do cliente

Os centros de autoatendimento do cliente têm como objetivo disponibilizar aos utilizadores acesso imediato à informação. A documentação precisa de ser clara, acessível e abrangente para reduzir pedidos de apoio e aumentar a satisfação do utilizador.

  • Principais desafios:

    • Garantir que a documentação é abrangente e fácil de compreender.

    • Reduzir o número de pedidos de apoio através de opções eficazes de autoatendimento.

    • Manter a informação atualizada em todas as plataformas.

  • Soluções necessárias:

    • Funcionalidades robustas de pesquisa e categorização.

    • Distribuição de conteúdos multi-plataforma.

    • Atualizações em tempo real e integração de feedback dos utilizadores.

Ferramenta

Funcionalidades de pesquisa

Multi-plataforma

Atualizações em tempo real

Trupeer

Sim

Sim

Sim

Document360

Sim

Não

Limitado

Scribe

Limitado

Não

Não

Boas práticas para tirar partido das ferramentas de documentação com IA

Antes da implementação

  • Identifique necessidades específicas de documentação e desafios únicos da sua equipa.

  • Pesquise e selecione a ferramenta que melhor se alinhe com os seus requisitos.

  • Defina objetivos claros para o que pretende alcançar com a ferramenta.

  • Garanta que todos os membros da equipa recebem formação tanto sobre a ferramenta como sobre os padrões de documentação.

  • Estabeleça um ciclo de feedback para identificar melhorias potenciais numa fase inicial.

Durante a criação da documentação

  • Aproveite funcionalidades de IA como assistência na escrita e auto-completar para poupar tempo.

  • Atualize regularmente modelos e guias de estilo para manter a consistência.

  • Colabore com os membros da equipa em tempo real para melhorar a qualidade do conteúdo.

  • Aproveite a captura automática de passos e a anotação de capturas de ecrã para maior clareza.

  • Acompanhe continuamente o progresso para garantir que os prazos são cumpridos de forma eficiente.

Depois de a documentação ser publicada

  • Recolha feedback dos utilizadores para identificar áreas de melhoria.

  • Monitorize análises para compreender o desempenho do conteúdo e o envolvimento dos utilizadores.

  • Revise e atualize regularmente a documentação para a manter atual.

  • Incorpore novas funcionalidades de IA e atualizações para melhorar a documentação futura.

  • Partilhe sucessos e aprendizagens com a equipa mais alargada para construir conhecimento institucional.

Perguntas frequentes

O que é a documentação com IA? A documentação com IA refere-se ao uso de tecnologias de inteligência artificial para ajudar a criar, gerir e atualizar documentação. Ajuda a automatizar tarefas repetitivas, garantindo mais tempo para a criação de conteúdos de elevado valor.

Como é que a IA pode melhorar os processos de documentação? A IA pode simplificar os processos ao automatizar a captura de passos, fornecer assistência na escrita e garantir consistência através de modelos inteligentes. Isto resulta em tempos de resposta mais rápidos e numa documentação de maior qualidade.

As ferramentas de documentação com IA são seguras? A maioria das ferramentas de documentação com IA dá prioridade à segurança dos dados com funcionalidades como encriptação e controlos de acesso. É crucial escolher ferramentas que cumpram os padrões de segurança da sua organização.

As ferramentas de IA podem integrar-se com outro software? Sim, muitas ferramentas de documentação com IA oferecem integrações com API com software popular como Jira, Slack e GitHub, melhorando a eficiência do fluxo de trabalho.

Existem ferramentas de documentação com IA gratuitas disponíveis? Sim, ferramentas como o Trupeer e o GitBook AI disponibilizam planos gratuitos com funcionalidades básicas, permitindo às equipas explorar as capacidades antes de avançarem para planos pagos.

Que fatores afetam o custo das ferramentas de documentação com IA? A definição de preços pode depender de fatores como o número de utilizadores, o conjunto de funcionalidades e o nível de apoio ao cliente disponibilizado. Avalie as suas necessidades para escolher a opção mais económica.

Quanto tempo demora a implementar uma ferramenta de documentação com IA? O tempo de implementação varia, mas geralmente vai de alguns dias a algumas semanas, dependendo da complexidade dos seus requisitos e da facilidade de configuração da ferramenta.

Que apoio está disponível durante a implementação? A maioria dos fornecedores oferece apoio através de documentação detalhada, equipas de apoio ao cliente e sessões de onboarding para garantir uma transição sem problemas.

Encerramento

As ferramentas de documentação com IA transformaram a forma como as equipas criam e gerem conteúdos, oferecendo funcionalidades que poupam tempo e melhoram a precisão. Embora existam desafios, a ferramenta certa pode ultrapassar estes obstáculos, tornando a documentação mais rápida e eficiente do que nunca.

Se procura uma solução abrangente que se integre sem falhas no seu fluxo de trabalho, considere o Trupeer. Foi concebido para responder aos desafios únicos enfrentados pelas equipas de documentação modernas. Visite Trupeer para saber mais sobre como pode revolucionar o seu processo de documentação.

Precisa de um editor de vídeo, tradutor e argumentista?

Experimente o Trupeer gratuitamente

Marcar uma demonstração

Precisa de um editor de vídeo, tradutor e argumentista?

Experimente o Trupeer gratuitamente

Marcar uma demonstração

Precisa de um editor de vídeo, tradutor e argumentista?

Experimente o Trupeer gratuitamente

Marcar uma demonstração