scholarly journals Uml based test cases generation for the centralised control system of high speed maglev

2018 ◽  
Vol 4 (3 suppl. 1) ◽  
pp. 234-245
Author(s):  
Lun Zhang ◽  
Wenwen Zhao ◽  
Xiyu Zhang
Keyword(s):  
High Speed ◽  
Unified Modeling Language ◽  
State Diagram ◽  
Test Case ◽  
Test Cases ◽  
Centralized Control ◽  
Test Quality ◽  
Activity Diagram ◽  
Operation Process ◽  
Train Operation

Background: The high speed maglev centralized control subsystem (CCS), which realizes the display, automatic train operation (ATO) and diagnose. The CCS is an important security assurance for train operation. System testing (ST) can detect design defects early and performed effective repair to improve the efficiency of the system’ on-site coordinated operation. Therefore, the quality of test cases directly determines the achievements and efficiency of CCS, and it is necessary to be tested before put it into use. Aim: The generation of test case of centralized control subsystem is proposed. Methods: In order to meet the requirements of the system, the first step is operating the extraction of functional features.  Then, the unified modeling language is using to develop the test model in this paper. Then the corresponding unified modeling language models, use case diagram, state diagram, activity diagram and sequence diagram, are developed. The state diagram of operation process is using to describe the state transition during the period from initial state of the OTS to the completion of the operation. The activity diagram of train operation process focuses on the control relationship during the period from one activity to another, which can describe the interaction exactly between OTS, DCS and VCS. The sequence diagram, behavior of use case, focuses on the sequence of information sent by objectives, in which a group of objectives and information transfer are presented. And according to these models, the test cases of the specified case are generated. Results: The generated test cases are all executed in the developed lab-test system. The results show that the generated test cases can fully simulate the common situations of the operation scene, and effectively improve the test efficiency and test quality. We designed the experiments as followings: 85 test cases for terminal system design of operator, 68 test cases for train automatic operation design, 31 test cases for central diagnostic system design. All of the designed test cases are examined through the test platform, covering all main scenes in operation process. The errors or detects found in tests are solved by finding the reasons and modifying the code, etc. Finally, the pass rate of the method proposed in this paper is 100 %.  Conclusion: The UML based method of test case generation implements the generation process and achieves the test cases and verification for CCS. Through the test practice, test cases designed can fully simulate all kinds of common situations in the operation site. What’s more, the test cases also realize early detection of errors and defects in the system and repair them. It is useful to improve the efficiency on-site testing process, to reduce the cost of time and test quality. The method can provide theoretical basis and reference for further testing of high speed maglev CCS.

scholarly journals Implementation of a helper program for comics creation using text processing methods

2020 ◽  
Vol 7 (1) ◽  
pp. 64-69
Author(s):  
S.V. Trubnikov ◽  
◽  
O.R. Denysiuk ◽  
Keyword(s):  
Text Processing ◽  
Graphic Novels ◽  
Unified Modeling Language ◽  
State Diagram ◽  
Modern Society ◽  
General Purpose ◽  
Modern World ◽  
Activity Diagram ◽  
Operation Process ◽  
Publishing Houses

The paper discusses the development of a helper program "TypesetHelper", designed to facilitate the process of creating and translating comics. An analysis of functions of translation in modern society shows that translation, currently, is primarily a means of enabling communication between people who speak different languages. This applies, among other things, to such a specific niche as the translation of graphic novels, comics and manga. In the modern world, comics have become an integral part of popular culture, but in Ukraine, the culture of reading and translating comics is only at the stage of active formation. The purpose of this work is to create software that would facilitate the process of work with the inclusion of translated text in corresponding cleared illustrations. It is demonstrated that the existing software, including both general-purpose graphic editors like Adobe Photoshop and specialized programs for automatic recognition and translation of comics and manga, has disadvantages with respect to the problem being solved and can not be considered as a complete analogue of the software being developed. The functions that the program should perform include opening an image file, placing a text in a selected area, centering a text relative to a cloud, creating text layout, creating correct word division using automatic hyphenation methods, saving the image to a file. An analysis of possible methods of text layout when filling text clouds of various forms is given. The paper consider software design using the Unified Modeling Language (Use Case diagram, State Diagram, User Activity diagram) and its development using the C# programming language. Illustrations of the program operation process are given, which demonstrate its interface and examples of text division and layout using the selected methods. The developed helper program has practical value and can be used in comics and manga publishing houses, or for amateur translation. Keywords: text processing, comics, text layout, UML, C#.

