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ę "Worwa, K." wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 17
Tytuł:
Analiza porównawcza wybranych strategii losowego testowania oprogramowania
A comparison analysis of some random software testing strategy
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/404150.pdf
Data publikacji:
2010
Wydawca:
Polskie Towarzystwo Symulacji Komputerowej
Tematy:
analiza porównawcza
losowe testowanie oprogramowania
testowanie w pełni losowe
strukturalne testowanie losowe
prawdopodobieństwo
comparative analysis
random software testing
random testing
partition testing
probability
Opis:
W pracy przedstawione są wyniki analizy porównawczej dwóch, najczęściej wykorzystywanych w praktyce, strategii losowego tworzenia zbioru danych testowych: testowania w pełni losowego (random testing) i strukturalnego testowania losowego (partition testing). Zawarte w pracy 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 za pomocą utworzonych w oparciu o nie, tak samo licznych zbiorów danych testowych. Przedstawione rozważania zostały zilustrowane wynikami eksperymentów symulacyjnych, służących porównaniu efektywności analizowanych strategii testowania.
Both partition testing and random testing methods are commonly followed practice towards 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. In random testing test cases are selected from the entire program’s input domain randomly. The main aim of the paper is to compare the fault-detecting ability of partition testing and random testing methods. The results of comparing the effectiveness of partition testing and random testing may be surprising to many people. Even when partition testing is better than random testing at finding faults, the difference in effectiveness is marginal. Using some effectiveness metrics for testing and some partitioning schemes this paper investigates formal conditions for partition testing to be better than random testing and vice versa.
Źródło:
Symulacja w Badaniach i Rozwoju; 2010, 1, 3; 309-321
2081-6154
Pojawia się w:
Symulacja w Badaniach i Rozwoju
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimizing the structure of software systems supporting logistics at the design stage
Optymalizacja struktury oprogramowania wspierającego logistykę na etapie jego projektowania
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/362016.pdf
Data publikacji:
2018
Wydawca:
Wyższa Szkoła Logistyki
Tematy:
program design
modular structure
modularization criteria
program structure optimization
projektowanie programu
struktura modułowa
kryteria modularyzacji
optymalizacja struktury programu
Opis:
Background: Computer software, widely used to support a broad range of logistics activities, is characterized both by increasing functionality and increasing complexity. For this reason, the process of software production, including the stages of specification of requirements, design, programming and testing, is time-consuming and expensive. The main goal of the software design phase is to determine the software architecture that identifies all software components and defines links and connections between them. The design phase also includes the development of the so-called internal logic of all extracted components, that is, detailed elaboration of algorithms for their operation and defining the structure of data used. It should be emphasized that the results of the software design process depend greatly on the knowledge and experience of the designer, because there are no universal behavioral patterns in this area. The main goal of the approach proposed at work is to reduce the role of the subjective factor in the results of the software development process. The focus of this work is on this software development process within logistics processes. Methods: The basic research method used in the work is mathematical modeling. The paper proposes a formal method of assigning the modular structure of the computer program by formulating and solving the corresponding double-criterion optimization problem. The module strength coefficient and module-coupling coefficients were established as modularization criteria of the program. Results: The main result of the work is the method of determining the modular structure of the designed program by determining the solution of the two-criterion optimization problem. The numerical example developed to illustrate this entirel confirms the possibilities of its practical application. The modular structure of the program, based on the solution of the formulated polyoptimization task, is characterized by the maximum value of the modular power coefficient and the minimum value of the modular strength coefficient. According to the latest trends in software engineering, it is the optimal structure. The method can be useful in the process of designing software for systems supporting the implementation of logistics processes. Conclusions: The author's method of determining the modular structure of the program, presented in the article, is an unprecedented attempt in the literature to use formal methods in the software design process, which could be implemented practically in the logistics processes. The lack of similar attempts probably results from the very low compliance of the software design stage with attempts to formalize it. In order to increase the possibility of practical application of the proposed method, it seems reasonable to conduct further work to implement the methods of developing software requirements specifications in a formalized form, e.g. with the use of mathematical notation.
Wstęp: Oprogramowanie systemów komputerowych, powszechnie wykorzystywanych do wspomagania szeroko rozumianej działalności logistycznej, charakteryzuje się coraz większą funkcjonalnością, ale także coraz większą złożonością. Z tego powodu proces jego wytwarzania, obejmujący etapy: specyfikacji wymagań, projektowania, programowania oraz testowania, jest przedsięwzięciem czasochłonnym i kosztownym. Głównym celem fazy projektowania oprogramowania jest określenie architektury oprogramowania, która identyfikuje wszystkie komponenty oprogramowania i definiuje łącza i połączenia między nimi. Faza projektowania obejmuje również opracowanie wewnętrznej logiki wszystkich wyodrębnionych komponentów, czyli szczegółowe opracowanie algorytmów ich działania i określenie struktury wykorzystywanych danych. Należy podkreślić, że wyniki projektowania oprogramowania silnie zależą od wiedzy i doświadczenia projektanta, ponieważ nie ma uniwersalnych wzorców zachowań w tym obszarze. Głównym celem proponowanego podejścia jest ograniczenie wpływu wspomnianego czynnika subiektywnego na wyniki procesu projektowania oprogramowania. Metody: Podstawową metodą badawczą zastosowaną w pracy jest modelowanie matematyczne. W pracy proponuje się formalną metodę określania struktury modułowej projektowanego programu, poprzez wyznaczenie rozwiązania odpowiednio sformułowanego zadania optymalizacji dwukryterialnej. Jako kryteria modularyzacji przyjęto wskaźnik mocy modułowej oraz wskaźnik siły powiązań międzymodułowych programu. Rezultaty: Głównym rezultatem pracy jest autorska metoda wyznaczania struktury modułowej projektowanego programu, poprzez wyznaczenie rozwiązania formalnego problemu optymalizacji dwukryterialnej. Ilustrujący proponowaną metodę przykład numeryczny w pełni potwierdza możliwości jej praktycznego zastosowania. Struktura modułowa programu, oparta na rozwiązaniu sformułowanego zadania polioptymalizacji charakteryzuje się maksymalną wartością współczynnika tzw. mocy programu i minimalną wartością modułowego współczynnika powiązań międzymodułowych. Zgodnie z najnowszymi trendami inżynierii oprogramowania, jest to zatem struktura optymalna. Metoda może być przydatna, m.in. w procesie projektowania oprogramowania systemów wspierających realizację procesów logistycznych. Wnioski: Przedstawiona w artykule autorska metoda określania struktury modułowej programu jest - nie mająca precedensu w literaturze przedmiotu - jest próbą wykorzystania metod modelowania matematycznego w procesie projektowania oprogramowania. Brak podobnych prób w literaturze przedmiotu prawdopodobnie wynika z bardzo niskiej podatności etapu projektowania oprogramowania na jego formalizacji. W celu zwiększenia możliwości praktycznego stosowania proponowanej metody wydaje się zasadne prowadzenie dalszych prac, służących wdrożeniu metod opracowywania specyfikacji wymagań na oprogramowanie w sformalizowanej formie, np. z wykorzystaniem zapisu matematycznego.
Źródło:
LogForum; 2018, 14, 2; 209-219
1734-459X
Pojawia się w:
LogForum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A case study in school transportation logistics
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/409077.pdf
Data publikacji:
2014
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
School bus routing problem
Scheduling
Heuristic
optimization
Opis:
In the paper, a school bus routing problem, its mathematical models and solution methods are investigated. The aim of the study is to search for school bus routing problem and its solution method and to apply them for a sample case study. The case study concerns the routing and scheduling of school buses in an exemplary, well-recognized school located in one of Polish community. The problem is to find a series of school bus routes that ensure the service is provided equitably to all eligible students. Because of the NP-hardness of the school bus routing problem, it is solved using some heuristic optimization method using real data from the considered exemplary school. The aim is to increase bus utilization and to reduce transportation times for students, while maintaining on-time delivery of students to the school. Although the problem under consideration is one of the earliest logistics problems solved using methods of operations research, remains valid and is the subject of research, as evidenced by numerous contemporary publications, presenting new methods for the formal specification and solution of the problem.
Źródło:
Research in Logistics & Production; 2014, 4, 1; 45-54
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparison of Selected Strategies of Statistical Quality Control
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/409302.pdf
Data publikacji:
2015
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
Statistical Quality Control
Control Strategy
Control Effectiveness
Opis:
The paper presents the results of a comparative analysis of the two methods of statistical quality control of products. That two methods differ from each other mainly by a way of determining a subset of products subjected to inspection. The first of the two methods, hereinafter referred to as the completely random method, is to draw a certain number of products for control of the entire products population. The second method, called the method of drawing from partitions, is a pre-split across the specific products population into smaller parts, called partitions, and then create a representation (sample) of the products subject to control by drawing the products from each partition. The main result of this study is to determine the conditions for which the effectiveness of quality control methods with drawing from partitions is not less than the efficiency of the method with fully random drawing, whereby the efficiency criterion is the likelihood of the event, consisting in the fact that there is at least one incorrect product among the drawn products. The considerations were illustrated by numerical examples, designed to compare the effectiveness of the analyzed methods of quality control.
Źródło:
Research in Logistics & Production; 2015, 5, 4; 337-346
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logistical Aspects of the Software Testing Process
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/1833816.pdf
Data publikacji:
2016
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
software testing planning
software testing organization
Opis:
The purpose of this article is characterization of the software testing process in terms of its logistical support. The software testing process is characterized as a complex, multistage project, with particular emphasis on its planning and organization. The role of logistical support and its importance for the efficiency of the testing process realization is highlighted. It was noted that proper software testing process planning and organization significantly affects the time and cost of that process.
Źródło:
Research in Logistics & Production; 2016, 6, 2; 155-164
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimalizacja liczby przystanków autobusowych w problemie zarządzania transportem szkolnym
Minimization of the number of bus stops in the school bus routing problem
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/202688.pdf
Data publikacji:
2017
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
marszrutyzacja floty autobusów szkolnych
optymalizacja
school bus routing problem
bus route optimization
Opis:
W artykule przedstawiono opis i sformułowanie problemu określenia zbioru przystanków autobusowych o minimalnej liczności na potrzeby zarządzania transportem szkolnym. Rozpatrywany problem stanowi jeden z podproblemów składowych szerszego problemu, znanego w literaturze jako schoool bus routing problem (SBRP). Wychodząc z założenia, że mała liczba przystanków autobusowych obsługiwanych przez flotę autobusów szkolnych ułatwia efektywne prowadzenie procesu transportowego, w artykule sformułowano problem minimalizacji liczby wykorzystywanych przystanków autobusowych, z zapewnieniem transportu każdemu uprawnionemu do przewozu uczniowi. W artykule przedstawiono także metodę rozwiązania sformułowanego problemu. Aby zilustrować proponowaną metodę rozwiązania rozpatrywanego problemu optymalizacji, przedstawiono prosty przykład liczbowy.
This paper contains a formal presentation and description of a method of solving the problem of both determining the set of bus stops and the assignment of students that are authorized to transport to these stops. This issue can be treated as a subproblem of the school bus routing problem (SBRP). Although the problems of the SBRP class are one of the earliest logistics problems solved using methods of operations research, they remain valid and are the subject of research, as evidenced by numerous contemporary publications. Unfortunately, in most of the problems of SBRP class described in the literature, the problem of determining the bus stops network and allocation of students to the particular stops is very often ignored. Basing on the assumption that a small number of bus stops, from which the students are taken or to which they are transported, facilitates the school transport process, the paper focuses on the problem of minimizing the number of active bus stops. The main result of this paper is a proposed greedy algorithm to solving the problem of determining the minimum number of school bus stops. To illustrate the functioning of the proposed algorithm, a simple numerical example has been presented.
Źródło:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie; 2017, 72; 229-243
0239-9415
Pojawia się w:
Zeszyty Naukowe Politechniki Poznańskiej. Organizacja i Zarządzanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A discrete-time software reliability-growth model and its application for predicting the number of errors encountered during program testing
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/970102.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
testowanie oprogramowania
niezawodność oprogramowania
software testing
software reliability
software reliability-growth model
Opis:
An approach to evaluate the number of errors encountered during the program testing process is proposed in the paper. Considerations are based on some program reliability-growth model, constructed for an assumed scheme of the program testing process. In this model the program under testing is characterized by means of the so-called characteristic matrix and the program testing process is determined by means of so-called testing strategy. The formula for determining the mean value of the predicted number of errors encountered during the program testing is obtained. This formula can be used if the characteristic matrix and the testing strategy are known. Formulae for evaluating this value when the program characteristic matrix is not known are also proposed.
Źródło:
Control and Cybernetics; 2005, 34, 2; 589-606
0324-8569
Pojawia się w:
Control and Cybernetics
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ł:
Using an optimization methods to selection the best software developer
Wykorzystanie metod optymalizacji do wyznaczania najlepszego producenta oprogramowania
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/404127.pdf
Data publikacji:
2011
Wydawca:
Polskie Towarzystwo Symulacji Komputerowej
Tematy:
metody optymalizacji
dwukryterialny problem optymalizacji
wybór najlepszego producenta
producent oprogramowania
optimization methods
bicriterial optimization problem
selection the best developer
software developer
Opis:
A practical problem of choosing a software developer is considered. This problem is investigated from a user’s viewpoint, i.e. it is assumed that the software which is needed should be not only reliable but as cheap as possible too. The purpose of the paper is to propose some formal way of determining software developer by formulating and solving the bicriterial optimization problem will both minimize the value of the number of software tasks which have incorrect realization during some time period and minimize the value of the software development cost. Some numerical example is presented to illustrate of practical usefulness of the method which is proposed. The exemplary bicriterial optimization problem is solved on the base of the general methodology of solving multicriteria optimization problems.
W artykule przedstawiono propozycję pewnego wskaźnika jakości programu, w konstrukcji którego uwzględniono warunki jego użytkowej eksploatacji. Dla zilustrowania przydatności skonstruowanego wskaźnika jakości programu w dalszej części artykułu sformułowano dwukryterialne zadanie wyboru wariantu produkcji programu, z kosztem produkcji i proponowanym wskaźnikiem jakości programu jako kryteriami składowymi.
Źródło:
Symulacja w Badaniach i Rozwoju; 2011, 2, 2; 123-133
2081-6154
Pojawia się w:
Symulacja w Badaniach i Rozwoju
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Optimizing the module structure of the program on the stage of its design
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/409395.pdf
Data publikacji:
2018
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
program design
program modular structure
program structure optimization
Opis:
The paper proposes a formal method of determining the modular structure of the computer program by formulating and solution of the corresponding two-criterion optimization problem. A module strength coefficient and a module coupling coefficients were established as modularization criteria of the program. For the illustration of the considerations that have been discussed, a simple numerical example will be presented.
Źródło:
Research in Logistics & Production; 2018, 8, 1; 91-102
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Minimization of number of buses in the school bus routing problem
Autorzy:
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/409552.pdf
Data publikacji:
2017
Wydawca:
Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:
school bus routing problem
bus route optimization
Opis:
In this paper a formal presentation and description of a method of solving the problem of both determining the set of bus stops and assignment of students that are authorized to transport to these stops is investigated. This problem can be treated as a sub problem of the bus school routing problem (SBRP). Although the problems of the SBRP class are one of the earliest logistics problems solved using methods of operations research, they remain valid and are the subject of research, as evidenced by numerous contemporary publications. Unfortunately, in most of the problems of SBRP class described in the literature the problem of determining the bus stops network and allocation of students to the particular stops is very often ignored. Based on the assumption that a small number of bus stops, from which the students are taken or to which they are set down, makes carrying out of school transport process easier, a problem of minimizing the number of active bus stops was considered. The main result of this paper is proposition of a greedy algorithm to solving the problem of determining the minimum set of school bus stops. To illustrate functioning the proposed algorithm a simple numerical example has been presented.
Źródło:
Research in Logistics & Production; 2017, 7, 2; 127-141
2083-4942
2083-4950
Pojawia się w:
Research in Logistics & Production
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ł:
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ł:
Problem eliminowania fałszywych alarmów w komputerowych systemach ochrony peryferyjnej
The problem of eliminating false alarms in computer systems for the protection of peripheral
Autorzy:
Konopacki, G.
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/305945.pdf
Data publikacji:
2010
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
ochrona obiektów
fałszywy alarm
computer security system
false alarm
Opis:
W artykule rozpatruje się problem ochrony obiektów powierzchniowych za pomocą komputerowego systemu ochrony peryferyjnej, sterującego ochroną utworzoną w postaci barykady z wmontowanymi w nią czujkami naciągowymi. Analizuje się problem fałszywych alarmów w tego typu systemach ochrony, które mają charakter losowy oraz ciągły i zmienny w czasie. Opisuje się w sposób formalny za pomocą procesu stochastycznego zachowanie barykady podczas oddziaływania na nią czynników losowych i formułuje się i rozwiązuje zadanie określenia czułości czujek naciągowych minimalizujących powstawanie fałszywych alarmów.
The article examines the problem of protection of surface objects via a computer security system peripheral control security barricades set up in the form of integrated in its take-detectors. Examines the problem of false alarms in this type of protection systems, which are random and continuous and yariable over time. Described in a formal way through a process of stochastic behavior of the barricade at the impact of random factors, and it is formulated and solves the task of determining the sensithdty of the detectors tightening to minimize the formation of false alarms.
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2010, 5; 37-46
1508-4183
Pojawia się w:
Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Early estimating the number of errors encountered during program testing
Autorzy:
Konopacki, J.
Worwa, K.
Powiązania:
https://bibliotekanauki.pl/articles/305979.pdf
Data publikacji:
2009
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
software testing
software reliability
program correctness
reliability growth model
Opis:
An approach to estimate the number of errors encountered during the program testing process is proposed in the paper. Considerations are based on some program reliability growth model which is constructed for assumed scheme of program testing process. In this model the program under the testing is characterized by means of so-called characteristic matrix and the program testing process is determined by means of so-called testing strategy. The formula for determining the mean value of the predicted number of errors encountered during the program testing is obtained. This formula can be used if the characteristic matrix and the testing strategy are known. Formula for estimating this value when the program characteristic matrix is not known are also proposed in the paper.
Źródło:
Biuletyn Instytutu Systemów Informatycznych; 2009, 3; 53-57
1508-4183
Pojawia się w:
Biuletyn Instytutu Systemów Informatycznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 17

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