Testando e depurando programas quânticos: o caminho para 2 (2025)
- Authors:
- USP affiliated authors: SOUZA, HIGOR AMARIO DE - EP ; CHAIM, MARCOS LORDELLO - EACH ; RAMALHO, NEILSON CARLOS LEITE - EACH
- Unidades: EP; EACH
- DOI: 10.1145/3715106
- Assunto: COMPUTAÇÃO QUÂNTICA
- Language: Inglês
- Abstract: A computação quântica existe no âmbito teórico há várias décadas. Recentemente, ressurgiu como uma tecnologia promissora para resolver problemas que um computador clássico levaria centenas de anos para solucionar. No entanto, existem desafios e oportunidades para acadêmicos e profissionais em relação às práticas de engenharia de software para teste e depuração de programas quânticos. Este artigo apresenta um roteiro para abordar esses desafios, apontando as lacunas existentes na literatura e sugerindo direções de pesquisa. Discutimos as limitações causadas por ruído, o teorema da não clonagem, a falta de uma arquitetura padrão para computadores quânticos, entre outros. Em relação aos testes, destacamos lacunas e oportunidades relacionadas à transpilação, análise de mutação, estados de entrada com interfaces híbridas, análise de programas e cobertura. Para depuração, apresentamos as estratégias atuais, incluindo técnicas clássicas aplicadas a programas quânticos, asserções específicas para computação quântica e padrões de erros relacionados à computação quântica. Introduzimos um modelo conceitual para ilustrar conceitos relacionados ao teste e à depuração de programas quânticos e a relação entre eles. Esses conceitos são usados para identificar e discutir os desafios de pesquisa para lidar com os programas quânticos até 2030, com foco nas interfaces entre a computação clássica e a quântica e na criação de técnicas de teste e depuração que aproveitem as características únicas da computação quântica
- Imprenta:
- Source:
- Título: ACM Transactions on Software Engineering and Methodology
- ISSN: 1049-331X
- Volume/Número/Paginação/Ano: v. 34, ed. 5, p. 01-46, 2025
- Status:
- Nenhuma versão em acesso aberto identificada
-
ABNT
RAMALHO, Neilson Carlos Leite e SOUZA, Higor Amario de e CHAIM, Marcos Lordello. Testando e depurando programas quânticos: o caminho para 2. ACM Transactions on Software Engineering and Methodology, v. 34, p. 01-46, 2025Tradução . . Disponível em: http://dx.doi.org/10.1145/3715106. Acesso em: 12 abr. 2026. -
APA
Ramalho, N. C. L., Souza, H. A. de, & Chaim, M. L. (2025). Testando e depurando programas quânticos: o caminho para 2. ACM Transactions on Software Engineering and Methodology, 34, 01-46. doi:10.1145/3715106 -
NLM
Ramalho NCL, Souza HA de, Chaim ML. Testando e depurando programas quânticos: o caminho para 2 [Internet]. ACM Transactions on Software Engineering and Methodology. 2025 ; 34 01-46.[citado 2026 abr. 12 ] Available from: http://dx.doi.org/10.1145/3715106 -
Vancouver
Ramalho NCL, Souza HA de, Chaim ML. Testando e depurando programas quânticos: o caminho para 2 [Internet]. ACM Transactions on Software Engineering and Methodology. 2025 ; 34 01-46.[citado 2026 abr. 12 ] Available from: http://dx.doi.org/10.1145/3715106 - Um estudo sobre a adoção da Computação em Nuvem no Brasil
- Depuração de programas baseada em cobertura de integração
- Assessment of spectrum-based fault localization for practical use
- Avaliação de usabilidade de ferramentas de depuração de software
- On subsumption relationships in data flow testing
- SOCRATES: sistema orientado a objetos para caracterização de refatorações
- What do we know about buffer overflow detection?
- Comparing capability of static analysis tools to detect security weaknesses in mobile applications
- An efficient bitwise algorithm for intra-procedural data-flow testing coverage
- Data-flow testing in the large
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
