Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "oprogramowania" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-13 z 13
    Tytuł:
    A multifaceted model for software reliability prediction during testing
    Wieloaspektowy model predykcji niezawodności oprogramowania w procesie testowania
    Autorzy:
    Pełka, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/305841.pdf
    Data publikacji:
    2014
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    niezawodność oprogramowania
    oprogramowanie
    modelowanie oprogramowania
    testowanie oprogramowania
    reliability
    software reliability
    modeling
    software modeling
    testing
    software testing
    Opis:
    Analysis of software reliability plays an important role in quality assurance plan realization during software development. By monitoring changes of evaluated reliability in relation to quality objectives it is possible to analyze current situation in respect to agreed requirements and initiate appropriate actions when needed to secure fulfilling of the goals. The use of software reliability growth models as the only method for reliability evaluation seems to be too much simplified approach. Such approach, based solely on fault detection history, may in some circumstances be risky and lead to significantly wrong decisions related to the software validation process. Taking possible pros and cons into account the model described in this paper is proposed to use a number of additional information concerning the software being tested and the validation process itself, to produce more accurate outcomes from the reliability analysis. The produced outcome gives an appropriate feedback for a decision makers, taking into account assumed software development process characteristic. Integral part of the presented approach is devoted to reliability characteristics of a system being tested in parallel by several independent teams.
    Badanie niezawodności oprogramowania stanowi istotną część realizacji planu jakościowego w procesie produkcji oprogramowania. Poprzez monitorowanie zmian wartości prognozowanej niezawodności oprogramowania w odniesieniu do założonych celów jakościowych można dokonywać analizy bieżącej sytuacji oraz w razie konieczności podejmować kroki sprzyjające realizacji założonego planu. Wykorzystanie w celu predykcji niezawodności jedynie modeli wzrostu niezawodności oprogramowania, bazujących na historii wykrywania błędów w badanym oprogramowaniu, wydaje się być podejściem zbyt uproszczonym. Podejście to w pewnych okolicznościach realizacji procesu walidacji oprogramowania może być obarczone dużym błędem i wpływać na podejmowanie błędnych decyzji przez decydenta. W związku z tym, w zaproponowanym modelu wykorzystuje się szereg dodatkowych informacji o testowanym oprogramowaniu oraz samym procesie walidacji w celu uzyskania bardziej wiarygodnych efektów analizy niezawodnościowej, będących jednocześnie odpowiednią informacją zwrotną dla decydenta z punktu widzenia założonych realiów prowadzenia projektu programistycznego. Integralną część prezentowanego podejścia stanowi aspekt wyznaczania charakterystyk niezawodnościowych systemu testowanego równolegle przez kilka niezależnych zespołów.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2014, 13; 25-36
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ocena wpływu procesu testowania na niezawodność modułu programowego
    Autorzy:
    Worwa, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/273170.pdf
    Data publikacji:
    2003
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    testowanie oprogramowania
    wskaźnik niezawodności
    Opis:
    W artkule przedstawiono propozycję modelu wzrostu niezawodności modelu w procesie jego testowania. W celu uwzględnienia, bardzo często występującego w praktyce testowania oprogramowania, zjawiska wykrywania przez różne zestaey danych testowych tych samych błędów wprowadzono pojęcie tzw. macierzy charakterystycznej testowanego modułu. NA podstawie analiy zależności macierzy charakterystycznej i przyrostu wartości wskaźnika niezawodności modułu przedstawiono praktyczne oszacowania tego przyrostu dla wybranych postaci macierzy charakterystycznej testowanego modułu.
    Źródło:
    Biuletyn Instytutu Automatyki i Robotyki; 2003, R. 9, nr 18, 18; 125-150
    1427-3578
    Pojawia się w:
    Biuletyn Instytutu Automatyki i Robotyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimal Resource Allocation for Reliability of Modular Software Systems
    Optymalizacja alokacji nakładów w procesie wytwarzania programu o znanej strukturze modułowej
    Autorzy:
    Worwa, K.
    Stanik, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/305937.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    struktura modułowa programu
    testowanie oprogramowania
    niezawodność oprogramowania
    modular software systems
    software testing
    software reliability
    Opis:
    Considerable development resources are consumed during the software-testing phase. The software development manager has to decide how to use the testing-resources effectively in order to maximize the software quality and reliability. The paper discusses a management problem to achieve a reliable software system efficiently during the module testing stage by applying a software reliability growth model. This model both describes the software-error detection phenomenon and represents the relationship between the cumulative number of errors encountered by software testing and the time span of the testing. As testing cost and software reliability are both important factors in the testing-resource allocation problems an investigation is performed in the paper to search for the optimal solution for modular software system with the objectives of maximising system reliability and minimising testing cost.
    W artykule przedstawiona jest metoda określania struktury niezawodnościowej programu, rozumianej jako wektor wskaźników niezawodności jego modułów składowych. Modelem rozpatrywanego programu jest graf przepływu sterowania, w którym prawdopodobieństwa uaktywniania poszczególnych modułów składowych w procesie wykonywania programu wynikają z tzw. profilu operacyjnego programu, charakteryzującego rzeczywiste środowisko jego pracy. Struktura niezawodnościowa wyznaczana jest w wyniku rozwiązania określonego zadania programowania matematycznego. Znajomość struktury niezawodnościowej programu umożliwia właściwe zaplanowanie nakładów czasowo-finansowych, wymaganych dla wytworzenia programu, spełniającego założone wymagania niezawodnościowe. Zastosowanie przedstawionej metody zilustrowane zostało przykładem liczbowym.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2011, 7; 69-76
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modele wzrostu niezawodności oprogramowania
    Software reliability growth models
    Autorzy:
    Pełka, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/305859.pdf
    Data publikacji:
    2010
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    modelowanie
    oprogramowanie
    niezawodność oprogramowania
    modeling
    software
    software reliability
    Opis:
    Historia badań nad niezawodnością oprogramowania sięga lat 70. ubiegłego wieku. Od momentu pojawienia się pierwszych publikacji poświęconych tej tematyce nastąpił znaczący rozwój i postęp prac mających na celu między innymi budowę matematycznego modelu umożliwiającego badanie wzrostu niezawodności oprogramowania w procesie jego testowania. Analizując dostępną literaturę, można dojść do wniosku, że nie istnieje rozwiązanie uniwersalne, które dałoby się zastosować w każdym przypadku. Możliwa jest natomiast klasyfikacja dostępnych modeli ze względu na cechy charakterystyczne poszczególnych rozwiązań, takie jak dziedzina danych, sposób opisu błędów pojawiających się w procesie testowania, sposób opisu niezawodności czy też pozostałych założeń, w tym narzędzi matematycznych wykorzystywanych w procesie ewaluacji. W artykule przedstawiono przegląd istniejących rozwiązań modelowania niezawodności oprogramowania, kładąc nacisk na różnorodność aspektów oraz metod wykorzystywanych w tym procesie.
    History of research on reliability of software began on early seventies of the last century. A significant progress of the work aimed at construction of a mathematical model of software reliability growth has been performed since the first publication devoted to this subject was presented. Analysis of existing literature may lead to the conclusion that there is no universal solution which could be applied in every single case. However, it is possible to classify existing models, based on their characteristics such as data domain, way to describe faults discovered during testing process, way to express reliability, or other remaining assumptions, including mathematical concepts used in evaluation process. This article presents an overview of existing solutions related to software reliability modeling, focusing on variety of aspects and methods used within this process.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2010, 6; 33-45
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Software Reliability Growth Models
    Modele wzrostu niezawodności oprogramowania
    Autorzy:
    Pełka, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/305994.pdf
    Data publikacji:
    2012
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    modelowanie
    programowanie
    niezawodność oprogramowania
    modelling
    software
    software reliability
    Opis:
    History of research on reliability of software began in the early seventies of the last century. A significant progress of the work aimed at the construction of a mathematical model of software reliability growth has been performed since the first publication devoted to this subject was presented. Analysis of existing literature may lead to the conclusion that there is no universal solution which could be applied in every single case. However, it is possible to classify existing models, based on their characteristics such as data domain, the way to describe faults discovered during testing process, the way to express reliability, or other remaining assumptions, including mathematical concepts used in the evaluation process. This article presents an overview of existing solutions related to software reliability modelling, focusing on variety of aspects and methods used within this process.
    Historia badań nad niezawodnością oprogramowania sięga lat 70. ubiegłego wieku. Od momentu pojawienia się pierwszych publikacji poświęconych tej tematyce nastąpił znaczący rozwój i postęp prac mających na celu między innymi budowę matematycznego modelu umożliwiającego badanie wzrostu niezawodności oprogramowania w procesie jego testowania. Analizując dostępną literaturę, można dojść do wniosku, że nie istnieje rozwiązanie uniwersalne, które dałoby się zastosować w każdym przypadku. Możliwa jest natomiast klasyfikacja dostępnych modeli ze względu na cechy charakterystyczne poszczególnych rozwiązań, takie jak dziedzina danych, sposób opisu błędów pojawiających się w procesie testowania, sposób opisu niezawodności czy też pozostałych założeń, w tym narzędzi matematycznych wykorzystywanych w procesie ewaluacji. Artykuł ten przedstawia przegląd istniejących rozwiązań modelowania niezawodności oprogramowania, kładąc nacisk na różnorodność aspektów oraz metod wykorzystywanych w tym procesie.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2012, 10; 19-29
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Quality Modelling for Web-based Information Systems
    Modelowanie jakości webowych systemów informatycznych
    Autorzy:
    Worwa, K.
    Stanik, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/305935.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    webowe systemy informatyczne
    jakość oprogramowania systemów webowych
    modelowanie jakości oprogramowania
    Web-based information systems
    quality of Web-based software
    software quality modelling
    Opis:
    The scope and complexity of current World Wide Web applications vary widely: from small scale, short-lived services to large-scale enterprise applications distributed across the Internet and corporate intranets and extranets. As Web applications have evolved, the demands placed on Web-based systems and the complexity of designing, developing, maintaining, and managing these systems have also increased significantly. They provided vast, dynamic information in multiple media formats (graphics, images, and video). Web site design for these and many other applications demand balance among information content, aesthetics, and performance. In accordance with the growth of the Internet and World Wide Web, there has been some research on quality issues of Web-based software systems. The main problems and challenges in achieving high quality of the Web-based information systems are discussed in the paper.
    Przedstawione w artykule rozważania dotyczą problematyki jakości webowych systemów informatycznych, tj. systemów, podstawowa funkcjonalność których jest dostępna za pośrednictwem przeglądarki internetowej. Z uwagi na bardzo gwałtowny rozwój technologii internetowych i aplikacji webowych problematyka ta ma bardzo duże i stale rosnące znaczenie praktyczne. Zasadniczym celem zawartych w artykule rozważań jest identyfikacja podstawowych czynników wpływających na jakość oprogramowania aplikacji webowych oraz analiza różnic pomiędzy technologiami ich wytwarzania, a technologiami wytwarzania oprogramowania konwencjonalnych systemów informatycznych. Artykuł składa się z trzech części. Część pierwsza zawiera opis ewolucji webowych systemów informatycznych. W części drugiej przedstawiona została charakterystyka stosowanych w praktyce kryteriów do oceny jakości oprogramowania aplikacji webowych. W trzeciej części artykułu przedstawione zostały podstawowe techniki modelowania jakości oprogramowania webowych systemów informatycznych.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2011, 7; 77-86
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Inżynieria wymagań w metodach Agile
    Requirements Engineering in Agile Software Development
    Autorzy:
    Lipski, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/1396866.pdf
    Data publikacji:
    2010
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    Agile
    inżynieria wymagań
    inżynieria oprogramowania
    agile
    requirements engineering
    software engineering
    Opis:
    "Zwinne" wytwarzanie oprogramowania (Agile Software Development) stało się bardzo popularne na przestrzeni kilku ostatnich lat. Metody Agile zostały wymyślone w celu szybszego dostarczenia działającego oprogramowania do klienta oraz dostosowania się oprogramowania do zmiennych potrzeb klienta. Można zauważyć, że istnieje wiele technik i praktyk wymyślonych oraz opracowanych w kontekście tradycyjnej inżynierii wymagań, które obecnie wykorzystywane są z dobrym rezultatem przez metody Agile. Celem tego artykułu jest pokazanie, w jaki sposób techniki inżynierii wymagań są wykorzystywane przez metody Agile oraz w jaki sposób metody te mogą być udoskonalone za pomocą tych technik.
    Agile Software Development approaches have become increasingly popular during the last few years. Agile practises have been developed with the aim to deliyer software faster and to ensure that the software meets changing needs of customers. We can find out that there are a lot of practices and approaches which are created and developed in context of traditional Requirements Engineering and which are used by Agile methods with a good result. The goal of this article is to show how the Requirements Engineering technics are used by Agile methods and how this methods can be improved by them.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2010, 5; 47-53
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fire Control System Software for Remote Controlled Weapon Stations : History, State of the Art and Opportunities for Future Development
    Oprogramowanie systemu kierowania ogniem zdalnie sterowanych modułów uzbrojenia : historia, teraźniejszość oraz perspektywy rozwoju
    Autorzy:
    Kruszyna, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/403502.pdf
    Data publikacji:
    2020
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    software engineering
    fire control system
    software
    inżynieria oprogramowania
    system kierowania ogniem
    oprogramowanie
    Opis:
    This paper presents the evolution of fire control system software for Remote Controlled Weapon Stations (ZSMU in Polish) developed and manufactured by Zakłady Mechaniczne “Tarnów” S.A. (Poland). The paper describes the architecture, scope and purpose of research and development of the fire control system software, and the prospective directions of its future development. A complement to the paper is a specification of the optimisation methods used during the development of the fire control system software and the work organisation of a team of programmers working on the source code of the fire control system software. The paper illustrates how the consistent execution of research and development improves the effectiveness, scalability, and optimisation of the ZSMU fire control system software.
    W publikacji przedstawiono ewolucję oprogramowania systemu kierowania ogniem zdalnie sterowanych modułów uzbrojenia ZSMU, opracowanych i produkowanych w Zakładach Mechanicznych „Tarnów”. Opisano architekturę, zakres i cel przeprowadzanych prac badawczo-rozwojowych oraz dalsze potencjalne kierunki rozwoju. Jako uzupełnienie, podano metody optymalizacji zastosowane przy rozwoju oprogramowania oraz organizację pracy dla wieloosobowego zespołu programistów, pracującego nad kodem źródłowym. Publikacja obrazuje, w jaki sposób konsekwentne prowadzenie prac badawczo-rozwojowych prowadzi do zwiększenia efektywności, skalowalności i optymalizacji oprogramowania systemu kierowania ogniem dla zdalnie sterowanych modułów uzbrojenia.
    Źródło:
    Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa; 2020, 11, 2 (40); 95-110
    2081-5891
    Pojawia się w:
    Problemy Mechatroniki : uzbrojenie, lotnictwo, inżynieria bezpieczeństwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Metoda badania własności statycznych i dynamicznych obiektowego oprogramowania symulacyjnego
    Object oriented simulator programs with static and dynamic properties analysis
    Autorzy:
    Gaj, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/305895.pdf
    Data publikacji:
    2008
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    symulacja
    własności obiektowego oprogramowania symulacyjnego
    simulation
    object-oriented properties
    static properties
    dynamic properties
    Opis:
    Artykuł dotyczy problemów badania własności obiektowych aplikacji symulacyjnych. W punkcie 2 opisano metody badania projektu aplikacji i jej kodu źródłowego. W rozdziale 3 opisano metody badania pracującej aplikacji obiektowej. Omówiono metody badania zjawisk zachodzących wewnątrz uruchomionej aplikacji symulacyjnej i w systemie operacyjnym.
    This article relates to the problems of research of the object-oriented properties of the simulator programs. Chapter 2 concerns the methods of research of application design and its source code. Chapter 3 describes the methods of research of running object-oriented application. It also shows the methods of research of events taking place inside running applications and its environment.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2008, 1; 17-23
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Comparison Study of Test Case Allocation Schemes in Software Partition Testing
    Porównanie wybranych strategii losowego testowania oprogramowania
    Autorzy:
    Worwa, K.
    Stanik, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/305891.pdf
    Data publikacji:
    2011
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    testowanie oprogramowania
    strukturalne testowanie losowe
    testowanie w pełni losowe
    software testing
    partition testing
    random testing
    Opis:
    The partition testing method is a commonly followed practice towards the selection of test cases. For partition testing, the program's input domain is divided into subsets, called subdomains, and one or more representatives from each subdomain are selected to test the program. The goal of such partitioning is to make the division of the program's input domain in such a way that when the tester selects test cases based on the subsets, the resulting test set is a good representation of the entire domain. The main aim of the paper is to analyse the fault-detecting ability of the partition testing method. Using effectiveness metrics for testing and partitioning schemes this paper makes a comparison of various test case allocation schemes in partition testing.
    W artykule przedstawione są wyniki porównania dwóch, najczęściej wykorzystywanych w praktyce, strategii losowego tworzenia zbioru danych testowych. Pierwsza z tych strategii, nazywana testowaniem w pełni losowym, polega na losowaniu poszczególnych przypadków testowych ze zbioru wszystkich możliwych zestawów danych wejściowych rozpatrywanego programu, przy czym najczęściej przyjmuje się tutaj, że wylosowanie każdego z tych zestawów jest jednakowo prawdopodobne. Druga z analizowanych strategii zakłada podział całego zbioru wszystkich możliwych zestawów danych wejściowych programu na tzw. partycje, będące podzbiorami, tworzonymi w oparciu o kryteria wykorzystywane w testowaniu strukturalnym. Strategia ta jest nazywana strukturalnym testowaniem losowym. Zawarte w artykule rozważania mają na celu określenie warunków, dla których jedna z ww. strategii testowania losowego jest lepsza od drugiej, w sensie prawdopodobieństwa wykrycia co najmniej jednego błędu.
    Źródło:
    Biuletyn Instytutu Systemów Informatycznych; 2011, 8; 59-66
    1508-4183
    Pojawia się w:
    Biuletyn Instytutu Systemów Informatycznych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    CryptXXX V3 : analiza użytego mechanizmu szyfrowania
    Analysis of cryptographic mechanisms used in ransomware CryptXXX v3
    Autorzy:
    Glet, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/211071.pdf
    Data publikacji:
    2016
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    ransonware
    inżynieria oprogramowania
    inżynieria wsteczna
    RC4
    RSA
    złośliwe oprogramowanie
    ransomware
    software engineering
    reverse engineering
    malicious software
    Opis:
    Celem artykułu jest analiza sposobu działania złośliwego oprogramowania typu ransomware w kontekście wykorzystywanych mechanizmów kryptologicznych. Inżynierii wstecznej poddana zostaje najnowsza w danym momencie wersja oprogramowania CryptXXX. Odkryte zostają wykorzystywane mechanizmy kryptograficzne, wskazane zostają ich słabości oraz możliwości poprawy.
    The main purpose of this paper was to analysis how malicious software is using cryptographic mechanisms. Reverse engineering were applied in order to discover mechanisms used in ransomware CryptXXX v3. At the end were given some useful advices how to improve CryptXXX.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 4; 94-121
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Artificial intelligence for software development : the present and the challenges for the future
    Sztuczna inteligencja w wytwarzaniu oprogramowania : stan aktualny i wyzwania na przyszłość
    Autorzy:
    Korzeniowski, Łukasz
    Goczyła, Krzysztof
    Powiązania:
    https://bibliotekanauki.pl/articles/211290.pdf
    Data publikacji:
    2019
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    software development
    artificial intelligence
    machine learning
    automated code generation
    wytwarzanie oprogramowania
    sztuczna inteligencja
    uczenie maszynowe
    automatyczne generowanie kodu
    Opis:
    Since the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task of a skilled human, which makes the whole software development a costly and error-prone process. It seems that recent advances in AI area, particularly in deep learning methods, may considerably improve the matters. The paper presents an extensive survey of recent work and achievements in this area reported in the literature, both from the theoretical branch of research and from engineer-oriented approaches. Then, some challenges for the future work are proposed, classified into Full AI, Assisted AI and Supplementary AI research fields.
    Od czasu pojawienia się pierwszych metod i narzędzi CASE niewiele zrobiono w zakresie automatycznego wytwarzania oprogramowania. Narzędzia CASE wspierają deweloperów w tworzeniu struktury systemu, definiowaniu interfejsów i relacji między modułami oprogramowania oraz, po powstaniu kodu, w wykonywaniu zadań testowych na różnych poziomach szczegółowości. Pisanie kodu jest jednak nadal zadaniem wykwalifikowanego specjalisty, co powoduje, że cały proces wytwarzania oprogramowania jest kosztowny i podatny na błędy. Ostatnie postępy w obszarze sztucznej inteligencji, szczególnie w zakresie metod głębokiego uczenia maszynowego, mogą i powinny znacznie poprawić tę sytuację. W artykule przedstawiono przegląd dotychczasowych osiągnięć w tej dziedzinie, znanych z literatury przedmiotu, szczególnie w zakresie czysto teoretycznym, gdyż efekty inżynierskie znajdujące zastosowanie praktyczne są jak dotąd bardzo ograniczone. Następnie zaproponowano i opisano kilka kierunków przyszłych prac w tej dziedzinie, które zaklasyfikowano jako Full AI, Assisted AI i Supplementary AI, w kolejności wynikającej z oczekiwanego stopnia zautomatyzowania procesów wytwarzania oprogramowania.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2019, 68, 1; 15-32
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Code comprehension as a distributed construction of meanings
    Podejście do zrozumienia kodu jako do konstrukcji sensu
    Autorzy:
    Cofta, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/208705.pdf
    Data publikacji:
    2019
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    computer science
    code comprehension
    social systems theory
    reverse engineering
    software maintenance
    informatyka
    rozumienie kodu
    teoria systemów społecznych
    inżynieria odwrotna
    utrzymanie oprogramowania
    Opis:
    Code comprehension, a sub-domain of reverse engineering and software maintenance, does not provide useful explanation of common situations where developers, distributed and isolated from each other in time and space, come to a similar understanding of a code. This limits our ability to develop tools to support this popular aspect of code comprehension. This paper investigates this phenomenon from the perspective of sociology, intentionally distancing itself from the dominating psychological approach. The analysis, conducted mostly from the standpoint of social systems theory, highlights that as the construction of meanings is subjective, in the absence of any significant interactions, the dominant influence on the construction of meanings comes from current states of various social systems to which the developer belongs to. Thus, the similarity of meanings (hence a better comprehension of the code) can be achieved by understanding systems to which the developer belongs to and by coordinating their states.
    Rozumienie kodu, istotna część inżynierii oprogramowania, jest obecnie badane głównie z pozycji psychologii, a w znacznie mniejszym stopniu z pozycji socjologii. Przypuszczalnie spowodowane jest to odczuciem, że dostępne teorie socjologiczne nie odnoszą się do problemów związanych z rozumieniem kodu. Ten artykuł argumentuje, że socjologiczna teoria systemów społecznych może znaleźć zastosowanie w badaniach nad rozumieniem kodu. Proponuje on skoncentrowanie się na formach systemów społecznych, które pozwalają na spójną rekonstrukcję znaczenia kodu. Artykuł ilustruje rozważania serią przypadków użycia, demonstrując, że rozumienie kodu jest i powinno być traktowane jako działanie społeczne, opisywalne odpowiednimi teoriami. Następnie skoncentrowano się na proponowanym wykorzystaniu teorii systemów społecznych, aby zakończyć omówieniem potencjalnych implikacji nowego podejścia na różne obszary badań.
    Źródło:
    Biuletyn Wojskowej Akademii Technicznej; 2019, 68, 2; 23-41
    1234-5865
    Pojawia się w:
    Biuletyn Wojskowej Akademii Technicznej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-13 z 13

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies