Penerapan Metode Pengujian White-box, Black-box dan User Acceptance Testing (UAT) pada website laser.umm.ac.id.

Universitas Muhammadiyah Malang (UMM) developed an application providing efficient search tools and sorting options to help users find the books or information needed quickly, namely the laser.umm.ac.id application or OPAC | Online Public Access Catalog. In this study, software testing techniques were used to evaluate the entire system prototype consisting of white box testing, black box testing, and user acceptance testing (UAT). The purpose of the research is to find out bugs and errors that occur in internal and external systems or structural and functional testing. The testing stages begin with white-box basis path testing by testing the source code / program code of the Advance OPAC search feature on the website, then next with black-box decision table testing by testing the search form on the advance OPAC and the last stage is testing with user acceptance testing (UAT) by distributing questionnaires to students. In white box testing, it is obtained that the source code has a low degree of complexity, meaning that the system shows that this application can run well without any errors. In Black box testing from the sample obtained the test results show a pass where the expected result matches the actual result. In the UAT test which uses a questionnaire with a Likert scale of 5 scales, the respondents agree above 75,3% (116 respondents) that the OPAC | Online Public Access Catalog system is able to facilitate the use and usefulness of finding library materials / information

RANCANG BANGUN SISTEM INFORMASI TUGAS AKHIR DI JURUSAN TEKNIK ELEKTRO DAN KOMPUTER UNIVERSITAS SYIAH KUALA

Tugas akhir merupakan syarat untuk mendapatkan gelar sarjana. Saat ini proses administrasi tugas akhir pada Jurusan Teknik Elektro dan Komputer, Fakultas Teknik, Universitas Syiah Kuala umumnya masih dilakukan secara paper-based. Hal ini tentunya akan membutuhkan banyak waktu dalam proses administrasi tugas akhir. Untuk mengatasi masalah tersebut penulis merancang dan membangun sistem informasi untuk memudahkan proses administrasi tugas akhir. Sistem Informasi ini digunakan oleh Administrator Jurusan, Koordinator Tugas Akhir, Dosen pembimbing, Dosen penguji, dan Mahasiswa. Pengembangan sistem informasi ini menggunakan arsitektur MVC (Model-View-Controller) berdasarkan analisa kebutuhan user. Selanjutnya pengujian aplikasi dilakukan dengan 3 metode, yaitu Unit Testing, Black Box Testing dan White Box Testing. Aplikasi telah diuji dengan metode pengujian Unit Tesing, Black Box Testing dan White Box Testing. Pengujian berjalan dengan sukses. Hal ini menunjukkan aplikasi berjalan dengan baik.Kata kunci: Tugas Akhir, paper-based, sistem informasi, MVC (Model-View-Controller)

GAME EDUKASI ULAR TANGGA PADA MATA PELAJARAN MATEMATIKA UNTUK SISWA KELAS V SEKOLAH DASAR

Penelitian ini bertujuan untuk mengembangkan media pembelajaran game edukasi ular tangga pada mata pelajaran matematika kelas V sekolah dasar dengan materi operasi bilangan bulat. Pembelajaran dengan game edukasi merupakan pembelajaran melalui perbuatan nyata sehingga konsep abstrak matematika yang diberikan menjadi lebih kontekstual dan dapat mengendap di memori siswa. Game ini diharapkan mampu menambah motivasi siswa belajar mengerjakan soal-soal materi operasi bilangan bulat dan membantu siswa belajar mandiri. Perancangan game edukasi ular tangga ini mengggunakan metode Research and Development yang terdiri dari 8 tahap yaitu tahapan analisis terhadap kebutuhan, pengumpulan objek perancangan media, mengembangkan produk awal, validasi ahli, revisi desain, uji coba, revisi dan produksi. Game dikembangkan dengan menggunakan aplikasi Macromedia Flash 8. Pengujian game edukasi ini dilakukan dengan metode white box testing dan black box testing. Kelayakan dinilai oleh tim ahli media, tim ahli materi dan siswa. Penelitian dilaksanakan di SD N 2 Wijirejo dengan melibatkan 40 orang siswa kelas V sekolah dasar. Metode yang digunakan dalam pengumpulan data adalah dengan angket skala likert. Hasil white box testing menunjukkan bahwa simpul telah dieksekusi minimal satu kali dan dikerjakan sesuai dengan batasannya. Hasil pengujian dengan metode black box testing menunjukan masing-masing fungsi tombol berlaku sesuai dengan tujuannya. Hasil penilaian ahli media atau alfa testing mendapat nilai rata-rata 4.02 dengan kategori baik. Hasil penilaian ahli materi atau alfa testing mendapatkan nilai rata-rata 4.07 dengan kategori baik. Pengujian produk awal atau beta testing mendapat nilai rata-rata 4.2 dengan kategori baik. Pengujian lapangan atau beta testing mendapatkan nilai rata-rata 4.16 dengan kategori baik. Hasil pengujian secara keseluruhan menunjukkan bahwa game edukasi ular tangga pada mata pelajaran matematika kelas V sekolah dasar layak untuk digunakan

