PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  static code analysis
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Hierarchical state machine model for analyzing safety hazards in real-time systems
Bakr Ahmed M., Salama May, Alsammak Abdelwahab K.
Computer Science
|
2021
|
T. 22 (1)
39-80
EN
Real-time systems must avoid hazardous situations. To achieve this, their functionality should be investigated under time constraints. A model based on Hierarchical Communicating Real-time State Machine (H-CRSM) and analysis methodology is proposed in this paper with the objective of obtaining any hazardous events that may occur in the input ANSI-C program. The system outputs a scenario list of the different hazards. A path in the code showing the cause of the undesirable event is associated with each hazardous scenario. The strength of the proposed methodology is that the process of hazardous situation detection does not require the running of the ANSI-C program many times with distinct values for the inputs. It also focuses on analyzing the software level of the life cycle. It is not like most of the verification and analysis tools that check system levels. The system level may be bug-free, but the software level may not be.
2
Content available Metody weryfikujące poziom wiedzy i umiejętności programisty
Hajduk Paweł, Wieruszewski Norbert, Skublewska-Paszkowska Maria
Journal of Computer Sciences Institute
|
2018
|
Vol. 8
270--276
PL
Artykuł opisuje aktualnie stosowane metody weryfikacji poziomu wiedzy i umiejętności programistów. Do realizacji badań wykorzystano własne rozwiązanie w postaci aplikacji implementującej kilka wybranych metod, na której następnie przeprowadzono testy użytkowe przy udziale programistów o zróżnicowanym poziomie doświadczenia, wiedzy i umiejętności. Na podstawie analizy uzyskanych wyników wyciągnięto wnioski, które pozwoliły na ocenienie każdej z metod w następujących kategoriach: skuteczność sprawdzenia użytkownika, niezawodność działania metody, czas weryfikacji rozwiązania, atrakcyjność użytkowania oraz uniwersalność metody.
EN
The article describes currently utilized methods of a programmer’s knowledge verification and skills. The research consisted of creating custom solution which was an application implementing chosen methods and carrying out test with the participation of programmers having various levels of experience, knowledge and skills. Effectiveness of assessment, reliability and verification time were evaluated based on an analysis of the results received from the research.
3
Content available Analiza wpływu refactoringu na jakość kodu – analiza porównawcza dwóch przypadków
Łukasik Mariusz, Miłosz Marek
Journal of Computer Sciences Institute
|
2017
|
Vol. 5
200--203
PL
w metodykach zwinnych jedną z technik poprawy jakości kodu jest jego refaktoryzacja. Jest to proces, wykorzystujący szereg technik, modyfikacji kodu bez zmiany jego funkcjonalności ukierunkowany na poprawę jego przejrzystości i zmniejszenie podatności na błędy. Poprawę kodu można mierzyć przy pomocy różnych metryk jakości kodu. w artykule przedstawiono analizę wpływu refaktoryzacji na statyczną jakość kodu na przykładzie open-sourcowego projektu Scuba. Jakość kodu została zmierzona w dwóch różnych punktach rozwoju oprogramowania – bezpośrednio przed i po refaktoryzacji kodu. Do pomiaru wykorzystano trzy najbardziej popularne zestawy metryk jakości kodu obiektowego i narzędzie Sonarqube. Badania wskazują jednoznacznie na istotną poprawę statycznej jakości kodu w wyniku refaktoringu.
EN
In agile methods, one of the techniques for improving code quality is refactoring. This is a process that employs a number of techniques, modifying the code without changing its functionality, aiming to improve its transparency and reduce vulnerability. You can measure the improvement of the code using different code quality metrics. The paper presents an analysis of the effect of refactoring on static code quality on the example of the open-source project Scuba. The quality of the code was measured at two different points of software development - right before and after refactoring the code. The three most popular sets of object code quality metrics and the Sonarqube tool were used for the measurement. The research clearly demonstrates the significant improvement of static code quality as a result of refactoring.
4
Content available Aktualne narzędzia wytwarzania oprogramowania na platformie JEE
Ozdoba P., Pańczyk B.
Journal of Computer Sciences Institute
|
2017
|
Vol. 4
137--141
PL
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.
EN
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.
5
Content available remote Zastosowanie statycznej analizy do walidacji kodu języka Java
Janicki M., Strzecha K.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2004
|
T. 8, z. 3
529-534
PL
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.
EN
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.
6
Content available remote Zastosowanie generatora JavaCC do statycznej analizy kodu
Janicki M., Strzecha K.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2004
|
T. 8, z. 3
523-527
PL
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.
EN
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.