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

Wykorzystanie modeli ontologicznych w procesie uzupełniania zbioru wiedzy niezbędnego w procesie projektowania systemu informatycznego

Gratkowski T.

Pomiary Automatyka Kontrola

|

2009

|

R. 55, nr 7

515-517

PL

W ramach artykułu została zaprezentowana koncepcja zastosowania zbiorów modeli ontologicznych, które pozwalają na uzupełnienie zbioru informacji niezbędnego w procesie projektowania. W przypadku zastosowania klasycznego sposobu projektowania, zbiór ten jest uzupełniany na podstawie wiedzy projektanta. Zbiór informacji stanowi niezbędne uzupełnienie przetwarzanego modelu wiedzy przez system automatyzujący proces projektowania systemu komponentowego.

EN

The process of design of software is a part of the software development methodology. It is divided into tasks by means of Chessman-Daniels [1] (CD) methodology. Each task has a set of input and output artifacts (both are UML [8] models). The paper presents a part of research dealing with issues of performing tasks automatically from CD methodology. The main idea to automatise tasks uses rules [2, 3]. The rules define how the task should be executed, and how to use information stored in input artifacts to create output artifacts. The research shows that some tasks require additional information to create output artifacts. In a classical process of design when software is designed by man, the designer's experience and knowledge create additional information. When the design process is performed automatically, an additional set of information broadening the system's knowledge about the designed software is needed. In the paper there is also presented the analysis of using ontologies [4-7] to describe the set of additional information. The ontology is a formal representation of a set of concepts within a domain and the relationships between those concepts. The ontologies used are described in OWL [7] (Fig. 6). There is given an algorithm (Figs. 4, 5) for using knowledge from ontologies to make automatically the "complete of multiplicity for association" step from "improve of types model" task (Fig. 1). This step is the smallest part of a software development flow [2], and it is a part of the task. The algorithm finds multiplicities for an association in the set of ontologies. The requirements for the input and output artifacts are given in Figs. 2, 3 in OCL [9] language.