Statical and Dynamical Software Analysis

dc.contributor.authorSosnytskyi, Serhii
dc.contributor.authorGlybovets, Mykola
dc.contributor.authorPechkurova, Olena
dc.date.accessioned2021-01-09T12:37:25Z
dc.date.available2021-01-09T12:37:25Z
dc.date.issued2020
dc.description.abstractThe development of software built with quality has become an important trend and a natural choice in many organisations. Currently, methods of measurement and assessment of software quality, security, trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. In this article statistical and dynamical software analysis methods, main concepts and techniques families are overviewed. The article has an overview of why combination of several analysis techniques is necessary for software quality and examples how static and dynamical analysis may be introduced in a modern agile software development life cycle. As a summary of techniques for software analysis, represented on Table 1, due to the computability barrier, no technique can provide fully automatic, robust, and complete analyses. Testing sacrifices robustness. Assisted proving is not automatic (even if it is often partly automated, the main proof arguments generally need to be human provided). Model-checking approaches can achieve robustness and completeness only with respect to finite models, and they generally give up completeness when considering programs (the incompleteness is often introduced in the modeling stage). Static analysis gives up completeness (though it may be designed to be precise for large classes of interested programs). Last, bug finding is neither robust nor complete. Another important dimension is scalability. In practice, all approaches have limitations regarding scalability, although these limitations vary depending on the intended applications (e.g., input programs, target properties, and algorithms used). Already implemented code could be analysed in a continuous integration environment by a tool like SonarQube. Properly configured metrics and quality gates provide fast and detailed feedback on incremental changes starting from development machine till highload enterprise production environments. Software analysis helps to improve quality and development speed in Agile development life cycle with reasonable cost.en_US
dc.description.abstractРозроблення програмного забезпечення зі вбудованою якістю стало важливою тенденцією і природним вибором у багатьох організаціях. У наш час методи визначення та оцінки якості, безпеки, надійності програмного забезпечення не можуть гарантувати безпечну й надійну роботу програмних систем повністю і ефективно. У цій статті розглянуто статистичні й динамічні методи аналізу програмного забезпечення, основні поняття і методи сімейства. Досліджено, чому для якості програмного забезпечення необхідне поєднання декількох методів аналізу, і наведено приклади того, як статичний і динамічний аналіз може бути впроваджений у сучасний життєвий цикл розроблення гнучкого програмного забезпечення.uk_UA
dc.identifier.citationSosnytskyi S. Statical and Dynamical Software Analysis / S. Sosnytskyi, М. Glybovets, O. Pechkurova // Наукові записки НаУКМА. Комп'ютерні науки. - 2020. - Т. 3. - С. 50-55.uk_UA
dc.identifier.issn2617-3808
dc.identifier.urihttps://doi.org/10.18523/2617-3808.2020.3.50-55
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/19184
dc.language.isoenuk_UA
dc.relation.sourceНаукові записки НаУКМА. Комп'ютерні науки.uk_UA
dc.statusfirst publisheduk_UA
dc.subjectSoftware Static Analysisen_US
dc.subjectSoftware Dynamical Analysisen_US
dc.subjectTestingen_US
dc.subjectQuality Assuranceen_US
dc.subjectSQALE Modeen_US
dc.subjectContinuous Code Analysisen_US
dc.subjectSonarQubeen_US
dc.subjectarticleen_US
dc.subjectстатичний аналіз програмного забезпеченняuk_UA
dc.subjectдинамічний аналіз програмного забезпеченняuk_UA
dc.subjectтестуванняuk_UA
dc.subjectзабезпечення якостіuk_UA
dc.subjectрежим SQALEuk_UA
dc.subjectбезперервний аналіз кодуuk_UA
dc.subjectSonarQubeuk_UA
dc.titleStatical and Dynamical Software Analysisen_US
dc.title.alternativeСтатичний та динамічний аналіз програмного забезпеченняuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Sosnytskyi_Statical_and_Dynamical_Software_Analysis.pdf
Size:
543.97 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Collections