Preguntas etiquetadas con theory

En las Notas de Dijkstra sobre Programación Estructurada , habla mucho sobre la posibilidad de probar los programas de computadora como entidades abstractas. Como corolario, comenta que las pruebas no son suficientes. Por ejemplo, señala el hecho de que sería imposible probar una función de multiplicación f (x, y) = …

22 theory  cpu 

Esta es realmente una pregunta teórica de un novato en python que quiere entender más. Sigo olvidando los dos puntos después de las declaraciones iniciales de bloque en python. A eso me refiero: for <variable> in <sequence>: if <blah blah>: Mi pensamiento es que una de las razones por las …

19 python  syntax  theory 

Tengo un compañero de trabajo que se niega a aceptar la realidad de que las máquinas de Turing (y las máquinas de Von Neuman por extensión) no pueden resolver su propio problema de detención diciendo: Puedes hacer cualquier cosa con suficiente tiempo y dinero. Tampoco le gustan los problemas teóricos …

17 computer-science  theory  business-logic 

¿Qué hay de confirmar la funcionalidad en las pruebas positivas y demostrar que está funcionando? ¿Debo decir que es una pérdida de tiempo? ¿Qué tipo de concepto hay detrás de esta cita? Las pruebas fallidas, es decir, las pruebas que no encuentran errores son una pérdida de tiempo. Ingeniería web: …

15 testing  theory 

No puedo ver por qué el montón se considera un algoritmo de clasificación in situ . Me refiero a una estructura de datos adicional poblada con los elementos de la matriz que se va a clasificar, es decir, un montón, que se utiliza para ayudar en la extracción del valor …

15 algorithms  computer-science  theory  sorting 

Mi pregunta puede parecer muy científica, pero creo que es un problema común y los desarrolladores y programadores experimentados con suerte tendrán algunos consejos para evitar el problema que menciono en el título. Por cierto, lo que describo a continuación es un problema real que estoy tratando de resolver de …

13 programming-practices  theory  finite-state-machine 

He leído muchos artículos que afirman que el código no puede estar libre de errores, y están hablando de estos teoremas: Problema de detención Teorema de incompletitud de Gödel Teorema de Rice En realidad, el teorema de Rice parece una implicación del problema de detención y el problema de detención …

12 bug  theory 

Buscar en Google "teoría de prueba de software" solo parece dar teorías en el sentido blando de la palabra; No he podido encontrar nada que clasifique como teoría en el sentido matemático, teórico de la información o en algún otro campo científico. Lo que estoy buscando es algo que formalice …

12 testing  math  theory  formal-methods  information-theory 

Trabajo en una planta de fabricación que le ha encargado a TI la creación de un programa de programación de planta (que es muy necesario). Según la experiencia de otros, sería mejor tomar menos tiempo y desarrollar un marco básico que sea utilizable y luego construir sobre eso agregando características …

11 design  theory  methodology 

Dada la predicción de la rama, y ​​también el efecto de las optimizaciones del compilador, ¿qué código tiende a ofrecer un rendimiento superior? Tenga en cuenta que bRareExceptionPresent representa una condición poco común. No es el camino normal de la lógica. /* MOST COMMON path must branch around IF clause …

10 optimization  theory 

Estoy tratando de pensar en la mejor manera de hacer lo siguiente: Tengo una lista de tareas almacenadas en la base de datos. Una tarea tiene una prioridad asignada. Puede cambiar la prioridad de una tarea para reordenar el orden en que deben llevarse a cabo. Estoy pensando en algo …

10 database-design  data-structures  theory 

De vuelta en la universidad, recuerdo a un profesor que enseñaba a la clase una de las leyes de la informática. Dijo algo así como "Más código equivale a más errores" y le dio un nombre (La Ley de Whatchamacallit) y se lo atribuyó a alguien. ¿Alguien sabe de dónde …

10 bug  computer-science  theory 

Basado en muchas fuentes, no creo que la definición simple de que el objetivo de las pruebas sea encontrar tantos errores como sea posible; probamos para asegurarnos de que funciona o no. Por ejemplo, los siguientes son objetivos de probar el formulario ISTQB: Determinar que (productos de software) satisfacen los …

9 testing  theory  verification 

He estado viendo algunos lexers en varios idiomas de nivel superior ( Python , PHP , Javascript , entre otros) y todos parecen usar expresiones regulares de una forma u otra. Si bien estoy seguro de que las expresiones regulares son probablemente la mejor manera de hacer esto, me preguntaba …

9 theory  regular-expressions  lexer 

¿Cómo puedo escribir funciones que sean reutilizables sin sacrificar el rendimiento? En repetidas ocasiones me encuentro con la situación en la que quiero escribir una función de manera que sea reutilizable (por ejemplo, no hace suposiciones sobre el entorno de datos), pero conociendo el flujo general del programa, sé que …

8 optimization  theory  code-reuse  vba