Pytania otagowane jako theory

Pytanie teoretyczne dotyczy tematów, które generalnie nie mają bezpośredniego praktycznego zastosowania. Zachowaj ostrożność podczas używania tego tagu: Twoje pytanie może być bardziej odpowiednie dla witryny Computer Science Stack Exchange.

6
Jak często procesory popełniają błędy obliczeniowe?
W notatkach Dijkstry na temat programowania strukturalnego dużo mówi o sprawdzalności programów komputerowych jako bytów abstrakcyjnych. W związku z tym zauważa, że ​​testowanie nie wystarczy. Na przykład zwraca uwagę na fakt, że niemożliwe byłoby przetestowanie funkcji mnożenia f (x, y) = x * y dla dowolnych dużych wartości xiy we …
22 theory  cpu 
4
Czy okrężnica w blokach pytona jest technicznie konieczna?
To jest naprawdę tylko teoretyczne pytanie pytającego początkującego, który chce zrozumieć więcej. Wciąż zapominam dwukropek po początkowych instrukcjach bloku w pythonie. Oto, co mam na myśli: for <variable> in <sequence>: if <blah blah>: Myślę, że jednym z powodów, o których ciągle zapominam, jest fakt, że są one w rzeczywistości ukryte: …
19 python  syntax  theory 
6
Jaki jest przykład problemu biznesowego niemożliwego do obliczenia?
Mam współpracownika, który odmawia zaakceptowania rzeczywistości, w której maszyny Turinga (a także maszyny von Neumana) nie są w stanie rozwiązać własnego problemu zatrzymania, stwierdzając: Możesz zrobić wszystko, mając wystarczająco dużo czasu i pieniędzy. Nie lubi też problemów teoretycznych, argumentując, że: W naszej dziedzinie nigdy nie napotkamy na te pytania. Jesteśmy …
4
Dlaczego Cem Kaner uważa test nie ujawnienia błędu za stratę czasu?
A co z potwierdzeniem funkcjonalności w pozytywnych testach, udowodnieniem, że działa - czy powinienem powiedzieć, że to strata czasu? Jaka koncepcja kryje się za tym cytatem? Nieudane testy, tj. Testy, które nie wykrywają błędów, są stratą czasu. Inżynieria sieci: Dyscyplina systematycznego rozwoju aplikacji internetowych cytująca Cem Kaner .
15 testing  theory 
6
Jak wyjść z awarii skończonego stanu?
Moje pytanie może wydawać się bardzo naukowe, ale myślę, że jest to powszechny problem i mam nadzieję, że doświadczeni programiści i programiści udzielą porady, aby uniknąć problemu, o którym wspominam w tytule. Przy okazji, to, co opisuję poniżej, to prawdziwy problem, który staram się proaktywnie rozwiązać w moim projekcie iOS, …
9
Teoretycznie wolne od błędów programy
Przeczytałem wiele artykułów, w których stwierdzono, że kod nie może być wolny od błędów, i mówią o tych twierdzeniach: Problem z zatrzymaniem Twierdzenie Gödela o niekompletności Twierdzenie Rice'a W rzeczywistości twierdzenie Rice'a wygląda jak implikacja problemu zatrzymania, a problem zatrzymania jest ściśle powiązany z twierdzeniem Gödela o niekompletności. Czy to …
12 bug  theory 
5
Czy są jakieś sformalizowane / matematyczne teorie testowania oprogramowania?
Wydaje się, że „teoria testowania oprogramowania” daje teorie w miękkim tego słowa znaczeniu; Nie byłem w stanie znaleźć niczego, co klasyfikowałoby jako teorię w sensie matematycznym, teoretycznym informacji lub w jakiejś innej dziedzinie naukowej. To, czego szukam, to coś, co formalizuje, czym jest testowanie, użyte pojęcia, czym jest przypadek testowy, …
4
Czy powinienem zbudować w pełni funkcjonalną aplikację czy gołe kości, a następnie powoli dodawać funkcje?
Pracuję w zakładzie produkcyjnym, który zlecił działowi IT stworzenie programu planowania produkcji w hali produkcyjnej (co jest bardzo potrzebne). Opierając się na innych doświadczeniach, lepiej byłoby poświęcić mniej czasu i zbudować podstawową strukturę, która będzie użyteczna, a następnie oprzeć ją na tym, dodając funkcje lub zacząć od stworzenia w pełni …
2
Który kod jest lepszy do optymalizacji przewidywania gałęzi?
Biorąc pod uwagę przewidywania gałęzi, a także efekt optymalizacji kompilatora, który kod oferuje lepszą wydajność? Zauważ, że bRareExceptionPresent stanowi rzadki warunek. To nie jest normalna ścieżka logiki. /* MOST COMMON path must branch around IF clause */ bool SomeFunction(bool bRareExceptionPresent) { // abort before function if(bRareExceptionPresent) { return false; } …
3
Więcej kodu = więcej błędów
Po studiach pamiętam profesora nauczającego klasę jednego z praw informatyki. Powiedział coś w stylu „Więcej kodu oznacza więcej błędów” i nadał mu nazwę (The Law Of Whatchamacallit) i przypisał ją komuś. Czy ktoś wie, skąd pochodzi to „prawo”, kto je wypowiedział lub co to jest pierwotne słowo?
7
Czy weryfikacja i walidacja są częścią procesu testowania?
Opierając się na wielu źródłach, nie wierzę, że prosta definicja, że ​​celem testowania jest znalezienie jak największej liczby błędów - testujemy, aby upewnić się, że działa lub nie działa. Przykładem są następujące cele testowania z ISTQB: Sprawdź, czy (oprogramowanie) spełnia określone wymagania (myślę, że jest to weryfikacja) Wykazać, że (produkty …
5
Analiza leksykalna bez wyrażeń regularnych
Patrzyłem na kilka leksykonów w różnych językach wyższego poziomu ( między innymi Python , PHP , JavaScript ) i wszystkie wydają się używać wyrażeń regularnych w takiej czy innej formie. Chociaż jestem pewien, że wyrażenia regularne są prawdopodobnie najlepszym sposobem na zrobienie tego, zastanawiałem się, czy istnieje jakiś sposób na …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.