Coverage Criteria for State-Based Testing

State-based testing (SBT) is known as deriving test cases from state machines and examining the dynamic behaviour of the system. It helps to identify various types of state-based faults within a system under test (SUT). For SBT, test cases are generated from state chart diagrams based on various coverage criteria such as All Transition, Round Trip Path, All Transition Pair, All Transition Pair with length 2, All Transition Pair with length 3, All Transition Pair of length 4 and Full Predicate. This article discuses a number of coverage criteria at the design level to find out various types of state-based faults in SBT. First, the intermediate graph is generated from a state chart diagram using an XML parser. The graph is traversed based on the given coverage criteria to generate a sequence of test cases. Then, mutation testing and sneak-path testing are applied on the generated test cases to check the effectiveness of the generated test suite. These two are common methods for checking the effectiveness of test cases. Mutation testing helps in the number of seeded errors covered whereas sneak-path testing basically helps to examine the unspecified behavior of the system. In round trip path (RTP), it is not possible to cover all paths. All transition is not an adequate level of fault detection with more execution time compared to all transition pair (ATP) with length 4 (LN4). In the discussion, ATP with LN4 is the best among all coverage criteria. SBT can able to detect various state-based faults-incorrect transition, missing transition, missing or incorrect event, missing or incorrect action, extra missing or corrupt state, which are difficult to detect in code-based testing. Most of these state-based faults can be avoided, if the testing is conducted at the early phase of design.

Pengujian Unit Plugin Pemberian Anotasi Efek Secara Semantik pada Proses Bisnis BPMN

Business process model was created to make it easier for business process stakeholders to communicate and discuss the structure of the process more effectively and efficiently. Business process models can also be business artifacts and media that can be analyzed further to improve and maintain organizational competitiveness. To analyze business processes in a structured manner, the effect/results of the execution of business processes will be one of the important information. The effect/result of the execution of certain activities or a business process as a whole are useful for managing business processes, including for improvements related to future business processes. This effect annotation approach needs to be supported by business process modeling tools to assist business analysts in managing business processes properly. In previous research, the author has developed a plugin that supports business analysts to describe the effects semantically attached to activities in the Business Process Model and Notation (BPMN) business process model. In this paper, the author describes the unit testing process and its results on the plugin of semantic effect annotation that have been developed. Unit testing was carried out using the basic path testing technique and has obtained three test paths. The results of unit test for plugin are also described in this paper.

Monitoring Fasilitas Pertamanan Kota Gorontalo Berbasis Sistem Informasi Geografis

City Park is part of the city's green open space, its existence has the meaning of securing natural ecosystems that have a great influence on the existence and survival of the city itself. The number of city parks in the city of Gorontalo also requires little cleaning and maintenance personnel. To find out the performance of officers in the field, we need a system that is able to monitor the results of the work, making it easier for the relevant offices to control the conditions, facilities and functions of the city park. This research is intended to build a geographic information system that will be used for monitoring park facilities equipped with related information that is easily accessible by the local government, especially the City Planning and Landscaping Office of Gorontalo City. This study uses the programming language PHP (PHP: Hypertext Preprocessor) and MySQL database, using descriptive methods, then implement this design to find out and measure the level of ease, speed of information, and accuracy of information. The results of the study based on the data obtained were then tested using the White Box Testing method and Bases Path Testing. From the data obtained then a flowgraph design was made. Flowgraph that is tested is the process of finding a location of a garden. From the results of the calculation of the White Box Testing and Bases Path Testing test methods, the results of the calculation results obtained that have met the requirements in terms of software feasibility. Based on the results of testing with the White Box Testing, and Base Path Testing method above, it can be concluded that true system logic can produce a system that is effective and efficiently logically, and is expected to facilitate the processing of said data.

SISTEM PENDUKUNG KEPUTUSAN PENILAIAN LOMBA PELAYANAN PUBLIK DAN ADMINSTRASI DESA MENGGUNAKAN METODE ADDITIVE RATIO ASSESSMENT (ARAS)

