Запитання з тегом «theory»

У Примітках Діккстри про структуроване програмування він багато розповідає про доцільність використання комп’ютерних програм як абстрактних сутностей. Як слідство, він зазначає, що тестування недостатньо. Наприклад, він вказує на той факт, що неможливо було б перевірити функцію множення f (x, y) = x * y для будь-яких великих значень x і …

22 theory  cpu 

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

19 python  syntax  theory 

У мене є колега, який відмовляється прийняти реальність, що машини Тьюрінга (і машини Von Neuman за розширенням) не можуть вирішити власну проблему зупинки: Зробити все, що завгодно, і гроші ви можете зробити що завгодно. Він також не любить теоретичні проблеми, стверджуючи, що: У нашому полі ми ніколи не будемо стикатися …

17 computer-science  theory  business-logic 

Як щодо підтвердження функціональності в позитивних тестах, доведення, що це працює - чи варто сказати, що це марна трата часу? Яка концепція стоїть за цією цитатою? Невдалі тести, тобто тести, які не знаходять помилок, є марною тратою часу. Веб-інженерія: Дисципліна систематичної розробки веб-додатків із цитуванням Джема Канера .

15 testing  theory 

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

15 algorithms  computer-science  theory  sorting 

Моє запитання може здатися дуже науковим, але я думаю, що це загальна проблема, і досвідчені розробники та програмісти, сподіваємось, матимуть поради, щоб уникнути проблеми, про яку я згадую в назві. До речі, те, що я описую нижче, - це справжня проблема, яку я намагаюся проактивно вирішити у своєму проекті iOS, …

14 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 

Ще в коледжі я пам’ятаю професора, який викладав у класі один із законів інформатики. Він сказав щось на кшталт "Більше коду дорівнює більше помилок" і дав йому ім'я (The Law Of 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