Red Hot Cyber
Sicurezza Informatica, Notizie su Cybercrime e Analisi Vulnerabilità
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.
 Cybersecurity Awareness efficace? Scopri BETTI RHC! Sei un'azienda innovativa, che crede nella diffusione di concetti attraverso metodi "non convenzionali"? Red hot cyber ha sviluppato da diversi anni una Graphic Novel (giunta al sesto episodio), l'unica nel suo genere nel mondo, che consente di formare i dipendenti sulla sicurezza informatica attraverso la lettura di un fumetto. Contattaci tramite WhatsApp al numero 375 593 1011 per saperne di più e richiedere informazioni oppure alla casella di posta graphicnovel@redhotcyber.com
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ì. |
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.
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.
