Esiste un nome per un comportamento interno non corretto che non si manifesta come bug?

Un bug è un bug anche se nessuno lo ha trovato.

Secondo questo articolo di Wikipedia :

A software bug is an error, flaw, failure, or fault in a computer program or system that causes it to produce an incorrect or unexpected result, or to behave in unintended ways.

Il comportamento non era quello che intendevi, quindi è un bug. Puoi chiamarlo un bug latente , un bug dormiente , ecc.

Some bugs have only a subtle effect on the program's functionality, and may thus lie undetected for a long time.

Secondo questo articolo, il bug di cui parli potrebbe essere classificato come "bug di risorse ", che significa:

Using an otherwise valid instruction on the wrong data type

In conclusione, ciò che non si è ancora manifestato esternamente, è in realtà un bug dormiente , in attesa che una situazione specifica si manifesti, di solito in un ambiente di produzione e durante un fine settimana.

Li ho sempre sentiti chiamare "bug latenti".

Su tutti i team su cui ho lavorato, è buona norma identificare i bug latenti e correggerli prima che qualcuno li subisca.

Nella situazione che descrivi, può essere o non essere un problema, se la lingua sta solo lavorando attorno alla supervisione. Ma se il modo in cui funziona, causa un problema di prestazioni perché rompe le cose e riassemblandole a lungo, allora è un comportamento indesiderato, ed è un gioco leale da segnalare come un bug, anche se l'output esplicito è corretto.

Stai descrivendo un semantico errore. Uno che non è stato catturato dalla tua lingua e non ha causato problemi con la corretta esecuzione del software.

Ogni volta che scrivi codice, stai scrivendo per molti segmenti di pubblico che devono essere soddisfatti. Hai soddisfatto la tua lingua e il tuo utente. Non sei riuscito a soddisfare lo sviluppatore di manutenzione.

La semantica riguarda il significato. Dimenticando di trattare suff come una lista hai scritto un codice il cui significato è difficile da capire. Il fatto che il risultato finale sia identico non è più corretto se si ottiene la risposta corretta in un test di matematica dimenticando due volte un negativo. La maggior parte dei professori ti segnerà per questo perché stanno cercando un significato nella tua risposta, non nella fortuna.

Chiunque guardi il tuo codice più tardi (incluso te) si sentirà allo stesso modo. Il codice che funziona ma non ha senso è un tipo speciale di frustrante.

Sfortunatamente se cerchi degli errori semantici troverai soprattutto quelli che i linguaggi di programmazione catturano per te. Come hai scoperto, non tutti i tipi di errori semantici possono essere rilevati automaticamente.

Se hai violato intenzionalmente la semantica, solo per creare qualcosa che funzioni, allora potrebbe essere facilmente chiamato un kludge . Infatti, chiunque leggendo il tuo codice e non conoscendo il tuo intento potrebbe giustamente chiamarlo uno.

Sarebbe un errore logico. Vedi l'articolo wiki per ulteriori informazioni.