Efficient adaptation and high reusability of test suites in a black box testing environment

2015 ◽  
Author(s):  
M. Drazic Vignjevic ◽  
M. Vucicevic ◽  
M. Djukic ◽  
B. Radin
Keyword(s):  
Black Box ◽  
Testing Environment ◽  
Black Box Testing ◽  
Test Suites

scholarly journals A formal language for primary specifications of the cryptographic protocols

2021 ◽  
Vol 33 (5) ◽  
pp. 117-136
Author(s):  
Sergey Evgenievich Prokopev
Keyword(s):  
Formal Language ◽  
Cryptographic Protocols ◽  
Black Box ◽  
High Quality ◽  
Abstraction Level ◽  
Black Box Testing ◽  
Definition Of ◽  
Deterministic Behavior ◽  
Test Suites

Use of the formal methods in the development of the protocol implementations improves the quality of these implementations. The greatest benefit would result from the formalizing of the primary specifications usually contained in the RFC documents. This paper proposes a formal language for primary specifications of the cryptographic protocols, which aims at fulfilling (in a higher degree than in the existing approaches) the conditions required from primary specifications: they have to be concise, declarative, expressive, unambiguous and executable; in addition, the tools supporting the language have to provide the possibility of automatic deriving of the high quality test suites from the specifications. The proposed language is based on a machine (dubbed the C2-machine) specifically designed for the domain of the cryptographic protocols. Protocol specification is defined as a program of the C2-machine. This program consists of two parts: the definition of the protocol packets and the definition of the non-deterministic behavior of the protocol parties. One execution of the program simulates one run of the protocol. All the traces, which can be potentially produced by such execution, by definition, comprise all conformant traces of the protocol; in other words, the program of the C2-machine defines the operational contract of the protocol. In the paper, to make the design and operational principles of the C2-machine easier to understand, two abstractions of the C2‑machine are presented: C0-machine and C1-machine. C0-machine is used to explain the approach taken in expressing non-determinism of the protocols. The abstraction level of the C1-machine (which is a refinement of C0-machine) is enough to define the semantics of the basic C2-machine instructions. To enhance the readability of the programs and to reach the level of declarativeness and conciseness of the formalized notations used in some of conventional RFCs (e.g. TLS RFCs), C2-machine implements some syntactic tricks on top of the basic instructions. To use C2-specifications in the black-box testing, the special form of the C2-machine (C2-machine with excluded role) is presented. Throughout the paper the proposed concepts are illustrated by examples from the TLS protocol.

Pengujian pada Aplikasi Penggajian Pegawai dengan menggunakan Metode Blackbox

2020 ◽  
Vol 5 (1) ◽  
pp. 61
Author(s):  
Vadlan Febrian ◽  
Muhamad Rizki Ramadhan ◽  
Muhammad Faisal ◽  
Aries Saifudin
Keyword(s):  
Data Entry ◽  
Black Box ◽  
Application Form ◽  
Value Analysis ◽  
Test Function ◽  
Testing Method ◽  
Black Box Testing ◽  
Sample Testing ◽  
Testing Techniques ◽  
Program Error

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.

Pengujian Sistem Informasi Inventory Pada Perusahaan Distributor Farmasi Menggunakan Metode Black Box Testing

2018 ◽  
Vol 3 (2) ◽  
pp. 77-84
Author(s):  
Lila Setiyani
Keyword(s):  
Black Box ◽  
End User ◽  
Purchase Order ◽  
Black Box Testing ◽  
Unified Process

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

Sistem Pendukung Keputusan untuk Menentukan Penerima Bantuan Beasiswa dengan Metode AHP dan TOPSIS

Sainteks ◽  
2021 ◽  
Vol 18 (1) ◽  
pp. 65
Author(s):  
Rima Dwi Mainingsih ◽  
Muhammad Hamka
Keyword(s):  
Analytical Hierarchy Process ◽  
Black Box ◽  
Ideal Solution ◽  
Order Preference ◽  
Black Box Testing ◽  
Hierarchy Process

