Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

2014 ◽  
Vol 574 ◽  
pp. 646-650
Author(s):  
Ji Cun Ma ◽  
Xing Lin Qi ◽  
Jing Lv
Keyword(s):  
Software Testing ◽  
Formal Method ◽  
Unified Modeling Language ◽  
Embedded Software ◽  
Test Case ◽  
Unified Modeling ◽  
Testing Method ◽  
Finite State ◽  
Z Language ◽  
Collection Methods

The formal modeling method can accurately describe systems. Using formal method to test software improves the efficiency of software testing and it is comprehensive. Common real-time embedded software formal testing methods include Z language, finite state machine (FSM) and unified modeling language (UML), Petri net and time input/output automata (TIOA). This paper analyzes the characteristics of embedded software testing. The above formal methods and test case coverage criterions and test data collection methods are introduced. Combined with the characteristics of missile-borne software, this paper presents suitable ideas of testing missile-borne software.

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.

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.

scholarly journals RANCANG BANGUN COACHING LOG SEBAGAI LAPORAN KEMAJUAN TENAN INBIS STIKI INDONESIA

2019 ◽  
Vol 5 (2) ◽  
Author(s):  
I Gede Totok Suryawan ◽  
Gede Dana Pramitha
Keyword(s):  
Information System ◽  
System Development ◽  
Unified Modeling Language ◽  
Model System ◽  
Hard Copy ◽  
Modeling Language ◽  
Web Based ◽  
Unified Modeling ◽  
Testing Method ◽  
Log File

<p>ABSTRACT<br />This paper discusses the design and development of the coahcing log tenant system of INBIS STIKI Indonesia. Coaching log is an accompaniment record recorded in a hard copy file that contains data on tenants, coaches, mentoring records, assignments from coaches to tenants, and results of previous assignments given by coaches to tenants. This hard copy coaching log file cannot be used effectively especially in seeing the development of tenants from time to time or the progress reports of tenants. To solve this problem in this study a web-based log coaching system has been developed which has tenant data management features, data coaches, making mentoring schedules, providing timetables for mentors, coaching logs by coaches, coaching logs by tenants. The system design model used in this study uses the Unified Modeling Language (UML) model, system development using the laravel framework, and testing using the blackbox testing method. Based on the results of testing all the features that are owned by this log coaching system can function properly. And the system developed can help INBIS STIKI Indonesia in managing the process of assisting tenants.<br />Keywords: Information System, Coaching Log, Business Incubator. Tenant, Coach<br />ABSTRAK<br />Paper ini membahas tentang perancangan dan pengembangan sistem coahcing log tenan INBIS STIKI Indonesia. Coaching log merupakan catatan pendampingan yang direkam dalam sebuah file hard copy yang berisi tentang data tenan, coach, catatan pendampingan, tugas dari coach kepada tenan, serta hasil tugas sebelumnya yang diberikan oleh coach kepada tenan. File hard copy coaching log ini belum bisa digunakan secara efektif khususnya dalam melihat perkembangan tenan dari waktu ke waktu atau laporan kemajuan tenan. Untuk menyelesaikan masalah tersebut pada penelitian ini telah dikembangan sistem coaching log berbasis web yang memiliki fitur pengelolaan data tenan, data coach, pembuatan jadwal pendampingan, pemberian jadwal pendampingan kepada tenan, coaching log oleh coach, coaching log oleh tenan. Model perancangan sistem yang digunakan dalam penelitian ini menggunakan model Unified Modeling Language (UML), pengembangan sistem menggunakan framework laravel, dan pengujian menggunakan metode blackbox testing. Berdasarkan hasil pengujian semua fitur yang dimiliki oleh sistem coaching log ini secara fungsional bisa berjalan dengan baik. Dan sistem yang dikembangkan bisa membantu INBIS STIKI Indonesia dalam mengelola proses pendampingan tenan.<br />Kata Kunci : Sistem Informasi, Coaching Log, Inkubator Bisnis, Tenan, Pendamping</p>

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.

Embedded Software Testing Requirements Modeling and Automatic Test Case Generation Based on Multiple Graphs

2015 ◽  
Vol 21 (11) ◽  
pp. 3530-3535
Author(s):  
Ming-Cheng Qu ◽  
Nai-Gang Cui ◽  
Ya-Nan Zhang ◽  
Xiang-Hu Wu ◽  
Bing-Song Zou
Keyword(s):  
Software Testing ◽  
Embedded Software ◽  
Test Case Generation ◽  
Test Case ◽  
Automatic Test ◽  
Automatic Test Case Generation ◽  
Requirements Modeling
Sign in / Sign up

Export Citation Format

Share Document