scholarly journals Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 503
Author(s):  
Zicong Meng ◽  
Tao Tang ◽  
Guodong Wei ◽  
Lei Yuan
Keyword(s):  
High Speed ◽  
Test Case ◽  
Design Domain ◽  
System Operation ◽  
High Speed Railway ◽  
Functional Specification ◽  
Operational Design ◽  
Train Operation ◽  
System Requirements ◽  
Automatic Train Operation

With the gradual maturity of the automatic train operation (ATO) system in subways, its application scope has also expanded to the high-speed railway field. Considering that the ATO system is still in the early stages of operation, it will take time to fully mature, and definite specifications of the requirements for system operation have not yet been formed. This paper presents the operational design domain (ODD) of the high-speed railway ATO system and proposes a scenario analysis method based on the operational design domain to obtain the input conditions of the system requirements. The article models and verifies the scenario of the linkage control of the door and platform door based on the UPPAAL tools and extracts the input and expected output of the system requirements of the vehicle ATO system. Combined with the input conditions of the system requirements, the system requirements of the vehicle ATO in this scenario are finally obtained, which provides a reference for future functional specification generation and test case generation.

Test Case Prioritization Technique Based on Error Probability and Severity of UML Models

2018 ◽  
Vol 28 (06) ◽  
pp. 831-844 ◽  
Author(s):  
Tianning Zhang ◽  
Xingqi Wang ◽  
Dan Wei ◽  
Jinglong Fang
Keyword(s):  
Flight Control ◽  
Error Probability ◽  
Unified Modeling Language ◽  
Test Case ◽  
Test Cases ◽  
Test Case Prioritization ◽  
Unified Modeling ◽  
Code Coverage ◽  
Development Life Cycle ◽  
The Cost

Test case prioritization is one of the most useful activities in testing. Most existing test case prioritization techniques are based on code coverage, which requires access to source code. However, code-based testing comes late in the software development life cycle, when errors are detected, the cost of testing is very high. Therefore, in this paper, we provide a test case prioritization technique based on Unified Modeling Language (UML) model, built before coding, to detect errors as earlier as possible and reduce the cost of modification. The technique consists of the following main parts: (1) using C&K metrics to estimate the error probability of class; (2) using dependences, obtained from the model slicing, to estimate error severity; (3) generating test case priority from error probability and severity, then prioritizing the test case. With our technique, test engineers need the UML model only and the test cases can be prioritized automatically. To evaluate our technique, we applied our technique to unmanned aerial vehicles (UAV) flight control system and performed test case prioritization. The results show that the error can be detected effectively and stability can be increased significantly as compared to the current code-based techniques.

Effective Generation of Test Case Based on Genetic Algorithm

2013 ◽  
Vol 321-324 ◽  
pp. 2952-2955
Author(s):  
Zhi Guo Shi ◽  
Li Ren Zou ◽  
Da Peng Tong ◽  
Ming Qian Wang
Keyword(s):  
Genetic Algorithm ◽  
Software Testing ◽  
Unified Modeling Language ◽  
Test Case ◽  
Activity Diagram ◽  
Unified Modeling ◽  
Component Software ◽  
Overall Design ◽  
Testing Method ◽  
Generating Method

With people pay more and more attention to component software testing, the generation of test case is as one of the important works of software testing, it becomes a hotspot inevitably. For component software testing, making combination of the testing method based on model and testing method based on Genetic Algorithm, this paper proposes a generating method of test case which based on UML (Unified Modeling Language) activity diagram and Genetic Algorithm, and gives the overall design and implementation steps of the method. Then this paper applies the proposed method to model the adding table business in catering management system, and design test case. The example verifies the feasibility and validity of the method.

scholarly journals Optimization of the auxiliary stopping area planning in the middle-to-high speed Maglev

2018 ◽  
Vol 4 (2) ◽  
pp. 141-151 ◽  
Author(s):  
Qingying Lai ◽  
Jun Liu ◽  
Lingyun Meng ◽  
Xiaofeng Chai ◽  
Qunyan Wang ◽  
...  
Keyword(s):  
Power Supply ◽  
High Speed ◽  
Special Section ◽  
Construction Cost ◽  
Evaluation Indexes ◽  
Maglev System ◽  
Operation Process ◽  
Train Operation ◽  
The Impact ◽  
Area Planning

