T++: a test case generator using a debugging information based technique for source code manipulation

2002 ◽  
Author(s):  
J. Gil ◽  
B. Holstein
Keyword(s):  
Source Code ◽  
Test Case

scholarly journals TEKNIK PENGUJIAN PERANGKAT LUNAK DALAM EVALUASI SISTEM LAYANAN MANDIRI PEMANTAUAN HAJI PADA KEMENTERIAN AGAMA PROVINSI JAWA TENGAH

2018 ◽  
Vol 9 (2) ◽  
pp. 731-746
Author(s):  
Danang Wahyu Utomo ◽  
Defri Kurniawan ◽  
Yani Parti Astuti
Keyword(s):  
Source Code ◽  
Likert Scale ◽  
User Acceptance ◽  
Black Box ◽  
Acceptance Testing ◽  
Test Case ◽  
Black Box Testing ◽  
White Box Testing

Permasalahan sistem layanan haji tidak hanya fokus pada antrian panjang pendaftar haji, namun juga pada layanan pantauan keberangkatan dan pemulangan, rencana perjalanan haji, layanan kesehatan, dan penyediaan peta shalawat bagi jamaah. Kementerian Agama Provinsi Jawa Tengah telah mengembangkan prototipe sistem mandiri layanan haji yang berfokus pada pantauan keberangkatan dan pemulangan, rencana perjalanan haji, jamaah sakit dan wafat, dan peta shalawat. Pada pengembangan sebelumnya evaluasi dilakukan hanya menggunakan test case kebutuhan fungsional. Evaluasi hanya mengecek apakah kebutuhan fungsional sudah di tambahkan pada prototipe sistem; bagaimana progres pengembangannya. Pada penelitian ini, kami mengusulkan teknik pengujian perangkat lunak untuk mengevaluasi keseluruhan prototipe sistem yang terdiri dari white box testing, black box testing, dan user acceptance testing. Teknik pengujian diusulkan untuk mengetahui bug dan kesalahan – kesalahan yang terjadi pada internal dan eksternal sistem. Selain itu, kami melibatkan para petugas TPHD untuk mendapatkan hasil evaluasi berdasarkan kebutuhan pengguna. Pada pengujian white box diperoleh bahwa source code memiliki derajat kompleksitas yang rendah, artinya sistem tidak terlalu banyak memberikan alternatif halaman. Pada pengujian black box diperoleh bahwa secara umum masukan dan luaran sistem telah sesuai dengan hasil yang diharapkan. Fitur dan informasi yang disediakan tidak memberikan makna ganda dalam penggunaannya. Pada pengujian UAT, kami menggunakan kuesioner dengan likert scale skala 5. Hasilnya, para responden setuju (diatas 56%) bahwa secara keseluruhan sistem layanan haji dapat membantu petugas TPHD. Meskipun, masih terdapat beberapa kelemahan yaitu, sistem kurang responsive dan fungsionalitas sistem perlu diperbaiki.

scholarly journals TFCWS: Testing Framework for composite web services.

2014 ◽  
Vol 13 (4) ◽  
pp. 4405-4415
Author(s):  
Deepali Diwase ◽  
Pujashree Vidap
Keyword(s):  
Web Services ◽  
Web Service ◽  
Response Times ◽  
Source Code ◽  
The Internet ◽  
Test Case ◽  
Test Cases ◽  
Testing Framework ◽  
Composite Web Service ◽  
Composite Web Services

In every business domain Web Services are more popular solutions to implement the software. Composite web service can be created by combining basic web services. Many unreliable web services are deployed on the internet. Hence, testing is required to ensure reliability. Software testers have great challenges to test web services. Source code of web services is unavailable. The Testing Framework is used to test web services without knowledge of its internal structure. In this paper, we have proposed a Testing Framework for Composite Web Services (TFCWS). It generates report which shows the total number of test cases executed for each web service with pass or fail status of each test case. It calculates the throughput of web service and response time of each test case. We have used web services response times for analysis of TFCWS, Soap UI and Storm.

scholarly journals Behaviour Preservation across Code Versions in Erlang

2018 ◽  
Vol 2018 ◽  
pp. 1-42 ◽  
Author(s):  
David Insa ◽  
Sergio Pérez ◽  
Josep Silva ◽  
Salvador Tamarit
Keyword(s):  
Open Source ◽  
Source Code ◽  
Test Suite ◽  
Test Case Generation ◽  
Test Case ◽  
Previous Version ◽  
Open Source Tool ◽  
Alternative Approach ◽  
Code Changes

In any alive and nontrivial program, the source code naturally evolves along the lifecycle for many reasons such as the implementation of new functionality, the optimization of a bottleneck, or the refactoring of an obscure function. Frequently, these code changes affect various different functions and modules, so it can be difficult to know whether the correct behaviour of the previous version has been preserved in the new version. In this paper, we face this problem in the context of the Erlang language, where most developers rely on a previously defined test suite to check the behaviour preservation. We propose an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and it introduces novel ideas such as allowing the programmer to choose one or more expressions of interest that must preserve the behaviour, or the recording of the sequences of values to which those expressions are evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.

scholarly journals A formal approach to testing programs in practice

2012 ◽  
Vol 9 (4) ◽  
pp. 1469-1491 ◽  
Author(s):  
Shaoying Liu ◽  
Wuwei Shen ◽  
Shin Nakajima
Keyword(s):  
Formal Specification ◽  
Source Code ◽  
Test Case ◽  
Ic Card ◽  
Formal Approach ◽  
Card System ◽  
Testing Approach ◽  
Result Analysis ◽  
Test Result

A program required to be tested in practice often has no available source code for some reason and how to adequately test such a program is still an open problem. In this paper, we describe a formal specification-based testing approach to tackle this challenge. The principal idea is first to formalize the informal requirements into formal operation specifications that take the interface scenarios of the program into account, and then utilize the specifications for test case generation and test result analysis. An example and case study of applying the approach to an IC card system is presented to illustrate its usage and analyze its performance.

Sign in / Sign up

Export Citation Format

Share Document