Wyniki wyszukiwania - BazTech

1

A multifaceted model for software reliability prediction during testing

Pełka R.

Biuletyn Instytutu Systemów Informatycznych

|

2014

|

nr 13

25-36

EN

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.

PL

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.

2

Composite language for representing reusable and traceable software assets

Śmiałek M., Ambroziewicz A., Bojarski J., Nowakowski W., Straszak T.

Przegląd Elektrotechniczny

|

2010

|

R. 86, nr 1

186-188

EN

Software development projects produce many artifacts at various levels of abstraction. These artifacts, combined together, form specific “software cases” which originate in requirements and lead to the resulting code. In an ideal world we would want to have these software cases automatically generated from the initial requirements. We would also want to reuse legacy software cases by comparing them with the current partial requirements specifications. In order to make this “ideal world” closer we have developed the Software Case Language which allows for formulating internally transformable and searchable software cases. This paper gives a brief overview of the language, summarises experience gathered during its development and presents a development framework based on it.

PL

W procesie powstawania projektu oprogramowania, tworzonych jest wiele artefaktów na różnych poziomach abstrakcji. Artefakty te, wspólnie tworzą swoisty „przypadek oprogramowania” rozpoczynający się od wymagań i prowadzący aż do kodu wynikowego. W idealnym świecie, chcielibyśmy aby taki przypadek oprogramowania generowany był automatycznie na podstawie pierwotnych wymagań. Chcielibyśmy również mieć możliwość ponownego użycia artefaktów wytworzonych w poprzednich projektach, poprzez porównanie ich z częściową specyfikacją wymagań bieżącego projektu. W celu przybliżenia tego „idealnego świata”, stworzyliśmy język przypadków oprogramowania (Software Case Language) pozwalający na formułowanie przypadków oprogramowania, automatyczną generację artefaktów na niższym poziomie abstrakcji oraz wyszukiwanie podobieństw pomiędzy przypadkami oprogramowania. Artykuł ten przedstawia ogólną ideę języka, podsumowuje doświadczenie zebrane podczas jego tworzenia oraz prezentuje narzędzie wspierające wykorzystanie języka.

3

Developing of software for carrying out research in the area of hydraulic control systems

Filo G.

Czasopismo Techniczne. Mechanika

|

2008

|

R. 105, z. 3-M

65-72

EN

In the work an attempt was made to develop our own computer software for carrying out investigations of a hydraulic cylinder positioning system. The software was built according to UML 2.0 modeling techniques and object oriented programming, using Delphi 2006 software development system. The developed software allows carrying out research of hydraulic systems with different types of digital controllers. The following types of control algorithms were tested: standard PID algorithm, fuzzy logic algorithms and neural networks. Computer simulations as well as laboratory tests were made. Laboratory tests were carried out at an especially built test stand. It follows from the results of investigations that using control techniques such as fuzzy logic or neural networks can be an advantageous option for conventional solutions.

PL

Głównym zadaniem zrealizowanym w niniejszym artykule było zaprojektowanie i wykonanie własnego oprogramowania do prowadzenia badań układu pozycjonowania z siłownikiem hydraulicznym. Oprogramowanie zostało zaprojektowane zgodnie z zasadami technik modelowania obiektowego zawartymi w języku UML 2.0. Do implementacji wykorzystano środowisko programowania obiektowego Delphi 2006. Zbudowane oprogramowanie pozwala na prowadzenie badań układów hydraulicznych z różnymi typami i rodzajami sterowników cyfrowych. Z jego zastosowaniem przeprowadzono badania układu ze sterownikiem PID, sterownikami opartymi na logice rozmytej oraz wykorzystującymi sieci neuronowe. Przeprowadzono zarówno badania symulacyjne, jak również laboratoryjne, na specjalnie przygotowanym stanowisku badawczym. Z rezultatów badań wynika, że zastosowanie nowych technik sterowania, jak logika rozmyta, może w pewnych przypadkach znacząco wpłynąć na poprawę jakości sterowania w porównaniu z rozwiązaniami konwencjonalnymi.