Salah satu program LAZISMU Banyumas adalah beasiswa. Beasiswa merupakan pemberian bantuan keuangan yang diberikan kepada perorangan yang bertujuan untuk meningkatkan kapasitas SDM atau Sumber Daya Manusia melalui pendidikan. Permasalahan di LAZISMU, sistem bantuan beasiswa masih bersifat manual maka diperlukan suatu sistem pendukung keputusan (SPK) untuk memperhitungkan segala kriteria yang mendukung pengambilan keputusan guna membantu, mempercepat dan mempermudah proses pengambilan keputusan. Metode yang digunakan pada sistem pendukung keputusan adalah metode Analytical Hierarchy Process (AHP) dan metode TOPSIS. Analytical Hierarchy Process (AHP) yang digunakan untuk memperbaiki nilai bobot dari kriteria. Nilai bobot yang dihasilkan dari metode AHP selanjutnya digunakan untuk menentukan proses peranking calon penerima bantuan beasiswa menggunakan metode Technique For Order Preference By Similarity To Ideal Solution (TOPSIS). Metode AHP dan TOPSIS digunakan untuk meningkatkan hasil rekomendasi calon penerima bantuan beasiswa. Hasil klasifikasi kemudian dievaluasi menggunakan Black Box Testing untuk mengetahui apakah fungsi, masukan dan keluaran dari perangkat lunak sesuai dengan spesifikasi yang dibutuhkan. Dengan demikian dapat disimpulkan bahwa sistem aplikasi telah berjalan sesuai dengan tujuan yang diharapkan, karena tidak ditemukan adanya kesalahan pada interface serta sistem yang dirancang dan dibangun mampu mengatasi kelemahan-kelemahan yang terdapat pada sistem yang lama dan memberikan hasil rekomendasi calon penerima bantuan beasiswa.Kata-kata Kunci: sistem pendukung keputusan, penerima beasiswa, AHP, TOPSIS, black box testing

scholarly journals Purwarupa Sistem Pakar Dengan Metode Forward Chaining Dan Certainty Factor Untuk Mendeteksi Penyakit Kanker Payudara

2021 ◽  
Vol 1 (6) ◽  
pp. 247-259
Author(s):  
Eka Widyawati ◽  
Ari Fadli ◽  
Muhammad Syaiful Aliim
Keyword(s):  
Software Design ◽  
Usability Testing ◽  
Black Box ◽  
Requirement Analysis ◽  
Unit Testing ◽  
Certainty Factor ◽  
System Testing ◽  
Forward Chaining ◽  
Operation And Maintenance ◽  
Black Box Testing

Sistem pakar adalah sebuah sistem yang berusaha mengadopsi pengetahuan manusia ke komputer, agar komputer dapat menyelesaikan suatu permasalahan seperti yang biasanya dilakukan oleh para ahli. Kanker merupakan penyakit yang disebabkan oleh pertumbuhan sel yang tidak normal dan tidak terkendali serta menekan sel-sel yang normal. Sejumlah sel dalam payudara tumbuh dan berkembang dengan tidak terkendali inilah yang disebut dengan kanker payudara. Oleh karena itu, penelitian ini mencoba untuk membangun sebuah aplikasi agar dapat mengetahui gejala awal dari penyakit kanker payudara. Aplikasi ini berbasis website dengan menggunakan metode waterfall yang merupakan suatu metode dalam pengembangan perangkat lunak dengan melalui 5 tahapan yaitu, requirement analysis and definition, system and software design, implementation and unit testing, integration and system testing, dan operation and maintenance. Website ini diimplementasikan dengan menggunakan bahasa pemrograman PHP dan basis data MySQL. Pengambilan hasil kesimpulan untuk hasil diagnosa didasarkan pada hasil penelusuran secara forward chaining dan perhitungan secara certainty factor. Pengujian sistem pakar dilakukan dengan menggunakan black-box testing dan usability testing. Pengujian dengan metode black-box terhadap fungsionalitas dari setiap bagian aplikasi sistem pakar, didapatkan hasil yang sudah sesuai dengan tujuan yang diharapkan. Sedangkan pengujian dengan metode usability testing terhadap 50 responden yang menggunakan aplikasi sistem pakar, didapatkan hasil penerimaan yang baik memenuhi kelima aspek usability testing yaitu learnability, efficiency, memorability, errors, dan satisfaction dengan nilai persentase sebesar 85%.

scholarly journals KepoTajwid: Aplikasi Pembelajaran Ilmu Tajwid Berbasis Web Interaktif

2018 ◽  
Vol 2 (2) ◽  
pp. 77
Author(s):  
Viska Mutiawani
Keyword(s):  
Black Box ◽  
Application Development ◽  
Rapid Application Development ◽  
Black Box Testing