Background: The Auxiliary Stopping Area (ASA) is the special section that possesses power supply rail and personnel evacuation facilities, whose quantities and locations in a line are of great significance to reduce construction cost and improve transportation efficiency for the middle-to-high speed maglev. Aim: This paper focuses on optimizing the length and location of the ASA for the middle-to-high speed maglev system to improve the robustness of maglev line. Methods of the studies: Two evaluation indexes which reflect the ASA restricts on the train operation process was proposed. A model for optimizing the setting of the ASA is constructed, and solved by the genetic algorithm. Results: The result of numerical examples shows that the proposed method can effectively improve the performances of the ASA. Conclusion: This paper proposed two indexes to reflect the impact of station settings on train operations, which provides a method to optimize the ASA from qualitative optimization to quantitative optimization.

scholarly journals Test Case Generation for UML Behavioral Diagram by Traversal Algorithm

2019 ◽  
Vol 8 (10) ◽  
pp. 3262-3266
Keyword(s):  
Accurate Result ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Sequence Diagrams ◽  
Research Focus ◽  
Activity Diagram ◽  
Path Coverage ◽  
The Comparative Study ◽  
Traversal Algorithm

Software testing play crucial role in the software development as it consumes lot of time and resources. However testing process needs to be more efficiently done because overall software quality relies upon good testing approach. The present research focus on generation of test cases from UML diagrams. The combination graph is made by using activity and sequence diagrams. These diagrams proves to be more efficient as activity diagram gives the dynamic behavior of the model and sequence diagram is used to understand detailed functionality of the system. In this paper, a combined approach using Breadth first and depth first search is proposed which will generate expected test cases. The comparative study is done for test case generation using BFS and DFS algorithm and the result proves that the DFS traversal algorithm provides more accurate result for path coverage.

scholarly journals Aplikasi Pengelolaan Perpustakaan di SMPN 1 Cibeber

2020 ◽  
Vol 11 (1) ◽  
pp. 20
Author(s):  
Fietri Setiawati Sulaeman ◽  
Muchamad Rijal Abdul Aziz
Keyword(s):  
Unified Modeling Language ◽  
State Diagram ◽  
Sequence Diagram ◽  
Modeling Language ◽  
Class Diagram ◽  
Activity Diagram ◽  
Unified Modeling

Perpustakaan SMPN 1 Cibeber merupakan unit penyedia fasilitas pengadaan dan peminjaman buku. Dalam pelaksanaan tugas pokoknya, terdapat kegiatan yaitu pendataan daftar buku, peminjaman dan pengembalian buku serta pembuatan laporan yang berfungsi untuk memeriksa ataupun memberikan dasar pertimbangan dalam penyusunan pengeloloaan perpustakaan pada periode selanjutnya.Pada saat ini dalam melakukan kegiatan pengelolaan perpustakaan  masih menggunakan cara manual dengan penggunaan buku dan kertas sebagai media penyimpanan data. Hal itu menyebabkan masalah diantaranya proses pencarian data yang lama, duplikasi pengolahan data serta masih manualnya proses pengecekan jumlah buku yang dipinjam. Dalam pembuatan perangkat lunak ini menggunakan paradigma model waterfall dengan UML (unified modeling language) sebagai alat yang digunakan untuk merancang yaitu usecase  diagram, activity diagram, class diagram, state diagram dan sequence diagram. Bahasa Pemrograman yang digunakan adalah Object Pascal dengan menggunakan IDE Delphi XE 10 dan MySQL sebagai DBMS. Hasil dari perancangan dan penelitian ini diimplementasikan menjadi perangkat lunak pengelolaan perpustakaan yang membuat proses pengelolaan data, pengecekan serta pelaporan kegiatan pengelolaan perpustakaan menjadi lebih cepat, efektif dan efisien. Kata Kunci: Aplikasi, Pengelolaan, Perpustakaan, Buku.Perpustakaan SMPN 1 Cibeber merupakan unit penyedia fasilitas pengadaan dan peminjaman buku. Dalam pelaksanaan tugas pokoknya, terdapat kegiatan yaitu pendataan daftar buku, peminjaman dan pengembalian buku serta pembuatan laporan yang berfungsi untuk memeriksa ataupun memberikan dasar pertimbangan dalam penyusunan pengeloloaan perpustakaan pada periode selanjutnya.Pada saat ini dalam melakukan kegiatan pengelolaan perpustakaan  masih menggunakan cara manual dengan penggunaan buku dan kertas sebagai media penyimpanan data. Hal itu menyebabkan masalah diantaranya proses pencarian data yang lama, duplikasi pengolahan data serta masih manualnya proses pengecekan jumlah buku yang dipinjam. Dalam pembuatan perangkat lunak ini menggunakan paradigma model waterfall dengan UML (unified modeling language) sebagai alat yang digunakan untuk merancang yaitu usecase  diagram, activity diagram, class diagram, state diagram dan sequence diagram. Bahasa Pemrograman yang digunakan adalah Object Pascal dengan menggunakan IDE Delphi XE 10 dan MySQL sebagai DBMS. Hasil dari perancangan dan penelitian ini diimplementasikan menjadi perangkat lunak pengelolaan perpustakaan yang membuat proses pengelolaan data, pengecekan serta pelaporan kegiatan pengelolaan perpustakaan menjadi lebih cepat, efektif dan efisien. Kata Kunci: Aplikasi, Pengelolaan, Perpustakaan, Buku.