Untuk mewujudkan tujuan desa yang mandiri dan makmur perlu adanya penyelesaian permasalahan yang bersentuhan dengan kondisi administrasi desa.Administrasi desa yang tidak baik akan memberikan dampak yang kurang baik pula pada proses pemerintahan yang berjalan. Sehingga setiap tahunnya pemerintah kecamtan buntulia melakukan penilaian tertib administrasi pada desa-desa yang ada di kecamatan buntulia. Penilaian yang optimal tentunya perlu di dukung dengan aplikasi yang mampu membantu dalam proses penilaian.Sehingga peneliti mengusulkan Sistem Pendukung Keputusan menggunakan metode ARAS. SPK yangdigunakan menggunakan Metode ARAS. Adapun bahasa pemrograman yang digunakan adalah PHP, dan MYSQL sebagai databasenya. Sistem Pendukung Keputusan yang sudah dibuat dapat membantu pihak pengambil keputusan dalam menentukan pemenang lomba dengan tepat . Hal ini dibuktikan dengan hasil pengujian yang dilakukan dengan metode white box testing dan bases path testing yang menghasilkan nilai V(G) = CC, dimana V(G) = 5 dan CC = 5, sehingga didapat bahwa logika flowchart perhitungan normalisasi dan perankingan benar dan berdasarkan pengujian black box yang meliputi uji input proses dan output dengan mengacu pada rancangan perangkat lunak telah terpenuhi dengan hasil sesuai dengan rancangan. Metode yang digunakan dalam penelitian ini adalah metode ARA

SISTEM PAKAR DETEKSI KUALITAS AIR DENGAN METODE FORWARD CHAINING PADA LABORATORIUM “AQUARYAN” MARISA

Air merupakan kebutuhan utama bagi proses kehidupan di bumi, sehingga tidak ada kehidupan seandainya di bumi tidak ada air. Namun demikian, air dapat menjadi malapetaka bilamana tidak tersedia dalam kondisi yang benar, baik kualitas maupun kuantitasnya. Air yang relatif bersih sangat didambakan oleh manusia, baik untuk keperluan hidup sehari-hari, untuk keperluan industri, keperluan pertanian dan lain sebagainya. Sehingga secara kualitas, sumber daya air telah mengalami penurunan. Demikian pula secara kuantitas, yang sudah tidak mampu memenuhi kebutuhan yang terus meningkat. Oleh sebab itu dibutuhkan seorang pakar yang dapat menangani masalah kualitas air. Karena sistem ini adalah milik instansi maka dari itu sistem pakar ini merupakan sistem pakar yang diperuntukkan untuk masyarakat Pohuwato sebagai tempat kami melakukan penelitian. Hasil pengujian yang dilakukan dengan metode white box testing dan bases path testing yang menghasilkan nilai V(G) = CC, dimana V(G) = 4 dan CC = 4, sehingga didapat bahwa logika flowchart perhitungan vektor S dan Vektor V serta perankingan adalah benar dan berdasarkan pengujian black box yang meliputi uji input proses dan output dengan mengacu pada rancangan perangkat lunak yang sudah dibuat telah terpenuhi dengan hasil sesuai dengan rancangan.

V- Model untuk Pengembangan Sistem Informasi Manajemen Ruang Rapat