Ilmu Tajwid adalah suatu cabang pengetahuan untuk mempelajari cara-cara pembacaan Al-Qur’an. Al-Qur’an merupakan kitab suci umat beragama Islam. Hukum membaca ayat Al-Qur’an dengan Tajwid adalah <em>fardhu’ain </em>bagi setiap orang Islam (muslim). Namun ilmu Tajwid tergolong ilmu yang sulit khususnya bagi orang yang tidak fasih dalam berbahasa Arab. Berdasarkan hasil survei awal terhadap 31 responden yang beragama Islam, hampir semuanya setuju bahwa ilmu Tajwid merupakan ilmu yang sangat penting dipelajari oleh umat Islam sehingga media belajar yang interaktif serta diikuti dengan penjelasan dan latihan melalui video memberikan kemudahan dalam proses belajar dan meningkatkan minat belajar ilmu Tajwid. Namun referensi belajar ilmu Tajwid yang terpercaya banyak yang menggunakan bahasa Arab sehingga susah dipahami oleh muslim di Indonesia. Oleh karena itu, dibangunlah aplikasi ilmu tajwid yang diberi nama KepoTajwid. Aplikasi ini dikembangkan dengan metode RAD (<em>Rapid Application Development</em>) dan diuji menggunakan metode <em>Black Box testing</em>. Aplikasi ini terdiri dari materi dasar ilmu Tajwid yaitu hukum nun sukun dan tanwin, hukum mim sukun, makharijul huruf, shifatul huruf dalam bentuk teks, gambar, audio dan video.<em></em>

scholarly journals RANCANG BANGUN SISTEM INFORMASI PENJUALAN PADA PT. DUTA PERFUME BERBASIS WEB MENGGUNAKAN METODE SEKUENSIAL LINIER

2020 ◽  
Author(s):  
Muhammad Fathur Prayuda
Keyword(s):  
Black Box ◽  
Online Marketing ◽  
Text Editor ◽  
Black Box Testing

Permasalahan yang menghambat kemajuan penjualan dapat teratasi karena online marketing tidak mengenal batas wilayah, mempermudah mencari konsumen, promosi, serta transaksi bisnis untuk mengatasi permasalahan dalam penjualan tentang produk-produk yang di hasilkan oleh suatu perusahaan. Dengan adanya online marketing, pengusaha-pengusaha kecil seperti UMKM-K dapat menaikkan nama agar dapat lebih dikenal oleh masyarakat diluar lingkungannya. Sehingga penjualan barang dapat meningkat yang dapat membuaat usaha UMKM-K menjadi lebih maju dan dapat memperluas usahannya. Seperti yang ada pada Toko PT.Duta Perfume yang merupakan perusahaan swasta yang mana bergerak di bidang penjualan perfume atau minyak wangi. Karena itu Toko PT. Duta Perfume memiliki permasalahan bagaimana agar usaha tersebut bisa diperluas dalam mendapatkan customer baik di tempat tersebut maupun di daerah lain untuk membeli produk tersebut. Untuk mengatasi masalah tersebut Toko PT. Duta Perfume ingin membuat serta membangun sebuah sistem informasi yang lebih tepatnya bergerak dibidang online. Pada penelitian ini akan membangun sistem informasi berbasis web menggunkan metode sekuensial linear, proses implementasi dilakukan dengan menggunakkan visual studio code sebagai text editor, menggunakan bahasa program PHP dan pengorganisasian RDBMS menggunakan MySQL. Proses pengujiannya menggunakan metode black-box testing. Hasil dari penelitian ini dapat membantu penjualan PT. Duta Perfume dalam memanfaatkan online marketing (pemasaran online) dengan menggunakan teknologi e-commerce.

scholarly journals Rancang Bangun Sistem Informasi Bank Sampah di Desa Paguyangan

2021 ◽  
Vol 5 (1) ◽  
pp. 21-30
Author(s):  
Lasmedi Afuan ◽  
◽  
Nofiyati Nofiyati ◽  
Nasichatul Umayah ◽  
◽  
...  
Keyword(s):  
Information System ◽  
Waste Management ◽  
Programming Language ◽  
Statistical Data ◽  
System Development ◽  
Black Box ◽  
Web Based ◽  
Opinion Score ◽  
Residual Material ◽  
Black Box Testing

Garbage is the residual material resulting from a production process, both industry and households. Based on Brebes district's statistical data, the Paguyangan sub-district is in fourth place with an average of 249.62 m3 of garbage per day. Paguyangan is one of the villages in the Paguyangan sub-district. Paguyangan has a garbage problem where people still have the habit of throwing garbage in the river and yards around the house. Based on this, the Paguyangan Village Hall plans to build a garbage bank to overcome the problem. A garbage bank managed activities such as recording saving's transactions. This study conducted a web-based design of the Garbage Bank Information System (SIBS). SIBS is an information system used to help process garbage transactions at a garbage bank. The purpose of this SIBS is to facilitate officers and customers in processing services at the garbage bank. The methodology used in system development is the Waterfall method. SIBS development uses PHP as a programming language and MySql as the DBMS. The result of this research is an information system that can be used in the management of Waste Management transactions. The results of system testing using Black box Testing and Mean Opinion Score (MOS) obtained that all components in this system are running well according to needs.

Sign in / Sign up

Export Citation Format

Share Document