scholarly journals A Case Study of Black-Box Testing for Embedded Software using Test Automation Tool

2007 ◽  
Vol 3 (3) ◽  
pp. 144-148 ◽  
Author(s):  
Changhyun Baek ◽  
Joongsoon Jang ◽  
Gihyun Jung ◽  
Kyunghee Choi ◽  
Seungkyu Park
2020 ◽  
Vol 7 (1) ◽  
pp. 74
Author(s):  
Mardawia Mabe Parenreng ◽  
Fajria Nur ◽  
Asriyadi Asriyadi

Each laboratory has a person in charge (technician) that has a duty of serving the laboratory in term of operational and maintenance. The main task of a technician is to record and monitor the condition and completeness of laboratory equipment in the laboratory. The data collection process is done by writing a tool request form, therefore mistakes often occur. In this research, an Android-based laboratory asset monitoring and inventory application was made. By using the application, it is expected that technicians become easier to make any duties of reports including report of damaged laboratory equipments, request for reparation, the unavailable practical materials etc simply by using a Smartphone. Testing the application with the Black-Box testing method to investigate the function of each application component whether it is running well or not. The results obtained from the Black-Box test are the functions of each component were running as expected. The case study is conducted for Electrical Engineering Department at State Polytechnic of Ujung Pandang (SPUP)


Author(s):  
YUTING CHEN ◽  
SHAOYING LIU ◽  
W. ERIC WONG

The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes a view-based program review approach to addressing these challenges. The essential idea of the approach is first to derive comparable views from the specification and program, and then detect and eliminate the violations of structural consistency in the program views on the basis of a set of criteria. We also developed a prototype tool to support the review approach, and conducted a case study to assess the effectiveness of the approach.


2021 ◽  
Vol 1 (2) ◽  
Author(s):  
Muhammad Dzikri Ramadhan ◽  
Mohammad Suryawinata

The growth of the furniture industry relies heavily on good marketing activities. In this digital and online era can be utilized in terms of marketing in the furniture industry. Toko 99 Mebel is one of the furniture stores that still use conventional transaction and order recording. So product marketing is less innovative and efficient. The purpose of this research was to build an android-based furniture sales application that added a QR Code scan feature that can be a new innovation in 99 furniture stores in marketing products. QR Code serves as a feature to display a description of the product to be ordered quickly. The method used is waterfall, useful to reduce errors in building applications. Testing in this application using the Black Box method, this test method is very important to test the fungisonality of the application as opposed to internal structure or work. With waterfall method and Black Box testing method in application development can be arranged well and appropriately. As well as being able to participate in the sale of 99 Furniture Stores, because it will further facilitate the process of selling furniture online via android smartphone so that it is expected to increase customer interest to buy furniture in 99 Furniture Stores.


10.29007/6zxt ◽  
2018 ◽  
Author(s):  
Holger Hermanns ◽  
Sebastian Biewer ◽  
Pedro R. D'Argenio ◽  
Maximilian A. Köhl

Emission cleaning in modern cars is controlled by embedded software. In this context, the diesel emission scandal has made it apparent that the automotive industry is susceptible to fraudulent behaviour, implemented and effectuated by that control software. Mass effects make the individual controllers altogether have statistically significant adverse effects on people’s health. This paper surveys recent work on the use of rigorous formal techniques to attack this problem. It starts off with an introduction into the dimension and facets of the problem from a software technology perspective. It then details approaches to use (i) model checking for the white-box analysis of the embedded software, (ii) model- based black-box testing to detect fraudulent behaviour under standardized conditions, and (iii) synthesis of runtime monitors for real driving emissions of cars in-the-wild. All these efforts aim at finding ways to eventually ban the problem of doped software, that is, of software that surreptitiously alters its behaviour in certain circumstances – against the interest of the owner or of society.


2012 ◽  
Vol 52 (9-10) ◽  
pp. 1940-1944 ◽  
Author(s):  
Song Lan ◽  
Cher Ming Tan ◽  
Kevin Wu

Author(s):  
Y. T. YU ◽  
S. F. TANG ◽  
P. L. POON ◽  
T. Y. CHEN

Various black-box methods for the generation of test cases have been proposed in the literature. Many of these methods, including the category-partition method and the classification-tree method, follow the approach of partition testing, in which the input domain is partitioned into subdomains according to important aspects of the specification, and test cases are then derived from the subdomains. Though comprehensive in terms of these important aspects, execution of all the test cases so generated may not be feasible under the constraint of tight testing resources. In such circumstances, there is a need to select a smaller subset of test cases from the original test suite for execution. In this paper, we propose the use of white-box information to guide the selection of test cases from the original test suite generated by a black-box testing method. Furthermore, we have developed some techniques and algorithms to facilitate the implementation of our approach, and demonstrated its viability and benefits by means of a case study.


2020 ◽  
Vol 5 (1) ◽  
pp. 61
Author(s):  
Vadlan Febrian ◽  
Muhamad Rizki Ramadhan ◽  
Muhammad Faisal ◽  
Aries Saifudin

In this employee payroll application, if there is an error program there will be a loss for employees and the company. Losses for employees, if this application program error occurs then the salary reduction will experience delays due to the difficulty in the process of calculating employee salaries and employees will be late in receiving salaries. Losses for the company, if there is an error program in this application, the company will suffer losses if the employee wants a salary reduction quickly but the company cannot calculate quickly and accurately. In solving this problem, the authors use the black box testing method. Black box testing method is a test that sees the results of execution through test data and ensures the function of the software. Black box testing method has several testing techniques, namely Sample Testing, Boundary Value Analysis, Equivalence Partitions and others. From the testing techniques that have been mentioned, we use the Equivalence Partitions testing technique. Equivalence Partitions are tests that refer to data entry on the employee payroll application form, input will be tested and then put together based on the test function, both valid and invalid values. The expected results of this test are a payroll system for employees who are computerized, have standard rules in the process of developing the program so that it is easy to develop and maintain, and can minimize errors in processing salary calculations for employees.


Author(s):  
Lila Setiyani

Pengelolaan dan pengontrolan produk sangat dibutuhkan oleh perusahaan yang bergerak di bidang distribusi farmasi, karena perusahaan distribusi farmasi membutuhkan perencanaan dan pengendalian persediaan dalam hal ini produk farmasi terkait dengan tanggal expired dan batch. Pada tahap analisis kebutuhan sistem terdapat beberapa prosedur yang terkait dengan inventory perusahaan distributor produk farmasi diantaranya adalah pengelolaan qoutation, sales order purchase order, penerimaan barang, retur barang, surat jalan, invoice, pembayaran, barang rusak dan pemusnahan barang. Sistem inventory untuk perusahaan distributor produk farmasi telah berhasil dibangun menggunakan metode Agile Unified Process dengan empat tahapan yaitu inception, elaboration, construction, dan transition. Pada tahapan transition dilakukan pengujian sistem inventory dengan menggunakan metode black box testing. Pengujian menggunakan black box testing ini bertujuan untuk mengetahui error yang terjadi ketika sistem digunakan oleh end user dengan pengujian data normal dan data tidak normal


Sign in / Sign up

Export Citation Format

Share Document