The Test Case Design of the Failure Mode Judgment Software

2013 ◽  
Vol 380-384 ◽  
pp. 2403-2406
Author(s):  
Wen Hong Liu ◽  
Xin Wu
Keyword(s):  
Failure Mode ◽  
Fault Tree ◽  
Fault Analysis ◽  
Design Tool ◽  
Test Case ◽  
Test Cases ◽  
Black Box Testing ◽  
Software Fault ◽  
Testing Standards ◽  
Case Design

Failure mode judgment software is widely used in the security control system, it always has higher safety critical level than other softwares. Therefore the testing standards for such software must also be improved. In order to solve the problem of the black box testing for such software, this paper establishment the software fault tree based on the software fault analysis, and use the software fault tree as a test case design tree, then design the test case after obtained the minimal cut sets. Meanwhile, this paper establish the test case design tree for the failure mode misjudgment, and use it as the basis in designing the failure mode misjudgment test cases. We developed the test case assisted design tool based on these methods, and successfully use it in the software testing of the escape software.

APPLYING CONVENTIONAL UNIT TESTING TECHNIQUES TO ABSTRACT DATA TYPE OPERATIONS

1994 ◽  
Vol 04 (01) ◽  
pp. 103-122 ◽  
Author(s):  
ALLEN PARRISH ◽  
DAVID CORDES
Keyword(s):  
Building Blocks ◽  
Abstract Data Type ◽  
Test Case ◽  
Test Cases ◽  
Unit Testing ◽  
Data Types ◽  
Abstract Data ◽  
Testing Techniques ◽  
Single Data ◽  
Case Design

Abstract data types (ADTs) represent the fundamental building blocks of object-oriented software development. There have been a variety of techniques in the literature for testing ADT modules. Virtually all of the proposed techniques have involved testing sequences of ADT operations (e.g., for a stack ADT, test the sequence PUSH; PUSH; POP) to discover defects in their interactions. However, the operations inside an ADT module are really nothing more than conventional procedures and functions. Consequently, it is conceivable that conventional subprogram unit testing techniques can be adapted to test ADT operations. To support such testing techniques, test cases are best designed and expressed in terms of data values. When test cases are integers, for example, expressing a test case is trivial (e.g., ‘253’). However, when test cases are data abstractions (such as stacks), this problem is much more difficult due to the variety of different formats in which a single data abstraction can be legitimately viewed. In this paper, we provide a conceptual framework for applying classical white-box and black-box unit testing techniques to ADT operations. We then use this framework to develop a collection of guidelines for determining the best format for test case design, given different module characteristics and testing techniques.

A Construction of Fault Test Constraint Based on the Optimal Fusion Set of Multiple Slices

2013 ◽  
Vol 774-776 ◽  
pp. 1604-1608
Author(s):  
Yi Zhang ◽  
Gang Wang ◽  
Ping Rong Lin
Keyword(s):  
Weight Coefficient ◽  
Test Case ◽  
Random Testing ◽  
Quality Test ◽  
High Quality ◽  
Estimation Formula ◽  
Internal Mechanism ◽  
Optimal Fusion ◽  
Software Fault ◽  
Case Design

The standard program slicing of different slices is put into the fusion matrix of the optimal fusion to measure the consistent fusion of slices. In the biopsy of the actual fusion process, the slicing techniques with high consistent fusion and balanced fusion distribution are used to reasonably allocate each weight coefficient, and thus the final fusion estimation formula is obtained. We use slice fusion, path conditions, as well as the internal mechanism of software fault trigger and propagation, to construct the test constraint of a fault. It can help to direct high quality test case design and to evaluate the applicability of the adaptive random testing.

scholarly journals Test Case Design and Test Case Prioritization using Machine Learning

2019 ◽  
Vol 9 (1) ◽  
pp. 2742-2748
Keyword(s):  
Machine Learning ◽  
Software Development ◽  
Nearest Neighbor ◽  
Test Case ◽  
Test Cases ◽  
Test Case Prioritization ◽  
K Nearest Neighbor ◽  
Manual Intervention ◽  
The Cost ◽  
Case Design

Designing and prioritizing test cases is a very tedious task. Given all the advancements in the world of software testing, on any given day engineers spend several man-hours to identify all possible testing scenarios and preconditions attached with it. Test engineers then use the scenarios and preconditions to write multiple test cases. Every test case has a template skeleton to follow - expected results, actual results, priority, test suite category classification (regression, sanity, smoke, integration, etc.), and the respective software (i.e. version, build, release etc.) that has to be tested. Until now there have been efforts to make test case designing simpler by providing software test engineers with tools and processes. But these tools and processes still needs considerable amount of manual intervention in terms of understanding the requirements, analyzing the quality risks and documentation of all possible test scenarios in order to ensure a high quality software delivery. Man-hours spent on test case design and test case prioritization is directly proportional to the cost involved in building software. Our goal was to make sure that the manual intervention in test case design and test case prioritization is reduced to minimum without imposing any software quality risks. So, that the cost to ship and build software is reduced. With this paper we are presenting a solution to this problem. Our goal here was to use machine learning [5] to do automated test case prioritization and creation of test cases for software. In order to achieve this goal we used supervised machine learning [6] approach based on K-Nearest Neighbor classification model for test case design and test case prioritization [4]. On experimenting with other linear and non-linear classifiers we learnt that they did not prove to be as accurate as K-Nearest Neighbor. Our method of machine learning based automated test case design and test case prioritization can be used by any software development organization to reduce it’s software development cost and time taken to ship software to their respective consumers. This aims to benefit the software development industry as a whole.

