Sari la conținut

Română · beta. Traducerea a fost făcută automat și este încă în curs de revizuire. Citește pagina în engleză

perspectiva aiqbenchCalcul cuantic

analiza aiqbench

This work applies mutation testing to quantum programs and derives "visibility certificates" that show when a fault cannot be detected by measurement-based tests. For quantum software engineers, the practical value is knowing when a surviving mutant reflects unchanged behaviour, hidden measurement effects, or too few samples, so test effort can go where it will actually help. The claims are formal and tied to specific circuits, so their reach beyond the worked examples remains to be shown.
Surse care acoperăQuantum Zeitgeist, arXiv, Latent Space

Researchers Bound Quantum Program Mutation Scores with New Framework

Quantum Zeitgeist4 min de cititArticolul și perspectiva sunt în engleză.

Can quantum program mutations survive testing not because of genuine errors, but simply due to how measurements are taken? New work delivers exact ‘visibility certificates’, establishing when tests *cannot* reveal specific faults, alongside tools that guide measurement choices for more effective fault detection in quantum software engineering. This moves beyond merely achieving high mutation scores towards understanding precisely why certain changes evade scrutiny.

A framework determines why mutations in quantum programs survive testing, because they don’t change program behaviour, their effects are hidden by measurement choices, or there isn’t enough statistical evidence to detect them. It improves test planning and identifies necessary alterations, quantifying their impact given sufficient state information while also establishing when tests will fail to reveal certain mutations. The research clarifies why flaws in quantum programs sometimes go undetected during testing due to unchanged behaviour,…

Extras afișat conform termenilor RSS ai publicației · 75 cuvinte · textul integral și figurile sunt pe site-ul publicației

Subiecte conexe