Formalna metoda wyznaczania najlepszego producenta oprogramowania

• Autorzy: Kazimierz Worwa

Warianty tytułu

A Formal Approach to Selection the Best Software Developer

• Języki publikacji: PL

Abstrakty

W artykule przedstawiono propozycję wskaźnika jakości programu, w którego konstrukcji uwzględniono warunki jego użytkowej eksploatacji. W celu zilustrowania przydatności skonstruowanego wskaźnika, w artykule sformułowano dwukryterialne zadanie wyboru wariantu produkcji programu z kosztem produkcji i proponowanym wskaźnikiem jakości programu jako kryteriami składowymi. (fragment tekstu)

EN

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 the 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. (original abstract)

Słowa kluczowe

PL

Oprogramowanie; Ocena jakości; Ocena programów; Testowanie oprogramowania; Jakość oprogramowania

EN

Software; Quality assessment; Evaluation of programs; Software testing; Software quality

• Czasopismo: Gospodarka Materiałowa i Logistyka
• Rocznik: 2011
• Numer: nr 11
• Strony: 60--63

Twórcy

autor

Kazimierz Worwa

• Wojskowa Akademia Techniczna w Warszawie

Bibliografia

• M.R. Lyu, Handbook of Software Reliability Engineering, McGraw-Hill, New York 1996.
• I. Koźniewska, M. Włodarczyk, Modele odnowy, niezawodności i masowej obsługi, PWN, Warszawa 1978.
• J. Musa, Software Reliability Engineering: More Reliable Software, Faster and Cheaper, AuthorHouse, 2004.
• H. Pham, System Software Reliability, Springer-Verlag London Limited, 2006.
• Software Reliability Models: Theoretical Developments, Evaluation and Applications, Y.K. Malaiya, P.K. Srimani (eds.), IEEE Computer Society Press, Los Angeles, 1990.
• K. Worwa, A Formal Approach to Selection the Best Software Developer, w: Solutions for Supporting the Processes of Administration, Logistics and Manufacturing - Selected Aspects, K. Grzybowska, P. Pawlewski, Publishing House of Poznan University of Technology, Poznan 2011.