scholarly journals PEMBANGKITAN DATA UJI BERBASIS DIAGRAM AKTIVITAS DAN DIAGRAM STATECHART

JOUTICA ◽  
2018 ◽  
Vol 3 (1) ◽  
pp. 137
Author(s):  
Arif Rahman Sujatmika ◽  
Yanuangga Gala Hartlambang
Keyword(s):  
Test Data ◽  
Test Case ◽  
Test Cases ◽  
Data Dictionary ◽  
Activity Diagram ◽  
Statechart Diagram ◽  
The Status ◽  
Generate Test Data ◽  
Case Data ◽  
Selection Of

Testing is the stage of software development used to determine whether a software is ready for release or not. In making test cases using reference activity diagrams and statechart diagrams, a help representation was made, ie State-Activity-Diagram (SAD). The generation of test cases using a reference between the statechart diagram and the status diagram is still inadequate because in the case of the test produced there is no test data. The selection of test data for many test cases will be tedious and time consuming. In this paper, it is proposed to generate test data automatically based on existing test cases. Test data created based on class diagrams, and data dictionaries. The test case data consists of inputs and results. First enter information about the functions involved in the test case into the SAD node so that the SAD-S Diagram is obtained. Second, after the process of making the test case is completed, the test data is made by looking at the data dictionary function so that the test data is formed.

Scenario Based Test Case Generation Using Activity Diagram and Action Semantics

2019 ◽  
pp. 297-321
Author(s):  
Manzoor Ahmed Hashmani ◽  
Maryam Zaffar ◽  
Reham Ejaz
Keyword(s):  
Unified Modeling Language ◽  
User Interaction ◽  
Test Case ◽  
Test Scenario ◽  
Activity Diagram ◽  
Unified Modeling ◽  
Dependency Graphs ◽  
Action Semantics ◽  
Activity Diagrams ◽  
State Charts

Scenario is an account of description of user interaction with the system, presented in a sequence. They can be represented using unified modeling language (UML) diagrams such as use case diagram, state charts, activity diagrams etc. Scenario-based testing can be performed at higher abstraction level using the design diagrams. In this work activity diagrams are used which are annotated with action semantics to test scenario dependencies. The action semantics make activity diagram executable and the dependencies between multiple scenarios can be seen at execution level. The authors intend to propose an approach for scenario dependency testing. Dependency graphs will be then generated against all the dependencies present on activity diagram under test. The test paths extracted from these dependency graphs help in testing.

Optimization of Test Cases in Object-Oriented Systems Using Fractional-SMO

2021 ◽  
Vol 12 (1) ◽  
pp. 41-59
Author(s):  
Satya Sobhan Panigrahi ◽  
Ajay Kumar Jena
Keyword(s):  
Unified Modeling Language ◽  
Boundary Structure ◽  
Test Case ◽  
Test Cases ◽  
Unified Modeling ◽  
Efficient Test ◽  
Fitness Value ◽  
Fitness Parameters ◽  
And Behavior ◽  
Object Oriented Systems

This paper introduces the technique to select the test cases from the unified modeling language (UML) behavioral diagram. The UML behavioral diagram describes the boundary, structure, and behavior of the system that is fed as input for generating the graph. The graph is constructed by assigning the weights, nodes, and edges. Then, test case sequences are created from the graph with minimal fitness value. Then, the optimal sequences are selected from the proposed fractional-spider monkey optimization (fractional-SMO). The developed fractional-SMO is designed by integrating fractional calculus and SMO. Thus, the efficient test cases are selected based on the optimization algorithm that uses fitness parameters, like coverage and fault. Simulations are performed via five synthetic UML diagrams taken from the dataset. The performance of the proposed technique is computed using coverage and the number of test cases. The maximal coverage of 49 and the minimal number of test cases as 2,562 indicate the superiority of the proposed technique.

Sign in / Sign up

Export Citation Format

Share Document