DESIGN AND ANALYSIS QUALITY SYSTEM OF STUDENT INFORMATION PROCESSING DATA NEW STUDENT SMK MUHAMMADIYAH 3 YOGYAKARTA

This research aims to design and analyze websites new Student Information System Acceptance SMK Muhammadiyah 3 Yogyakarta with PHP and MySQL that can manage data on the implementation of the prospective student Admission. This research is Research and Development. This website development method using modified waterfall. Tests carried out to test the quality of the website System Information by Olsina (1998), namely correctness, functionality, reliability, efficiency, maintainability, and usability. Correctness quality obtained with white-box testing (testing Looping) and black box (Graph-based testing). The quality of the obtained functionality testing State Transition Testing. Reliability Testing Load testing obtained from 30 students to enter data, and editing data and deletion of data. Efficiency assessment obtained by recording the time it takes to open a page devoted. Maintainability obtained from Cross-browser testing. Obtained from Alpa Usability testing by a team of expert website and beta testing by admin, user1, and guest. Data analysis techniques used in this research is descriptive statistical analysis. The results mennunjukkan that Admission Information System SMK Muhammadiyah 3 Yogyakarta can be developed and be able to perform data processing of new students of SMK Muhammadiyah 3 Yogyakarta. Assessment obtained information systems Admission SMK Muhammadiyah 3 Yogyakarta meet quality testing correctness Graph-Based and Looping testing. Admission Information Systems SMK Muhammadiyah 3 Yogyakarta assessed for each criterion usability. Assessment of quality functionality Admission Information Systems SMK Muhammadiyah 3 Yogyakarta run well on testing State transition testing. Response time performance testing conducted by Information Systems and response pages less than 2 seconds so that said system meets the quality efficiency by Shneiderman. Maintainability testing done with cross browser testing and obtained system is capable of running on Mozilla Firefox, Google Chrome, and Internet Explorer. Keywords: Information Systems, correctness, Usability, Functionality, Reliability, Efficiency, Maintainabilit

Actual Test Coverage for Embedded Systems

Testing embedded systems is inherently incomplete; no test suite will ever be able to test all possible usage scenarios. Therefore, in the past decades many coverage measures have been developed. These measures denote the portion of a system that is tested, that way providing a quality criterion for test suites. Formulating coverage criteria is not an easy task. The measures provided in the literature are consequently almost all very trivial and syntax-dependent. Well-known examples are statement and path coverage in white-box testing, and state and transition coverage in black-box testing. The complexity of designing coverage measures for embedded systems is contained in the highly dynamic behaviour of such systems, which is state-dependent and subject to many interleavings. In this talk we introduce a framework on actual test coverage. This measure denotes the number of faults actually shown present or absent. Our framework contains a method to evaluate the actual coverage of a given set of test suite executions after testing has taken place, providing a means to express the quality of a testing process. It also contains a method to predict the actual coverage a certain number of executions will yield, providing a means to select the best test suite. Both the evaluation afterwards and the prediction in advance are quite efficient, making it feasible to implement the theory in a tool and use it in a practical context

Efficient Black-Box Identity Testing for Free Group Algebras

Hrubes and Wigderson [Pavel Hrubes and Avi Wigderson, 2014] initiated the study of noncommutative arithmetic circuits with division computing a noncommutative rational function in the free skew field, and raised the question of rational identity testing. For noncommutative formulas with inverses the problem can be solved in deterministic polynomial time in the white-box model [Ankit Garg et al., 2016; Ivanyos et al., 2018]. It can be solved in randomized polynomial time in the black-box model [Harm Derksen and Visu Makam, 2017], where the running time is polynomial in the size of the formula. The complexity of identity testing of noncommutative rational functions, in general, remains open for noncommutative circuits with inverses. We solve the problem for a natural special case. We consider expressions in the free group algebra F(X,X^{-1}) where X={x_1, x_2, ..., x_n}. Our main results are the following. 1) Given a degree d expression f in F(X,X^{-1}) as a black-box, we obtain a randomized poly(n,d) algorithm to check whether f is an identically zero expression or not. The technical contribution is an Amitsur-Levitzki type theorem [A. S. Amitsur and J. Levitzki, 1950] for F(X, X^{-1}). This also yields a deterministic identity testing algorithm (and even an expression reconstruction algorithm) that is polynomial time in the sparsity of the input expression. 2) Given an expression f in F(X,X^{-1}) of degree D and sparsity s, as black-box, we can check whether f is identically zero or not in randomized poly(n,log s, log D) time. This yields a randomized polynomial-time algorithm when D and s are exponential in n

ATLTest: A White-Box Test Generation Approach for ATL Transformations

International audienceMDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the specification of such transformations is an error-prone task, techniques to guarantee their quality must be provided. Testing is a well-known technique for finding errors in programs. In this sense, adoption of testing techniques in the model transformation domain would be helpful to improve their quality. So far, testing of model transformations has focused on black-box testing techniques. Instead, in this paper we provide a white-box test model generation approach for ATL model transformations