تعداد نشریات | 31 |
تعداد شمارهها | 743 |
تعداد مقالات | 7,048 |
تعداد مشاهده مقاله | 10,171,583 |
تعداد دریافت فایل اصل مقاله | 6,844,409 |
Software Validation Using Markov Chain Method and State Transition Diagram | ||
Computational Sciences and Engineering | ||
مقالات آماده انتشار، پذیرفته شده، انتشار آنلاین از تاریخ 02 دی 1402 | ||
نوع مقاله: Original Article | ||
شناسه دیجیتال (DOI): 10.22124/cse.2023.26035.1067 | ||
نویسندگان | ||
Shahrzad Oveisi* 1؛ Mohammad Nadjafi2؛ Mohammad Ali Farsi2؛ Ali Moeini3 | ||
1Department of Algorithms and Computation, School of Engineering Sciences, College of Engineering, University of Tehran, Tehran, IRAN | ||
2Aerospace Research Institute (Ministry of Science, Research and Technology); Department of Aerospace Management, Law and Standards; Tehran, P.O.B 14665-834, Iran | ||
3Department of Algorithms and Computation, College of Engineering Sciences, University of Tehran, Tehran, IRAN | ||
چکیده | ||
Software often controls the behavior of mechanical and electrical systems, as well as interactions among their components in cyber-physical systems (CPS), the risks in CPS systems could result in losing tools, features, performance, and even life. That is why software testing is important for validating it and preventing subsequent errors. For this purpose, various methods are used and the various tools represent the static as well as the dynamic behavior of an object-oriented software system. A state chart diagram is a well-known tool of UML which shows the dynamic behavior of states of an object-oriented system. The state transformation of an object is depending on the three major components like transition function, action, and possible inputs. The paths through which an object changes its state are determined by the state chart diagrams. These paths can be represented in the graphical form with the use of Finite State Machine (FSM). In this paper, a method has been developed for validating the UML state chart diagram through FSM by creating a Transition Table. To achieve this goal, a number of Test Cases have been generated to test the accuracy of UML State chart diagram by evaluating a real case study. | ||
کلیدواژهها | ||
Software Reliability؛ Finite State Machine؛ Markov Chain Simulation؛ Transition Diagram | ||
آمار تعداد مشاهده مقاله: 146 |