scholarly journals Pengujian Aplikasi Peminjaman Kendaraan Operasional Kantor Menggunakan BlackBox Testing

2021 ◽  
Vol 5 (2) ◽  
pp. 97
Author(s):  
Jafar Shadiq ◽  
Ahmad Safei ◽  
Rayhan Wahyudin Ratu Loly
Keyword(s):  
Information System ◽  
Input Data ◽  
Black Box ◽  
Test Case ◽  
External Data ◽  
Generate Test Case ◽  
Black Box Testing ◽  
Box Method ◽  
Case Design ◽  
Selection Of

Abstrak:  Pengujian black-box begitu penting karena teknik tersebut mampu mengidentifikasi kesalahan dalam fungsi, antar muka, model data, dan akses kesumber data eksternal. Dalam pelaksanaan sering timbul masalah penguji tidak pernah yakin apakah perangkat lunak yang diuji telah benar-benar lolos dalam pengujian. Hal ini terjadi karena kemungkinan masih ada beberapa jalur eksekusi yang belum pernah teruji. Penguji seharusnya membuat setiap kemungkinan kombinasi data masukan untuk pengujian. Pemilihan data masukan untuk menemukan kesalahan menjadi masalah bagi penguji karena memiliki probabilitas yang tinggi, sehingga desain test case secara otomatis dapat menjadi solusi. Pada implementasi ini aplikasi yang akan di uji menggunakan black-box testing adalah sebuah Sistem Informasi peminjaman kedaraan operasional. Aplikasi peminjaman kendaran operasional tersebut akan diuji menggunakan black-box testing di mana pengujian ini hanya bertujuan untuk melihat program tersebut apakah sesuai dengan fungsi yang diinginkan program tersebut tanpa mengetahui kode program yang dipakai. Untuk menghasilkan desain test case secara otomatis dalam pengujian perangkat lunak metode black-box dengan teknik equivalence partitioning. Teknik Equivalence Partitions adalah pengujian didasarkan masukkan data pada setiap form yang ada pada sistem informasi pengelolaan masjid, setiap menu akan dilakukan pengujian dan dikelompokkan berdasarkan fungsinya baik itu bernilai valid ataupun tidak valid.   Kata kunci: Equivalence Partitions, black-box, Aplikasi, Peminjaman Kendaraan Operasional, test case   Abstract: Black-box testing is very important because the technique is able to identify errors in functions, interfaces, data models, and access to external data sources. In implementation, the problem often arises that the tester is never sure whether the software being tested has actually passed the test. This happens because there may still be some untested execution paths. The tester must make every possible combination of input data for testing. The selection of input data to find errors is a problem for the examiner because it has a high probability, so that the test case design can automatically be a solution. In this implementation, the application that will be tested using black-box testing is an operational vehicle loan information system. The operational vehicle loan application will be tested using black-box testing where this test only aims to see whether the program is in accordance with the desired function of the program without knowing the program code used. To generate test case designs automatically in software testing the black-box method with equivalence partitioning techniques. The Equivalence Partitions technique is a test based on data on every form in the management information system, each menu will be tested and assessed for mosques based on usefulness, whether it is feasible or not valid..   Keywords: Equivalence Partitions, black-box, Aplplication, Operational Vehicle Loan, test case

Software Fault Tree Key Node Metric Test Cases

2006 ◽  
Author(s):  
D. M. Needham ◽  
S. A. Jones
Keyword(s):  
Fault Tree ◽  
Test Cases ◽  
Software Fault

scholarly journals Pengujian Black Box pada Aplikasi Perpustakaan Berbasis Web Menggunakan Teknik Equivalence Partitioning

2020 ◽  
Vol 3 (2) ◽  
pp. 95
Author(s):  
Deny Setiawan ◽  
Muhammad Ardiansyah Fadhillah ◽  
Anggun Wibawa ◽  
Irwan Sugiarto ◽  
Agus Mulyana ◽  
...  
Keyword(s):  
Black Box ◽  
Test Case ◽  
Web Based ◽  
Testing Method ◽  
Input And Output ◽  
Black Box Testing ◽  
Access Rights ◽  
Case Design ◽  
Partitioning Technique

