Вопросы с тегом «theory»

В заметках Дейкстры о структурированном программировании он много говорит о доказуемости компьютерных программ как абстрактных сущностей. Как следствие, он отмечает, что тестирования недостаточно. Например, он указывает на тот факт, что было бы невозможно проверить функцию умножения f (x, y) = x * y для любых больших значений x и y …

22 theory  cpu 

Это действительно теоретический вопрос новичка-питона, который хочет понять больше. Я продолжаю забывать двоеточие после блока начальных операторов в python. Вот что я имею в виду: for <variable> in <sequence>: if <blah blah>: Я думаю, что одна из причин, которые я продолжаю подделывать, состоит в том, что они де-факто неявны: двоеточие …

19 python  syntax  theory 

У меня есть коллега, который отказывается принять реальность того, что машины Тьюринга (и машины фон Неймана в целом) не могут решить свою собственную проблему остановки, заявляя: Вы можете сделать что-нибудь с достаточным количеством времени и денег. Он также не любит теоретические проблемы, утверждая, что: В нашей области мы никогда не …

17 computer-science  theory  business-logic 

Как насчет подтверждения функциональности в положительных тестах, доказать, что она работает - я должен сказать, что это пустая трата времени? Какая концепция стоит за этой цитатой? Неудачные тесты, то есть тесты, которые не находят ошибок, являются пустой тратой времени. Веб-инжиниринг: Дисциплина систематической разработки веб-приложений, цитируя Cem Kaner .

15 testing  theory 

Я не могу понять, почему heapsort считается алгоритмом сортировки по месту . Я имею в виду дополнительную структуру данных, заполненную элементами сортируемого массива, например кучей, которая используется для извлечения минимального значения и процесса сортировки. Так может быть, я неправильно понимаю определение здесь? Но для сортировки вставкой, например, очевидно, что это …

15 algorithms  computer-science  theory  sorting 

Мой вопрос может показаться очень научным, но я думаю, что это общая проблема, и опытные разработчики и программисты, надеюсь, получат несколько советов, чтобы избежать проблемы, о которой я упоминаю в заголовке. Кстати, то, что я описываю ниже, является реальной проблемой, которую я стараюсь активно решать в своем проекте iOS, я …

13 programming-practices  theory  finite-state-machine 

Я прочитал много статей, в которых говорится, что код не может быть без ошибок, и они говорят об этих теоремах: Проблема остановки Теорема Гёделя о неполноте Теорема Райса На самом деле теорема Райс выглядит как следствие проблемы остановки, и проблема остановки находится в тесной связи с теоремой Гёделя о неполноте. …

12 bug  theory 

Поиск в Google "теории тестирования программного обеспечения", по-видимому, дает теории только в мягком смысле этого слова; Я не смог найти ничего, что можно было бы классифицировать как теорию в математическом, информационном или каком-либо другом научном смысле. Что я ищу, так это то, что формализует, что такое тестирование, используемые понятия, что …

12 testing  math  theory  formal-methods  information-theory 

Я работаю на заводе-изготовителе, который поручил ИТ-отделу создать программу планирования работы цеха (что крайне необходимо). Основываясь на опыте других, было бы лучше потратить меньше времени и создать базовую платформу, которую можно использовать, а затем основываться на ней, добавляя функции, или начните с создания полностью внедренного решения прямо из шлюза. Я …

11 design  theory  methodology 

Учитывая прогноз ветвления, а также эффект оптимизации компилятора, какой код имеет тенденцию предлагать превосходную производительность? Обратите внимание, что bRareExceptionPresent представляет собой необычное условие. Это не нормальный путь логики. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort before function if(bRareExceptionPresent) { return false; …

10 optimization  theory 

Вернувшись в колледж, я помню, как профессор преподавал в классе один из законов информатики. Он сказал что-то вроде «Больше кода равно больше ошибок» и дал ему имя (Закон Whatchamacallit) и приписал это кому-то. Кто-нибудь знает, откуда взялся этот «закон», кто это сказал или каково его первоначальное словосочетание?

10 bug  computer-science  theory 

Я пытаюсь придумать лучший способ сделать следующее: У меня есть список задач, хранящихся в базе данных. Задаче назначен приоритет. Вы можете изменить приоритет задачи, чтобы изменить порядок их выполнения. Я думаю о чем-то очень похожем на Pivotal Tracker. Итак, представьте, что у нас было следующее: 1 Task A 2 Task …

9 database-design  data-structures  theory 

Основываясь на многих источниках, я не верю простому определению, что цель тестирования - найти как можно больше ошибок - мы проверяем, чтобы убедиться, что он работает или нет. Например, следующим является цель тестирования формы ISTQB: Определить, что (программные продукты) удовлетворяют указанным требованиям (я думаю, что его проверка) Продемонстрировать, что (программные …

9 testing  theory  verification 

Я смотрел на несколько лексеров в различных языках высокого уровня ( Python , PHP , Javascript и др.), И все они, кажется, используют регулярные выражения в той или иной форме. Хотя я уверен, что регулярные выражения, вероятно, лучший способ сделать это, мне было интересно, есть ли какой-нибудь способ добиться базового …

9 theory  regular-expressions  lexer