Torna indietro   Hardware Upgrade Forum > Hardware Upgrade > News

Recensione Oculus Rift S: grafica da PC Desktop in VR
Recensione Oculus Rift S: grafica da PC Desktop in VR
Oculus Rift S è l'evoluzione di Oculus Rift: parliamo di un visore che, tramite il collegamento al PC Desktop, offre grafica avanzata, e potenzialmente fotorealistica, in Realtà Virtuale. Ecco il nostro parere dopo averlo provato con una serie di giochi
I 16 migliori videogiochi dell'E3 2019
I 16 migliori videogiochi dell'E3 2019
Abbiamo selezionato quelli che secondo noi sono i giochi presentati all'E3 che più faranno parlare di sé nei prossimi mesi. All'interno trovate immagini, filmati, caratteristiche di gioco e tutto quanto è stato mostrato durante l'evento videoludico più importante dell'anno
Leica Q2: primo contatto con la  full frame da taschino da 47,3 megapixel
Leica Q2: primo contatto con la full frame da taschino da 47,3 megapixel
Facile innamorarsi di Leica Q2: l'ergonomia e la facilità d'uso del primo modello con un nuovo sensore full frame da 47,3 megapixel che lavora in accoppiata all'ottica Summilux 28mm f/1.7: eccola alla prova nel centro di Milano per un primo contatto
Tutti gli articoli Tutte le news

Vai al Forum
Rispondi
 
Strumenti
Old 23-05-2019, 10:21   #41
pabloski
Senior Member
 
Iscritto dal: Jan 2008
Messaggi: 7225
Quote:
Originariamente inviato da zappy Guarda i messaggi
beh, anche un pc ha una interfaccia ben definita, e la "roba" arriva da lì.
Si, ma ha tante personalità.

Pensa al bug di OpenSSL in Debian. Lì il problema era che un numero intero a 32 bit veniva trattato dal programmatore come un uint. Il mantainer del pacchetto aveva rimosso un if ed era successo il casino.

Il punto è che l'ABS invece, sa che i numeri che gli arriveranno sono necessariamente di un solo tipo. I programmatori lo sanno. Il linguaggio ( si usano linguaggi un pelino più espressivi del C ) pure.


Quote:
Originariamente inviato da zappy Guarda i messaggi
una tastiera trasmette caratteri, un mouse coordinate... ecc.
Il problema è l'interpretazione. Un carattere può essere incastonato in un tipo di dato di diversa natura.

Tecnicamente ( se non mi sbaglio ) sono stringhe di 16 bit che compongono gli scancode. Ma lo leggi come int, uint, short, widechar? E in base al modello di programmazione del linguaggio potresti ritrovarti ad avere a che fare con un dominio di valori totalmente diverso.

Per cui se uso un uint sono sicuro che non dovrò mai usare un if per controllare se x < 0 ( perchè non può esserlo by design ).

Ed è qui che la verifica formale entra in gioco. Crei un modello matematico del software, con tanto di tipi di dato e relativi domini. E su quello ragioni, usando operatori analitici.

E la matematica è bella perchè è sintetica, cioè è in grado di dirti ( applicando un operatore ) se un predicato su una variabile è vero e in quali condizioni. Mentre in programmazione devi ragionare iterativamente.

Il problema è che creare un modello matematico di un pc in esecuzione è impossibile.
pabloski è offline   Rispondi citando il messaggio o parte di esso
Old 23-05-2019, 10:46   #42
zappy
Senior Member
 
L'Avatar di zappy
 
Iscritto dal: Oct 2001
Messaggi: 10481
Quote:
Originariamente inviato da pabloski Guarda i messaggi
Si, ma ha tante personalità
....
Il problema è che creare un modello matematico di un pc in esecuzione è impossibile.
ammetto che ho capito poc(issim)o del tuo post...

ok, quindi i bug sono "cose" messe in "tipi" non conformi.
non dovrebbe essere difficilissimo automatizzare una procedura che individua tutte le variabili e ci butta dentro la qualunque, per vedere che succede...

