analiza programów analiza programów Analiza programów – jedna z najważniejszych czynności w informatyce. Najważniejszymi zastosowaniami analizy programów są znajdowanie i usuwanie przyczyn ich błędnego działania ( debugowanie) oraz poznawanie szczegółów zasad działania programu ( reverse engineering). ...Wikipedia "Analiza programów"
CMT++ Complexity Measures Tool jest narzędziem do analizy statycznej złożoności programów napisanych w C lub C++. Jest znanym faktem, że złożonośc kodu jest ściśle związana z ilością błędów w programie i stabilnościa programu. Skomplikowany kod jest trudny do przetestowania: prawdopodobnie więcej błędów posostaje nieujawnionych w ostatecznym programie. Skomplikowany kod będzie sam w sobie bardziej podatny na błędy i będzie wpływał negatywnie na ilość defektow ostatecznej aplikacji. Skomplikowany kod jest również trudny do pielęgnacji. ...Wikipedia "CMT++"
Debuger ( ang. debugger – odpluskwiacz, polskie tłumaczenie używane także w slangu polskich programistów) – program komputerowy służący do analizy kodu źródłowego lub kodu maszynowego w celu znalezienia w nim błędów programistycznych ( bugów). Proces naprawy kodu za pomocą debugera określa się mianem debugowania, lub bardziej po polsku – uruchamiania. Debuger opiera się na aplikacji parsującej. ...Wikipedia "Debuger"
Electric fence - biblioteka dzielona służąca do debugowania dostępu do pamięci w programach bez konieczności ich rekompilacji. ...Wikipedia "Electric fence"
fenris to niskopoziomowe narzędzie analizy programów autostwa Michała Zalewskiego. ...Wikipedia "Fenris (program)"
GNU Debugger – debuger będący częścią projektu GNU, napisany w 1988 r. przez Richarda Stallmana. Obecna wersja programu (6.4) obsługuje wiele architektur komputerowych i jest dostępna dla wielu systemów operacyjnych. Zazwyczaj zamiast pełnej nazwy używa się akronimu GDB. GNU Debugger jest dostępny na warunkach Powszechnej Licencji Publicznej GNU. ...Wikipedia "GNU Debugger"
GNU Visual Debugger (GVD) to wizualny debuger. Jest jednym z nielicznych wolnodostępnych programów napisanych w Adzie. ...Wikipedia "GNU Visual Debugger"
lint to program oryginalnego Uniksa analizujący kod w C pod kątem podejrzanych instrukcji, pomagający wykryć bugi. ...Wikipedia "Lint"
ltrace to narzędzie analizy kodu badające interakcję programu z używanymi przez niego bibliotekami dzielonymi (shared libraries). ...Wikipedia "Ltrace"
objdump to program analizujący pliki obiektowe (tzn. ze skompilowanym kodem). ...Wikipedia "Objdump"
strace to narzędzie do analizy kodu badające interakcję programu z jądrem systemu operacyjnego. ...Wikipedia "Strace"
O ile tcpdump nadaje się lepiej do rozwiązywania problemów na poziomie sieci, to tcpflow jest lepszym narzędziem rozwiązywania problemów na poziomie aplikacji. ...Wikipedia "Tcpflow"
Pojęcie test pokrycia (coverage test) obejmuje szereg statycznych testów strukturalnych w dziedzinie testowania oprogramowania. Testy pokrycia są wykonywane na grafach przepływu sterowania (control flow graph, CFG) Przy pomocy testów pokrycia są produkowane przypadki testowe (test cases), które testują wewnętrzną strukturę oprogramowania i ewentuanie ujawniają błędy w kodzie zródłowym. ...Wikipedia "Test pokrycia"
Test pokrycia instrukcji programu, nazywany C0-Test, jest minimalnym testem spośród testów pokrycia. Podczas tego testu każda instrukcja z grafu przepływu sterowania jest wykonywana co najmniej raz. ...Wikipedia "Test pokrycia instrukcji programu"
Test pokrycia rozgałęzień, zwany C1-Test, wykonuje co najmniej raz każdą krawędź (gałąź) w grafie przepływu sterowania. Przy tym każda decyzja w rozgałęzieniach w grafie osiąga przynajmniej raz wartość true i przynajmniej raz false. Test pokrycia rozgałęzień zawiera całkowicie test pokrycia instrukcji programu. Test pokrycia rozgałęzień jest minimalnym kryterium testowym w obszarze statycznego testowania opartego na przepływie sterowania. ...Wikipedia "Test pokrycia rozgałęzień"
Test pokrycia ścieżek (C2-Test) jest jednym z rodzajów testów pokrycia. Są w nim rozpatrywane możliwe ścieżki od wierzchołka startowego do wierzchołka końcowego. ...Wikipedia "Test pokrycia ścieżek"
Test pokrycia warunków logicznych należy do grupy testów pokrycia, które są używane do testowania oprogramowania. Problemem dotychczas omawianych testów pokrycia (C1-Test, C2-Test) jest niewystarczające przetestowanie złożonych, wielopoziomowych warunków logicznych. ...Wikipedia "Test pokrycia warunków logicznych"
Test pokrycia wierszy programu sprawdza czy i jak często są wykonywane instrukcje z pojedynczych wierszy programu. Jest najmniej wartościowym i najprostszym testem pokrycia. ...Wikipedia "Test pokrycia wierszy programu"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "analiza programów".
| MAIN PAGE | MAIN INDEX | CONTACT US |