دانشگاه گیلان
معاونت پژوهش و فناوری دانشگاه گیلان
انتشارات دانشگاه گیلان

 آمار

تعداد نشریات31
تعداد شماره‌ها748
تعداد مقالات7,122
تعداد مشاهده مقاله10,274,755
تعداد دریافت فایل اصل مقاله6,910,360
Oveisi, Shahrzad, Nadjafi, Mohammad, Farsi, Mohammad Ali, Moeini, Ali. (1402). Software Validation Using Markov Chain Method and State Transition Diagram. فیزیولوژی و بیوتکنولوژی آبزیان, (), -. doi: 10.22124/cse.2023.26035.1067
Shahrzad Oveisi; Mohammad Nadjafi; Mohammad Ali Farsi; Ali Moeini. "Software Validation Using Markov Chain Method and State Transition Diagram". فیزیولوژی و بیوتکنولوژی آبزیان, , , 1402, -. doi: 10.22124/cse.2023.26035.1067
Oveisi, Shahrzad, Nadjafi, Mohammad, Farsi, Mohammad Ali, Moeini, Ali. (1402). 'Software Validation Using Markov Chain Method and State Transition Diagram', فیزیولوژی و بیوتکنولوژی آبزیان, (), pp. -. doi: 10.22124/cse.2023.26035.1067
Oveisi, Shahrzad, Nadjafi, Mohammad, Farsi, Mohammad Ali, Moeini, Ali. Software Validation Using Markov Chain Method and State Transition Diagram. فیزیولوژی و بیوتکنولوژی آبزیان, 1402; (): -. doi: 10.22124/cse.2023.26035.1067

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
آمار
تعداد مشاهده مقاله: 162


سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب