Perguntas com a marcação «theory»

Nas Notas sobre programação estruturada de Dijkstra, ele fala muito sobre a possibilidade de programas de computador como entidades abstratas. Como corolário, ele observa como o teste não é suficiente. Por exemplo, ele ressalta o fato de que seria impossível testar uma função de multiplicação f (x, y) = x …

22 theory  cpu 

Esta é realmente apenas uma pergunta teórica de um novato em python que quer entender mais. Eu continuo esquecendo os dois pontos após as instruções iniciais do bloco em python. É isso que eu quero dizer: for <variable> in <sequence>: if <blah blah>: Meu pensamento é que uma das razões …

19 python  syntax  theory 

Tenho um colega de trabalho que se recusa a aceitar a realidade de que as máquinas de Turing (e as máquinas de Von Neuman por extensão) não podem resolver seu próprio problema de parada, afirmando: Você pode fazer qualquer coisa com tempo e dinheiro suficientes. Ele também não gosta de …

17 computer-science  theory  business-logic 

Que tal confirmar a funcionalidade em testes positivos, provar que está funcionando - devo dizer que é uma perda de tempo? Que tipo de conceito está por trás dessa citação? Testes malsucedidos, ou seja, testes que não encontram erros, são perda de tempo. Engenharia da Web: a disciplina de desenvolvimento …

15 testing  theory 

Não vejo por que o heapsort é considerado um algoritmo de classificação local . Quero dizer, uma estrutura de dados extra preenchida com os elementos da matriz a ser classificada, ou seja, um monte, é usada para auxiliar na extração do valor mínimo e no processo de classificação. Então, posso …

15 algorithms  computer-science  theory  sorting 

Minha pergunta pode parecer muito científica, mas acho que é um problema comum, e esperamos que desenvolvedores e programadores experientes tenham alguns conselhos para evitar o problema mencionado no título. Aliás, o que descrevo abaixo é um problema real que estou tentando resolver proativamente no meu projeto iOS. Quero evitá-lo …

13 programming-practices  theory  finite-state-machine 

Eu li muitos artigos que afirmam que o código não pode estar livre de erros e eles estão falando sobre esses teoremas: Problema de parada Teorema da incompletude de Gödel Teorema de Rice Na verdade, o teorema de Rice parece uma implicação do problema de parada e o problema de …

12 bug  theory 

A "teoria dos testes de software" no Google parece apenas dar teorias no sentido suave da palavra; Não consegui encontrar nada que classificasse como teoria no sentido matemático, da informação teórica ou de algum outro campo científico. O que estou procurando é algo que formalize o que é testar, as …

12 testing  math  theory  formal-methods  information-theory 

Eu trabalho em uma fábrica que encarregou a TI de criar um programa de programação de chão de fábrica (que é muito necessário). Com base na experiência de outras pessoas, seria melhor dedicar menos tempo e criar uma estrutura básica que seja utilizável e, depois disso, adicionar recursos ou começar …

11 design  theory  methodology 

Dada a previsão de ramificação e também o efeito das otimizações do compilador, qual código tende a oferecer desempenho superior? Observe que bRareExceptionPresent representa uma condição incomum. Não é o caminho normal da lógica. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort …

10 optimization  theory 

Estou tentando pensar na melhor maneira de fazer o seguinte: Eu tenho uma lista de tarefas armazenadas no banco de dados. Uma tarefa tem uma prioridade atribuída a ela. Você pode alterar a prioridade de uma tarefa para reordenar a ordem em que elas devem ser executadas. Estou pensando em …

10 database-design  data-structures  theory 

De volta à faculdade, lembro-me de um professor ensinando à classe uma das leis da ciência da computação. Ele disse algo como "Mais código é igual a mais bugs" e deu a ele um nome (The Law Of Whatchamacallit) e atribuiu a alguém. Alguém sabe de onde vem essa "lei", …

10 bug  computer-science  theory 

Com base em muitas fontes, não acredito que a definição simples de que o objetivo do teste seja encontrar o maior número possível de bugs - testamos para garantir que funcione ou não. Por exemplo, followint são objetivos do formulário de teste ISTQB: Determine que (produtos de software) atendem aos …

9 testing  theory  verification 

Eu estive observando alguns lexers em vários idiomas de nível superior ( Python , PHP , Javascript entre outros) e todos parecem usar expressões regulares de uma forma ou de outra. Embora eu tenha certeza de que as regexs são provavelmente a melhor maneira de fazer isso, eu queria saber …

9 theory  regular-expressions  lexer 

Como posso escrever funções reutilizáveis ​​sem sacrificar o desempenho? Estou enfrentando repetidamente a situação em que quero escrever uma função de uma maneira que a reutilize (por exemplo, não faz suposições sobre o ambiente de dados), mas sabendo o fluxo geral do programa, sei que não é a mais eficaz …

8 optimization  theory  code-reuse  vba