In determining the level of quality of a software it is necessary to test the software. Tests tested can include specifications, design, and coding of the software. This test is conducted to test web-based library software. This test uses the Black Box Testing method using the Equivalence Partitioning technique. Black Box Testing is applied in order to find errors in software related to erroneous functions, errors in interface display, data structure errors or access rights in external databases, sub-optimal performance in a process, and errors in initialization or termination. The Equivalence Partitioning technique defines the cases to be tested by finding some errors and minimizing the number of cases that must be made. The Equivalence Partitioning test case design is based on the premise of the input and output of a component which is partitioned into classes according to the specifications of that component, which are treated equally (equivalence). It can also be assumed that the results of an input produce the same response. The expected result of testing this software is to ensure that this software is free from errors so that in its use there will be no obstacles that prevent the user from doing his work. And inform that the software is in accordance with predetermined specifications.

scholarly journals Resource and dependency based test case generation for RESTful Web services

2021 ◽  
Vol 26 (4) ◽  
Author(s):  
Man Zhang ◽  
Bogdan Marculescu ◽  
Andrea Arcuri
Keyword(s):  
Web Services ◽  
Domain Knowledge ◽  
Automated System ◽  
Test Case ◽  
Test Cases ◽  
Evolutionary Search ◽  
Sampling Strategies ◽  
Mutation Operators ◽  
On Line ◽  
Restful Web Services

AbstractNowadays, RESTful web services are widely used for building enterprise applications. REST is not a protocol, but rather it defines a set of guidelines on how to design APIs to access and manipulate resources using HTTP over a network. In this paper, we propose an enhanced search-based method for automated system test generation for RESTful web services, by exploiting domain knowledge on the handling of HTTP resources. The proposed techniques use domain knowledge specific to RESTful web services and a set of effective templates to structure test actions (i.e., ordered sequences of HTTP calls) within an individual in the evolutionary search. The action templates are developed based on the semantics of HTTP methods and are used to manipulate the web services’ resources. In addition, we propose five novel sampling strategies with four sampling methods (i.e., resource-based sampling) for the test cases that can use one or more of these templates. The strategies are further supported with a set of new, specialized mutation operators (i.e., resource-based mutation) in the evolutionary search that take into account the use of these resources in the generated test cases. Moreover, we propose a novel dependency handling to detect possible dependencies among the resources in the tested applications. The resource-based sampling and mutations are then enhanced by exploiting the information of these detected dependencies. To evaluate our approach, we implemented it as an extension to the EvoMaster tool, and conducted an empirical study with two selected baselines on 7 open-source and 12 synthetic RESTful web services. Results show that our novel resource-based approach with dependency handling obtains a significant improvement in performance over the baselines, e.g., up to + 130.7% relative improvement (growing from + 27.9% to + 64.3%) on line coverage.

scholarly journals Performance of Enhanced Multiple-Searching Genetic Algorithm for Test Case Generation in Software Testing

Mathematics ◽  
2021 ◽  
Vol 9 (15) ◽  
pp. 1779
Author(s):  
Wanida Khamprapai ◽  
Cheng-Fa Tsai ◽  
Paohsi Wang ◽  
Chi-En Tsai
Keyword(s):  
Genetic Algorithm ◽  
Software Testing ◽  
Random Search ◽  
Automatic Generation ◽  
Superior Performance ◽  
Test Case Generation ◽  
Test Case ◽  
Test Cases ◽  
Network Systems ◽  
Routing Problem

Test case generation is an important process in software testing. However, manual generation of test cases is a time-consuming process. Automation can considerably reduce the time required to create adequate test cases for software testing. Genetic algorithms (GAs) are considered to be effective in this regard. The multiple-searching genetic algorithm (MSGA) uses a modified version of the GA to solve the multicast routing problem in network systems. MSGA can be improved to make it suitable for generating test cases. In this paper, a new algorithm called the enhanced multiple-searching genetic algorithm (EMSGA), which involves a few additional processes for selecting the best chromosomes in the GA process, is proposed. The performance of EMSGA was evaluated through comparison with seven different search-based techniques, including random search. All algorithms were implemented in EvoSuite, which is a tool for automatic generation of test cases. The experimental results showed that EMSGA increased the efficiency of testing when compared with conventional algorithms and could detect more faults. Because of its superior performance compared with that of existing algorithms, EMSGA can enable seamless automation of software testing, thereby facilitating the development of different software packages.

A Novel Technique of Error Analysis Based on Test Case Combination

2014 ◽  
Vol 536-537 ◽  
pp. 255-258
Author(s):  
Xi Guo
Keyword(s):  
Error Analysis ◽  
Small Area ◽  
Fault Analysis ◽  
Test Case ◽  
Additional Test ◽  
System Parameters ◽  
Novel Technique ◽  
Software Debugging

Based on the model and feature of combination testing, a novel technique of fault analysis based on combination testing is proposed. The faults of software can be triggered by system parameters and their interaction. The result of combination testing is analyzed, and discovered the possible reasons, and then generates an additional test cased which involved from the test case causing the fault, and analysis and verify the result. This method can locate the faults in a relative small area, and can simplify the process of software debugging and testing.

Sign in / Sign up

Export Citation Format

Share Document