Un team di ricercatori dell’Università del Michigan e Microsoft Research e Carnegie Mellon, ha escogitato un modo per verificare che una classe di programmi complessi sia priva di #bug senza la necessità di #test del #software tradizionale. Chiamato #Armada, il sistema utilizza una tecnica chiamata “verifica formale” per dimostrare se un software produrrà ciò che dovrebbe.
Si rivolge a software che esegue l’esecuzione simultanea, un metodo diffuso per migliorare le prestazioni, che è stato a lungo una caratteristica particolarmente impegnativa per applicare questa tecnica.
I programmi concorrenti sono noti per la loro complessità, ma sono stati uno strumento importante per aumentare le prestazioni dopo che la velocità dei processori ha iniziato a salire.
 Avvio delle iscrizioni al corso Cyber Offensive Fundamentals Vuoi smettere di guardare tutorial e iniziare a capire davvero come funziona la sicurezza informatica? La base della sicurezza informatica, al di là di norme e tecnologie, ha sempre un unico obiettivo: fermare gli attacchi dei criminali informatici. Pertanto "Pensa come un attaccante, agisci come un difensore". Ti porteremo nel mondo dell'ethical hacking e del penetration test come nessuno ha mai fatto prima. Per informazioni potete accedere alla pagina del corso oppure contattarci tramite WhatsApp al numero 379 163 8765 oppure scrivendoci alla casella di posta [email protected].
Se ti piacciono le novità e gli articoli riportati su di Red Hot Cyber, iscriviti immediatamente alla newsletter settimanale per non perdere nessun articolo. La newsletter generalmente viene inviata ai nostri lettori ad inizio settimana, indicativamente di lunedì. |
La verifica formale, è un mezzo per dimostrare che un programma produrrà sempre valori corretti senza doverlo testare con una gamma completa di possibili input.
Ragionando sul programma come una prova matematica, i programmatori possono dimostrare che bug o errori sono impossibili e che la sua esecuzione è ermetica. Questo supera il difetto comune a tutti i programmi, anche senza concorrenza, che testare qualcosa in modo esauriente può essere impraticabile o effettivamente impossibile.
Ovviamente non si parla di bug di sicurezza.
#redhotcyber #cybersecurity #amanda #metodologia
https://techxplore.com/news/2020-06-method-complex-bug-free.amp
Ti è piaciuto questo articolo? Ne stiamo discutendo nella nostra Community su LinkedIn, Facebook e Instagram. Seguici anche su Google News, per ricevere aggiornamenti quotidiani sulla sicurezza informatica o Scrivici se desideri segnalarci notizie, approfondimenti o contributi da pubblicare.
Vulnerabilità
Innovazione
Cyberpolitica
Cultura
Vulnerabilità