Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: statyczna analiza kodu

Sortuj według:

Ogranicz wyniki do:

Zastosowanie statycznej analizy do walidacji kodu języka Java

100%

Janicki M. , Strzecha K.

2004

tom T. 8, z. 3

529-534

Jedną z metod automatycznej inspekcji kodu jest analiza statyczna. Pomimo ograniczeń jest ona efektywna dla języków programowania cechujących się silną typizacją danych oraz wspomagających automatyczne zarządzanie przydzielaniem pamięci. Stosowanie tego rodzaju analizy kodu pozwala na jego walidację poprzez postulowanie konwencji nazewnictwa oraz wykrywanie błędów projektowych.

One of methods for automatic code inspection is static analysis. In spite of limitations, it is effective for languages featuring strong data typing and supporting automatic memory allocation management. The use of this sort of code analysis allows for its validation by enforcing naming conventions and detecting design errors.

Zastosowanie generatora JavaCC do statycznej analizy kodu

100%

Janicki M. , Strzecha K.

2004

tom T. 8, z. 3

523-527

Generator analizatorów składniowych JavaCC jest narzędziem posiadającym szczególne cechy w porównaniu z innymi narzędziami tej klasy. Wraz z preprocesorem JJTree, rozszerzającym zakres możliwości tworzenia drzewa wywodu analizowanego tekstu, stanowi odpowiednie narzędzie do zastosowań w dziedzinie statycznej analizy kodu.

The JavaCC parser generator is a tool that possesses particular features in comparison to other tools of this class. Together with the JJTree preprocessor, extending the scope of possibilities with parse tree construction of the analyzed text, it constitutes an appropriate tool for static code analysis applications.

Aktualne narzędzia wytwarzania oprogramowania na platformie JEE

63%

Ozdoba P. , Pańczyk B.

Journal of Computer Sciences Institute

2017

tom Vol. 4

137--141

Artykuł ma charakter przeglądowy i opisuje aktualnie stosowane narzędzia wspomagające proces wytwarzania oprogramowania na platformę Java Enterprise Edition. W artykule dokonano wyboru omawianych narzędzi w oparciu o statystyki wykorzystania udostępnione na stronach internetowych. Przeanalizowano zintegrowane środowiska programistyczne, narzędzia do kontroli wersji kodu, narzędzia automatyzujące budowę oprogramowania oraz analizujące poprawność kodu. W niniejszej pracy wskazano najbardziej optymalne (według autora) narzędzia, wykorzystując je do budowy przykładowej aplikacji testowej w środowisku JEE.

This article is an overview and describes the currently used tools supporting software development process for Java Enterprise Edition. The tools were selected based on the usage statistics provided by websites. Analysis includes integrated development environments, code revision tools, software automation tools, and code validation tools. This paper shows the most optimal (according to the author) tools, using them to build sample test application in JEE.