On clarifying the quality control of software products
// Software systems and computational methods. – 2022. – є 2.
– P. 1-12.
Read the article
Abstract: Despite the extensive volume of experience in the field of control automation, there are quite a lot of problems in the process of developing automated systems, including those related to the development of application software for them. With this in mind, the process of software development of automated control systems is chosen as the subject of research. The object of the study is a model of quality control of this process. Currently, legal regulation of software quality control is based on a paradigm that determines that the quality of programs will be checked exclusively for compliance with the requirements of the terms of contract. But, as practice has shown, such a paradigm does not fully meet modern conditions, providing not full-fledged quality control -- the verification of compliance of programs with customer expectations formulated at the stage of system design is needed. To find ways to solve the problem, the article uses general scientific methods of analysis. Based on the analysis of currently used methods and models of software testing, proposals for clarifying the paradigm of its evaluation and control are synthesized. The article formulates a scientific and practical problem and suggests a possible approach to its solution based on the refinement of the quality assessment paradigm currently used, on the transition from a "rigid", preset model to an expanded quality assessment model that takes into account not only the requirements of the terms of the contract, but also the conditions for their implementation.
The novelty of the proposed approach lies in the fact that the solution of the formulated task will provide an overall improvement in the quality of control by improving the safety and effectiveness of programs based on the transition to the use of an extended dynamic testing model of the software being developed, implemented within the framework of a refined quality assessment paradigm
Keywords: quality assessment model, the quality assessment paradigm, program quality assessment, software quality, software, decision support, automated control system, quality management methodology, the principle of quality assessment, testing programs
Tikhanychev O.V. On the quality indicators of software for automated control systems. Software systems and computational methods. 2020, no.2, pp.22-36. DOI: 10.7256/2454-0714.2020.2.28814 (in Russian).
Wagner S. Operationalized product quality models and assessment. The Quamoco approach. Information and Software Technology. 2015, no.62, pp.101-123; DOI: 10.1016/ j.infsof.2015.02.009.
The Sunday paper (tech ethics edition). Defense Tech. January 2008 [Electronic resource]. URL: htpp: //defensetech.org/2008/01/27/ (date accessed: 30.01.2008).
Tikhanychev O. V. On improving indicators for assessing the decision support systems' software quality. IOP Conference Series: Mater. Sci. Eng. 2020, no.919, 052009; DOI: 10.1088/1757-899x/919/5/052009.
Woodward S., Robinson P. One Hundred Days: The Memoirs of the Falklands Battle Group Commander. Harper Collins, London, 1997, 213 p.
Hyrum K. Wright. ESEC/FSE Doctoral Symposium '09: Proceedings of the doctoral symposium for ESEC/FSE on Doctoral symposiu
Automating third-party library migrations
// Software systems and computational methods. – 2022. – є 1.
– P. 71-87.
Read the article
Abstract: Manual migration between various third-party libraries is a problem for software developers. Developers usually need to study the application programming interfaces of both libraries, as well as read their documentation to find suitable comparisons between the replacement and the replaced methods. In this article, I will present a new approach (MIG) to machine learning that recommends mappings between the methods of two API libraries. My model learns from manually found data of implemented migrations, extracts a set of functions related to the similarity of the method signature and text documentation. I evaluated the model using 8 popular migrations compiled from 57,447 open source Java projects. The results show that the model can recommend appropriate library API mappings with an average accuracy rate of 87%. † This study examines the problem of recommending method comparisons when migrating between third-party libraries. A new approach is described that recommends the comparison of methods between two unknown libraries using features extracted from the lexical similarity between method names and textual similarity of method documentation. I evaluated the result by checking how this approach and three other most commonly used approaches recommend a comparison of migration methods for 8 popular libraries. I have shown that the proposed approach shows much better accuracy and performance than the other 3 methods. Qualitative and quantitative analysis of the results shows an increase in accuracy by 39.51% in comparison with other well-known approaches.
Keywords: Library documentation, feature engineering, Reverse document frequency, the method of support vectors, Frequency of the term, Natural Language Processing, machine learning, library migrations, extracting information, vector space model
Bradley E Cossette and Robert J Walker. Seeking the ground truth: a retroactive study on the evolution and migration of software libraries. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, page 55. ACM, 2012.
Cedric Teyton, Jean-Remy Falleri, and Xavier Blanc. Mining library migration graphs. In Reverse Engineering (WCRE), 2012. 19th Working Conference on, pages 289Ц298. IEEE, 2012.
Cedric Teyton, Jean-R´emy Falleri, and Xavier Blanc. Automatic discovery of function mappings between similar libraries. In Reverse Engineering (WCRE), 2013 20th Working Conference on, pages 192Ц201. IEEE, 2013.
Hussein Alrubaye and Mohamed Wiem Mkaouer. Automating the detection of third-party java library migration at the function level. In Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, pages 60Ц71. IBM Corp., 2018.
Hussein Alrubaye, Mohamed Wiem Mkaouer, and Ali Ouni. On the use of information retriev
On the quality indicators of automated control systems software
// Software systems and computational methods. – 2020. – є 2.
– P. 22-36.
Read the article
Abstract: The subject of the research is the process of developing automated control systems software. The object of the research is the quality control system of this process. The regulatory documents establish a list of the main characteristics of program quality assessment, which, as practice has shown, does not fully meet its purpose, providing not quality control, but verification of the compliance of programs with the customer's requirements formulated in the terms of reference. One of the reasons for this lies in the impossibility of evaluating exclusively quantitative indicators of the quality of systems, including both technical means and a person. An attempt to use world practice, for example, relatively successful quality models from the ISO / IEC 25000: 2014 standards have not yet been implemented: the model itself is allowed to be used by regulatory documents (GOST R ISO / IEC 25010-2015), but the quality indicators described in it are not accepted. Private improvements to existing methods do not solve the problem systematically. The article uses general scientific methods of analysis and synthesis. Based on the analysis of existing approaches to assessing the quality of software development, proposals for improving this process are synthesized.The article formulates a scientific and practical problem and offers one of the approaches to its solution, based on the refinement of existing methods for assessing quality based on the model described in GOST R ISO / IEC 25010, taking into account the real needs of users, interpreted through reducing the likelihood of errors of the first and second kind arising from the use of software. The solution of the formulated problem will provide a general increase in the efficiency of automated control through the use of quantitative and qualitative assessments of the software being developed.
Keywords: quality assessment model, control automation, decision support, qualitative assessments, quantitative methods, quality control, software, automated management system, regulations, program errors
GOST R ISO/MEK 9126-93 Gosudarstvennyy standart Rossiyskoy Federatsii. Informatsionnaya tekhnologiya. Otsenka programmnoy produktsii kharakteristiki kachestva i rukovodstva po ikh primeneniyu.
GOST 28195-99 Mezhgosudarstvennyy standart. Otsenka kachestva programmnykh sredstv. M.: Standartinform, 1999. Ц 28 s.
GOST R ISO/MEK 12119-2000 Informatsionnaya tekhnologiya. Pakety programm. Trebovaniya k kachestvu i testirovanie. M.: Standartinform, 2001. Ц 18 s.
GOST R ISO/MEK 9001-2000. Sistema menedzhmenta kachestva. Trebovaniya (Quality management systems Ч Requirements). M.: Standartinform, 2000. Ц 44 s.
Dzyuba Yu.V., Pavlovskiy A.A. Osobennosti standartizatsii v oblasti informatsionnykh tekhnologiy // Nauka i tekhnologii zheleznykh dorog. Ц 2017. Ц є2(2). Ц S.47-59.
The Sunday paper (tech ethics edition) // Defense Tech. January 2008 [Elektronnyy resurs]. URL: htpp://defensetech.org/2008/01/27/ (data obrashcheniya: 30.01.2008).
ЂRoskosmosї nazval prichinu avarii bloka "Fregat" s 19 sputnikami. RIA ЂNovostiї, ofitsial'nyy sayt. URL:
Shchemelinin D., Efimov V.V..
Methodology for assessing the intensity of maintenance of a globally distributed computing system
// Software systems and computational methods. – 2018. – є 4.
– P. 39-47.
Read the article
Abstract: The subject of the research is new software releases and subsequent restrictions on the intensity of installing new software releases for modern cloud services, which are complex globally distributed computing systems that require continuous maintenance. The object of the research is the globally distributed cloud computing system of RingCentral (USA). The authors consider in detail the important criteria for business in the transition to a cloud service, including the levels of availability of modern information services for globally distributed computing systems, taking into account the growing number of changes in them. The article proposes a new method of experimental calculation of the maximum intensity of installation and software updates in cloud information systems without degrading the quality of information services. With the increasing degree of functional decomposition of cloud systems and the number of servers, the issue of assessing the intensity of software changes for globally distributed computing systems becomes urgent. The proposed method allowed the authors to efficiently serve RingCentral's global cloud information system without interruption in its operation.
Keywords: software deployment, software release cycle, cloud technologies, high availability, resilience, maintenance, distributed IT systems, change management, outage prevention, continuous deployment
Shchemelinin D. A. Sozdanie integrirovannogo interfeysa vizualizatsii rezul'tatov testirovaniya virtual'nykh servisov v oblachnoy infrastrukture// Nedelya nauki SPbPU, Sankt-Peterburg, 30 noyabrya-05 dekabrya 2015 g. Ц C. 112-113. Rezhim dostupa: https://elibrary.ru/item.asp?id=26511497 (Data obrashcheniya: 25.10.2018)
RingCentral Inc. [Elektronnyy resurs]// Official web site. Rezhim dostupa: http://www.ringcentral.com/ (Data obrashcheniya: 25.10.2018)
D. Yin. This is just in: RingCentral 10.1 Release! [Elektronnyy resurs] //RingCentral News. May 29, 2018. Rezhim dostupa: https://www.ringcentral.co.uk/blog/ringcentral-10-1-release/ (Data obrashcheniya: 25.10.2018)
A. Moss, Olprod. Istoriya obnovleniy Office 365 professional'nyy plyus (po date) [Elektronnyy resurs] // Microsoft. 17 oktyabrya 2018 g. Rezhim dostupa: https://docs.microsoft.com/ru-ru/officeupdates/update-history-office365-proplus-by-date (Data obrashcheniya: 25.10.2018)
V.V. Efimov, S.V. Mescheryakov,D.A. Shchemelinin. Integration data model for continuous service del
Dobrynin A.S., Koynov R.S., Kulakov S.M., Purgina M.V..
On the practical application of flexible mechanisms of software development
// Software systems and computational methods. – 2018. – є 3.
– P. 45-53.
Read the article
Abstract: The subject of the study are life cycle models and approaches to software development in the face of significant time and financial constraints. A software development workflow is considered using a flexible methodology and an iterative life-cycle model. The objects of research are modern approaches to the development of software and increasing the efficiency of labor through the proposed incentive mechanisms, based on customer requirements. The authors also pay attention to the organization of labor in software development. We used the methods of system analysis, approaches to collective decision-making under uncertainty, including survey methods and expert assessments. The authors propose an incentive mechanism for software developers working in an iterative model of an incomplete life cycle. An important result of the study is the conclusion about the effectiveness of the incentive approach, based on the implemented functionality in the current iteration of the development. The presented approach allows an objective assessment of the contribution of each developer to the solution of individual project tasks.
Keywords: unit testing, iterative model, testing, incentive mechanism, development, software, life cycle, agile development, development management, stimulating the developer
Rassel Dzh. Zhiznennyy tsikl programmnogo obespecheniya / Dzh. Rassel // Bookvika Publishing, 2012. 89 s.
Beck Kent. Test-Driven Development By Example. Addison-Wesley Professional, 2002. Ч 240 p. Ч ISBN-10: 0321146530 ISBN-13: 978-0321146533.
Dobrynin A. S. Model' nepolnogo zhiznennogo tsikla programmnogo obespecheniya / A. S. Dobrynin, R. S. Koynov, S. M. Kulakov // Vestnik AGTU. Seriya: Upravlenie, vychislitel'naya tekhnika i informatika. Ц 2015. Ц є 2.-S. 65-69. Ц Bibliogr.: s. 69 (9 nazv.). Ц Rezhim dostupa: http://library.sibsiu.ru.
Martin R. S. Agile software development / R. S. Martin, Dzh. V. N'yukirk, R. S. Koss // Principles, Patterns and Practicies Principles, Patterns and Practicies. M.: Vil'yams, 2004. 752 s.
Cohn Mike. Scrum: Succeedind with Agile: Software Development Using Scrum (Addison-Wesley Signature Series). M.: Vil'yams, 2011. 576 s. URL: http://www.jot.fm/books/review7.pdf.
Burkov V.N., Korgin N.A., Novikov D.A. Vvedenie v teoriyu upravleniya organizatsionnymi sistemami / Pod red. chl.-korr. R
Mikheev I.V., Vishtak O.V., Kondratov D.V..
System of quantitative characteristics of software quality assessment
// Software systems and computational methods. – 2018. – є 2.
– P. 28-35.
Read the article
Abstract: The subject of the study is the process of teaching programming. Information technologies are in close integration with various spheres of human activity. The peculiarities of information technologies include rapid rates of development of technologies in this field and the need to modernize already functioning information and technical means. Existing standards and other normative documents can be applied only for real developments, which can not be attributed to the programs developed by students in the learning process, so such documents and standards can not be fully used to assess the level of knowledge of students, because before their application it is necessary to carry out the analysis of the most significant ones and to adapt to the specifics of the learning process. In the process of research, those quantitative characteristics were singled out - metrics that allow to reveal the real level of possession of the student's technologies. Using the obtained quantitative characteristics as an integral system, the teachers have an opportunity to get an objective assessment of the program developed by the student, and such an assessment will fully meet the requirements of a graded rating of students' performance. As a result of the analysis of this area of research, the metrics from the group "Metric characteristics" were singled out and described: the program completion code, the total program execution time, the maximum amount of physical memory used, the maximum number of used memory pages, the maximum amount of virtual memory used, the use of processor time, total processor time, which can be used as a basis for building a software product that performs testing and student programs based on a dynamic approach.
Keywords: benchmarking system, quality of the program, program evaluation, automation of knowledge testing, dynamic testing of programs, testing system, student programs, program metrics, pedagogical tool, system of program metrics
Istoriya vozniknoveniya i razvitiya informatsionnykh tekhnologiy // edu.dvgups.ru: Dal'nevostochnyy gosudarstvennyy universitet. URL: http://edu.dvgups.ru/METDOC/EKMEN/ETR/INF_SIS/LEK/LEK3.HTM (data obrashcheniya: 09.04.2016).
Mikheev I.V. Programmnaya realizatsiya modulya dinamicheskogo testirovaniya uchebnykh programm / I.V. Mikheev, D.V. Kondratov, O.V. Vishtak // Vestnik Saratovskogo gosudarstvennogo tekhnicheskogo universiteta. 2015. T. 2. є 1 (79). S. 113-117.
Modeli kachestva i nadezhnosti v programmnoy inzhenerii // intuit.ru: INTUIT-Natsional'nyy otkrytyy universitet. URL: http://www.intuit.ru/studies/courses/2190/237/lecture/6136?page=3 (data obrashcheniya: 09.04.2016).
GOST R ISO/MEK 9126-93 Informatsionnaya tekhnologiya. Otsenka programmnoy produktsii. Kharakteristiki kachestva i rukovodstva po ikh primeneniyu.
Obshchie svedeniya o programmnom obespechenii // intuit.ru: INTUIT-Natsional'nyy otkrytyy universitet. URL: http://www.intuit.ru/studies/courses/3632/874/lecture/14289?page=2 (data obrashcheniya: 09.04.2016).
Lavrishcheva E.M. O