Modeling of software development process with the Markov processes
DOI:
https://doi.org/10.15587/1729-4061.2017.103340Keywords:
Markov processes, Markov chains, software development, association rule miningAbstract
The comparative analysis of the existing research on the application of formal approaches to the software development process modeling is performed. Based on the analysis, the urgency of modeling of the software development process as a Markov random process is substantiated. An information model of association rule mining and application in software development is developed. The information model represents the process and can be used in the design of appropriate information technology. The research, which determined the number of steps needed to develop one software component and the whole software is carried out.
The levels of detail of the software development process such as the level, representing the development of software, which is a finite set of software components; the level, representing a detailed description of the stages of development of a particular component; the level, representing a detailed description a certain stage of development of a particular component are identified. For each level, the relevant stages of software development are described. Modeling of the software development process with the Markov chains is conducted. This will allow using a single mathematical tool to represent the corresponding process at different levels of detailReferences
- Herbsleb, J. D., Moitra, D. (2001). Global software development. IEEE Software, 18 (2), 16–20. doi: 10.1109/52.914732
- Aho, A. V., Ullman, J. D. (1972). The Theory of Parsing, Translation, and Compiling. Vol. 1. New Jersy: Prentice Hall, 147–151.
- Peterson, J. L. (1981). Petri net theory and the modeling of systems. New Jersy: Prentice Hall, 310.
- Harel, D. (1987). Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (3), 231–274. doi: 10.1016/0167-6423(87)90035-9
- uz Zaman, Q., Sindhu, M. A., Nadeem, A. (2015). Formalizing a Use Case to a Kripke Structure. Software Engineering and Applications/ 831: Advances in Power and Energy Systems. doi: 10.2316/p.2015.829-017
- Stirling, C. (1991). Modal and temporal logics. GB.: University of Edinburgh, Department of Computer Science, 23–30.
- Sindhu, M. (2013). Algorithms and Tools for Learning-based Testing of Reactive Systems. Stockholm, 19.
- Fraser, G., Wotawa, F. (2007). Using model-checkers to generate and analyze property relevant test-cases. Software Quality Journal, 16 (2), 161–183. doi: 10.1007/s11219-007-9031-6
- Dranidis, D., Tigka, K., Kefalas, P. (2003). Formal modelling of use cases with X-machines. Proceedings of the 1st South-East European Workshop on Formal Methods, SEEFM'03, 72–83.
- Holcombe, M. (1988). X-machines as a basis for dynamic system specification. Software Engineering Journal, 3 (2), 69. doi: 10.1049/sej.1988.0009
- Kolesnikova, E. V., Negri, A. A. (2013). Transformatsiia kognitivnyh kart v modeli markovskih protsesov dlya proektov sozdaniia programnogo obespecheniia. Managing the development of complex systems, 15, 30–35.
- Koshkin, K. V., Makeev, S. A., Fomenko, G. V. (2011). Kognitivnie modeli upravleniia zhilishchno-komunalnym hozaystvom kak aktivnoy sistemoy. Managing the development of complex systems, 5, 17–19.
- Tihonov, V. I., Mironov, M. A. (1977). Markovskie procesy. Мoscow: Soviet radio, 488.
- Markov, A. V. (2011). Sovokupnoe ispolzovanie setey Petri I UML diagram pri razrabotke programmnogo obespechenia. Sbornik nauchnyh trudov NGTU, 2 (64), 85–94.
- Meier, P., Kounev, S., Koziolek, H. (2011). Automated Transformation of Component-Based Software Architecture Models to Queueing Petri Nets. 2011 IEEE 19th Annual International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems. doi: 10.1109/mascots.2011.23
- Jie, T. W., Ameedeen, M. A. (2015). A Model Driven method to represent Free Choice Petri Nets as Sequence Diagram. 2015 4th International Conference on Software Engineering and Computer Systems (ICSECS). doi: 10.1109/icsecs.2015.7333104
- Singh, H., Pal, P. (2013). Software Reliability Testing using Monte Carlo Methods. International Journal of Computer Applications, 69 (4), 41–44. doi: 10.5120/11834-7554
- Martin, R. (2003). Agile Software Development: Principles, Patterns, and Practices. New Jersy: Prentice Hall, 102–103.
- What are the Software Development Life Cycle (SDLC) phases? Available at: http://istqbexamcertification.com/what-are-the-software-development-life-cycle-sdlc-phases/
- Gorban, І. (2003). Teoriia imovirnostei i matematychna statystyka dlia naukovyh pratsivnykiv ta inzheneriv. Kyiv, 90–110.
- Everett, G. D. (2007). Software Testing: Testing Across the Entire Software Development Life Cycle. Wiley-IEEE Computer Society Press, 280.
- Fundamentalnii protsess testirovaniia. Available at: http://qalight.com.ua/baza-znaniy/fundamentalnyiy-protsess-testirovaniya/
- Savchuk, T. O., Pryymak, N. V. (2015). Poshuk asotsiativnyh pravil dlia pryiniatiia rishen v marketyngovii diyalnosti, 3, 196–199.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2017 Tamara Savchuk, Nataliia Pryimak
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.
A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.