<p class="Abstrak">Pengelolaan peminjaman ruangan yang baik, dapat memberikan informasi yang dapat diakses secara <em>real-time</em> sehingga akan mempermudah pengguna untuk mengetahui informasi yang tersedia perihal ketersediaan ruangan.</p><p class="Abstrak">Pemindahan jadwal secara mendadak karena kesalahan informasi ruangan mengakibatkan terjadinya bentrok dengan jadwal lain. Kesalahan informasi menyebabkan agenda yang telah direncanakan sebelumnya tertunda. Solusi dari permasalahan peminjaman ruang pertemuan adalah penyebaran informasi secara <em>real-time</em> dan dapat diakses oleh tiap pengguna. Sistem berbasis <em>web</em> dibutuhkan untuk dapat memberikan informasi peminjaman secara <em>real-time</em> sehingga kesalahan informasi dapat diperkecil. Penelitian ini bertujuan untuk melakukan perencangan dan pembangunan sistem berbasis web untuk mengelola peminjaman ruangan. Model pembangunan aplikasi yang digunakan adalah V-Model dengan pendekatan terstruktur. V-Model meliputi aktivitas spesifikasi kebutuhan, architectural design, component design, implementasi kode hingga pengujian. <em>Basis Path Testing</em> menghasilkan dua puluh kasus uji yang seleuruhnya telah teruji dengan baik. Hasil uji dari <em>Validation Testing</em> menunjukan hasil yang valid yang telah dilakukan kepada tujuh fungsi yang dimiliki oleh sistem.</p><p class="Abstrak"> </p><p class="Abstrak"><em><strong>Abstract</strong></em></p><p class="Abstrak"><em>An organization needs good meeting room booking management that could be accessed in real-time. Convenient access for meeting room information will make searching activities for the meeting room availability in an organization easier. The sudden change in schedule due to misinformation resulted in a conflict with another schedule. Incorrect information can make a previously planned agenda to be delayed. The solution of meeting room booking management problems is to provide all departments in the organization with real-time information about the room that had been booked. Using the website as a means for disseminating room information can make incorrect information to be eliminated. This study aims to design and build a room booking management website to help the organization manage its room information. V-Model development used as a model to build the meeting room booking management website. In this study, V-Model is used with structural system design method. The V-Model included the requirements specification, architectural design, component design, code implementation to testing. The Basis Path Testing provided twenty test cases which had been thoroughly tested. Test results from Validation Testing showed valid results that have been tested on the seven functions owned by the system.</em></p>

Pengembangan Fitur E-Matur dengan V-Model sebagai Alat Pengaduan Publik untuk Website Badan Kepegawaian Negara

<p class="Abstrak">Bagian Informasi Kepegawaian dan Komunikasi merupakan sebuah divisi yang ada pada Kantor Regional II Badan Kepegawaian Negara Surabaya. Layanan pengaduan publik oleh Bagian Informasi Kepegawaian dan Komunikasi melalui website memerlukan fitur pengelolaan. Penelitian pengembangan ini menggunakan metode V-Model. Proses pengujian yang dilakukan meliputi <em>unit testing</em>, <em>integration testing</em>, <em>system testing</em>, dan <em>acceptance testing</em>. <em>Unit testing</em> dilakukan dengan basis <em>path testing</em> dan menghasilkan <em>4 independent path</em> dari perhitungan <em>cyclomatic complexity</em> pada kasus uji unit addPIC. <em>Integration testing</em> pada kasus uji fungsi addPIC dari <em>class controller</em> admController dengan fungsi insertPIC dari <em>class</em> <em>model</em> admModel menunjukkan hasil valid. <em>System testing</em> dilakukan terhadap 28 fungsi pada sistem, yang menunjukkan hasil valid. <em>Acceptance testing</em> dilakukan terhadap <em>stakeholder</em> atau <em>user</em> menggunakan <em>black box</em> testing menunjukkan hasil bahwa <em>stakeholder</em> menerima fungsi dalam sistem yang dibuat dan telah sesuai dengan kebutuhan fungsional pada dokumen elisitasi kebutuhan sistem.</p><p class="Abstrak"> </p><p class="Abstrak"><em><strong>Abstract</strong></em></p><p class="Abstract"><em>Staff Information and Communication Division is one of division in State Staffing Agency Regional Office II Surabaya. Public complaint service handled by Staff Information and Communication Division through website require management features. This development research used V-Model method. The testing process includes unit testing, integration testing, system testing, and acceptance testing. Unit testing used the base path testing that produces 4 independent paths from the calculation of cyclomatic complexity in the addPIC unit test case. Integration testing in the test case of the addPIC function from controller class admController with the insertPIC function from model class admModel shows valid results. System testing performed on the 28 system functions show a valid result. Acceptance testing conducted against stakeholders or users using black box testing indicates that the stakeholders have received the system functions and had been in accordance with the functional requirements that exist in the document elicitation system requirements.</em></p><p class="Abstrak"><em><strong><br /></strong></em></p>