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

14
Правильная терминология в теории типов: типы, конструкторы типов, виды / сортировки и значения

В ответ на предыдущий вопрос началась небольшая дискуссия о правильной терминологии для определенных конструкций. Как я не нашел вопрос (кроме этого , или что , что не совсем правильно) для решения этого ясно, что я делаю это новый. Сомнительные термины и их отношения: тип, конструктор типа,...

13
Как оправиться от поломки конечного автомата?

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

12
Теоретически безглючные программы

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

12
Существуют ли какие-либо формализованные / математические теории тестирования программного обеспечения?

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

11
Каковы практические последствия теории гомотопического типа в программировании?

Я только начинаю изучать Haskell, после того, как пришел из миров JavaScript / Ruby. Я наткнулся на https://github.com/HoTT и книгу по теории гомотопических типов , которую я очень хочу прочитать. Тем не менее, я буду изучать понятия математики и теории типов по мере продвижения, поэтому, похоже,...

11
Должен ли я создать полнофункциональное приложение или приложение, а затем медленно добавлять функции?

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

10
Больше кода = больше ошибок

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

10
Какой код лучше подходит для оптимизации прогнозирования ветвлений?

Учитывая прогноз ветвления, а также эффект оптимизации компилятора, какой код имеет тенденцию предлагать превосходную производительность? Обратите внимание, что bRareExceptionPresent представляет собой необычное условие. Это не нормальный путь логики. /* MOST COMMON path must branch around IF...

9
Лексический анализ без регулярных выражений

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

9
Приоритетный список задач, хранящихся в базе данных

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

9
Является ли проверка и валидация частью процесса тестирования?

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