W odpowiedzi na poprzednie pytanie rozpoczęła się krótka debata na temat poprawnej terminologii dla niektórych konstruktów. Ponieważ nie znalazłem pytania (innego niż to lub tamto , co nie jest całkiem właściwe), aby odpowiedzieć na to jasno, tworzę to nowe. Wątpliwe terminy i ich relacje to: typ,...
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...
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...
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...
Właśnie zaczynam uczyć się Haskell, po pochodzeniu ze światów JavaScript / Ruby. Natknąłem się na https://github.com/HoTT i książkę Teoria typów homotopii , którą bardzo chętnie czytam. Będę jednak uczyć się pojęć z matematyki i teorii typów, więc wydaje się, że minie dużo czasu, zanim zrozumiem,...
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...
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...
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...
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,...
Próbuję wymyślić najlepszy sposób na wykonanie następujących czynności: Mam listę zadań zapisanych w bazie danych. Zadanie ma przypisany priorytet. Możesz zmienić priorytet zadania, aby zmienić kolejność wykonywania. Mam na myśli coś bardzo podobnego do Pivotal Tracker. Wyobraź sobie, że...
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...