Domande taggate «theory»

La domanda teorica riguarda argomenti che generalmente non hanno usi pratici immediati. Prestare attenzione quando si utilizza questo tag: la domanda potrebbe essere più appropriata per il sito di scambio di stack di informatica.

Con quale frequenza le CPU commettono errori di calcolo?

Nelle Note sulla programmazione strutturata di Dijkstra parla molto della dimostrabilità dei programmi per computer come entità astratte. Come corollario, osserva come i test non siano sufficienti. Ad esempio, sottolinea il fatto che sarebbe impossibile testare una funzione di moltiplicazione f (x, y) = x * y per qualsiasi grande …

22 theory cpu

I due punti nei blocchi di pitone sono tecnicamente necessari?

Questa è davvero solo una domanda teorica da parte di un principiante di Python che vuole capire di più. Continuo a dimenticare i due punti dopo le dichiarazioni iniziali di blocco in Python. Questi sono ciò che intendo: for <variable> in <sequence>: if <blah blah>: Il mio pensiero è che …

19 python syntax theory

Qual è un esempio di un problema aziendale computazionalmente impossibile?

Ho un collega che rifiuta di accettare la realtà che le macchine Turing (e le macchine Von Neuman per estensione) non possono risolvere il proprio problema di arresto affermando: Puoi fare qualsiasi cosa con abbastanza tempo e denaro. Non ama anche i problemi teorici sostenendo che: Nel nostro campo, non …

17 computer-science theory business-logic

Perché Cem Kaner considera un test che non rivela un bug una perdita di tempo?

Che dire di confermare la funzionalità in test positivi, dimostrando che funziona - dovrei dire che è una perdita di tempo? Che tipo di concetto c'è dietro questa citazione? Test falliti, ovvero test che non rilevano errori sono una perdita di tempo. Web Engineering: la disciplina dello sviluppo sistematico di …

15 testing theory

Aggiornamento algoritmo. Perché heapsort è un algoritmo insort?

Non riesco a capire perché l'heapsort sia considerato un algoritmo di ordinamento interno . Intendo una struttura di dati extra popolata con gli elementi dell'array da ordinare, ovvero un heap, viene utilizzata per aiutare l'estrazione del valore minimo e il processo di ordinamento. Quindi forse sto fraintendendo la definizione di …

15 algorithms computer-science theory sorting

Come recuperare dalla rottura della macchina a stati finiti?

La mia domanda può sembrare molto scientifica, ma penso che sia un problema comune e speriamo che sviluppatori e programmatori esperti abbiano qualche consiglio per evitare il problema che menziono nel titolo. A proposito, quello che descrivo qui sotto è un vero problema che sto cercando di risolvere in modo …

13 programming-practices theory finite-state-machine

Programmi teoricamente privi di bug

Ho letto molti articoli che affermano che il codice non può essere privo di bug e parlano di questi teoremi: Arresto del problema Teorema di incompletezza di Gödel Teorema di Rice In realtà il teorema di Rice sembra un'implicazione del problema di arresto e il problema di arresto è in …

12 bug theory

Esistono teorie formalizzate / matematiche di test del software?

La "teoria del test del software" su Google sembra dare teorie solo nel senso sommesso della parola; Non sono stato in grado di trovare nulla che potesse classificare come teoria in senso matematico, teorico dell'informazione o in qualche altro campo scientifico. Quello che sto cercando è qualcosa che formalizzi cosa …

12 testing math theory formal-methods information-theory

Dovrei creare un'applicazione completamente funzionante o una bare bones e poi aggiungere lentamente funzionalità?

Lavoro in uno stabilimento di produzione che ha incaricato l'IT di creare un programma di programmazione per l'officina (che è molto necessario). Sulla base dell'esperienza di altri, sarebbe meglio impiegare meno tempo e costruire un framework di base utilizzabile e poi basarsi su quello aggiungendo funzionalità o iniziare creando una …

11 design theory methodology

Quale codice è meglio per l'ottimizzazione della previsione delle filiali?

Data la previsione del ramo e anche l'effetto delle ottimizzazioni del compilatore, quale codice tende a offrire prestazioni superiori? Si noti che bRareExceptionPresent rappresenta una condizione non comune. Non è il normale percorso della logica. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // …

10 optimization theory

Elenco di priorità delle attività archiviate in un database

Sto cercando di pensare al modo migliore per fare quanto segue: Ho un elenco di attività archiviate nel database. A un'attività è assegnata una priorità. È possibile modificare la priorità di un'attività per riordinare l'ordine in cui devono essere eseguite. Sto pensando a qualcosa di molto simile a Pivotal Tracker. …

10 database-design data-structures theory

Più codice = più bug

Di nuovo al college, ricordo un professore che insegnava alla classe una delle leggi dell'informatica. Ha detto qualcosa come "Più codice equivale a più bug" e gli ha dato un nome (La legge di Whatchamacallit) e lo ha attribuito a qualcuno. Qualcuno sa da dove viene questa "legge", chi l'ha …

10 bug computer-science theory

La verifica e la validazione fanno parte del processo di test?

Basandomi su molte fonti, non credo che la semplice definizione che scopo del test sia trovare il maggior numero di bug possibile - testiamo per assicurarci che funzioni o meno. Ad esempio followint sono obiettivi del modulo di prova ISTQB: Determinare che (prodotti software) soddisfano i requisiti specifici (penso che …

9 testing theory verification

Analisi lessicale senza espressioni regolari

Ho esaminato alcuni lexer in vari linguaggi di livello superiore ( Python , PHP , Javascript tra gli altri) e tutti sembrano usare espressioni regolari in una forma o nell'altra. Mentre sono sicuro che i regex sono probabilmente il modo migliore per farlo, mi chiedevo se ci fosse un modo …

9 theory regular-expressions lexer

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.