e cmq, non è che hai bisogno di un modello dell'intero pc con tutto quanto dalla A alla Z, da 0 a F... devi debuggare il TUO sw, non il mondo.
poi ripeto, non scrivo sw per lavoro, magari dico cazzate.
__________________
_______
Zap
Mai discutere con un idiota. Ti trascina al suo livello e ti batte con l'esperienza (O.W.)
zappy è offline   Rispondi citando il messaggio o parte di esso
Old 23-05-2019, 11:31   #43
Phoenix Fire
Senior Member
 
L'Avatar di Phoenix Fire
 
Iscritto dal: Sep 2006
Città: Aprilia
Messaggi: 10320
Quote:
Originariamente inviato da zappy Guarda i messaggi
ammetto che ho capito poc(issim)o del tuo post...

ok, quindi i bug sono "cose" messe in "tipi" non conformi.
non dovrebbe essere difficilissimo automatizzare una procedura che individua tutte le variabili e ci butta dentro la qualunque, per vedere che succede...

e cmq, non è che hai bisogno di un modello dell'intero pc con tutto quanto dalla A alla Z, da 0 a F... devi debuggare il TUO sw, non il mondo.
poi ripeto, non scrivo sw per lavoro, magari dico cazzate.
questa l'hai detta giusta
scherzi a parte, i problemi sono principalmente 2:
  • non puoi testare tutte le possibili combinazioni e interazioni di input
  • il software può girare in condizioni "Impreviste" o essere collegato con altri hw/sw non previsti
__________________
Quelli che dicevano che era impossibile non hanno mai fatto un tentativo
Inventario Steam contattatemi se interessati
Phoenix Fire è offline   Rispondi citando il messaggio o parte di esso
 Rispondi


Recensione Oculus Rift S: grafica da PC Desktop in VR Recensione Oculus Rift S: grafica da PC Desktop ...
I 16 migliori videogiochi dell'E3 2019 I 16 migliori videogiochi dell'E3 2019
Leica Q2: primo contatto con la  full frame da taschino da 47,3 megapixel Leica Q2: primo contatto con la full frame da t...
Xiaomi Mi 9 SE recensione: gran display, ma non ci siamo sull'autonomia Xiaomi Mi 9 SE recensione: gran display, ma non ...
Libra: ecco la criptovaluta globale e stabile di Facebook Libra: ecco la criptovaluta globale e stabile di...
NASA Curiosity: tracce di metano su Mart...
Google Maps, attenti alle truffe! False ...
Leica taglia 100 posti di lavoro: ma non...
Quanto ci costerà il 5G? TIM uffi...
I commercialisti sempre più digit...
Windows 10, nuovo Windows Terminal dispo...
HP rinnova il suo impegno per un'economi...
Amazon Echo Show 5: il piccolo che sa fa...
Cooler Master si veste di bianco: tre di...
Raspberry Pi 4 ufficiale a 35 dollari! C...
Leica CL Urban Jungle by Jean Pigozzi: n...
Huawei Kirin 810: nuovo SoC di fascia me...
Secondo lo studio The Connected Now gli ...
Voigtländer 75mm F1.5 Nokton per Leica M...
Xiaomi Mi Max e Mi Note: addio a due ser...
OCCT
Firefox Portable
ZoneAlarm Antivirus free
K-Lite Mega Codec Pack
K-Lite Codec Pack Full
K-Lite Codec Pack Standard
K-Lite Codec Pack Basic
Mozilla Thunderbird 60
Chromium
Dropbox
AIDA64 Extreme Edition
Firefox 67
Windows 7 Manager
Iperius Backup
HWiNFO Portable
Tutti gli articoli Tutte le news Tutti i download

Strumenti

Regole
Non Puoi aprire nuove discussioni
Non Puoi rispondere ai messaggi
Non Puoi allegare file
Non Puoi modificare i tuoi messaggi

Il codice vB è On
Le Faccine sono On
Il codice [IMG] è On
Il codice HTML è Off
Vai al Forum


Tutti gli orari sono GMT +1. Ora sono le: 04:41.


Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2019, Jelsoft Enterprises Ltd.
Served by www1v
1