Improving Branch Coverage for White-box Testing

2017 ◽  
Author(s):  
Myint Myitzu Aung ◽  
Kay Thi Win
Keyword(s):  
Branch Coverage ◽  
White Box Testing

Algorithm for Generating Short Sentences from Grammars Based on Branch Coverage Criterion

2011 ◽  
Vol 22 (11) ◽  
pp. 2564-2576
Author(s):  
Li-Xiao ZHENG ◽  
Zhi-Wu XU ◽  
Hai-Ming CHEN
Keyword(s):  
Branch Coverage ◽  
Coverage Criterion

APLIKASI KAIDAH "AL-'ADAH MUHAKKAMAH" DALAM KASUS PENETAPAN JUMLAH MAHAR

Al-MAJAALIS ◽  
2020 ◽  
Vol 8 (1) ◽  
pp. 57-85
Author(s):  
Kholid Saifulloh
Keyword(s):  
Human Nature ◽  
Common Sense ◽  
Legal Basis ◽  
Complete Understanding ◽  
Branch Coverage ◽  
Definition Of ◽  
Determining Factor

Al-'adah muhakkamah, literally ‘customary usage is the determining factor’,is one of the five universal maxims of Islamic jurisprudencewhich have a wide branch coverage agreed upon by the scholars.This maxim is built on the basis of custom and local wisdom that exists in every community, where this custom is continuously carried out by the community without any denial from them; it is precisely individuals who violate these customs will be considered "freaks". Therefore, Islam makes the customs of a community a legal basis as long as they fulfill the requirements stipulated by Sharia.The formulation of the problem in this study is about: (1) the definition of the al-'adah muhakkamah maxim, (2) the conditions for applying it, and (3) its application in determining the amount and type of dowry. This paper tries to study a jurisprudence principle and apply it to a jurisprudence problem so as to form a complete understanding of the rules as well as how to apply them in the branch of jurisprudence. The conclusions of this study are: (1) that 'adah is something that happens repeatedly which is accepted by common sense and human nature, (2) an 'adah can become a legal basis if it does not contradict the arguments of the Sharia, it is more often done than abandoned, there is no words of the' adah doer who excludes, and the 'adah must exist at the time the covenant occurs,(3) the rule of al-'adah muhakkamah can be applied to determine the number and types ofmis^ldowries, as well as musamma dowries which are absolutely stated.

Computerizing Values and Accessing Values via SMS

2020 ◽  
Vol 10 (2) ◽  
pp. 76-81
Author(s):  
Imanuel Revelino Murmanto ◽  
Dina Fitria Murad
Keyword(s):  
Design Method ◽  
System Development ◽  
Student Learning Outcomes ◽  
System Level ◽  
Development Lifecycle ◽  
Black Box Testing ◽  
White Box Testing ◽  
Student Grades ◽  
Visual Basic 6.0 ◽  
Application Programs

The purpose of this study was to design an application to provide information to parents of SDK III BPK Penabur students regarding the exam schedule, and student grades via SMS. The design method used is the System Development Lifecycle method. The application design is done using the Visual Basic 6.0 programming language for designing application programs and interfaces and MySQL for designing the database. This application consists of several modules, namely the module processing data, processing values, processing SMS, and reports. The module is integrated to form a Computerized Value application and Value Access via SMS. In testing the application of Computerized Values ​​and Value Accessing Through SMS, white box testing and Black Box Testing methods are used. Tests are carried out at the module, program and system level. In addition, user testing is also done. The advantages of the application of Computerized Values ​​and Value of Access Through SMS help parents to obtain information about student learning outcomes, helping teachers to process student grades

scholarly journals Implementasi Costumer Relationship Management (CRM) Pada Sistem Informasi Penjualan Ban Di Toko Lingga Ban Berbasis Web

2018 ◽  
Vol 12 (1) ◽  
Author(s):  
Ipan Supandi ◽  
Fahmi Yusuf ◽  
Fauziah F
Keyword(s):  
Information System ◽  
Data Storage ◽  
Customer Relationship Management ◽  
Effective Means ◽  
Relationship Management ◽  
Customer Relationship ◽  
Programming Technique ◽  
Web Based ◽  
Testing Method ◽  
White Box Testing

The store Lingga Tires is a trademark unit engaged in the sale of the tires. The store Lingga Tires only rely on the conventional sales namely the subscriber must come into the store and doing transaction at the store. This makes the customer became less know the products in the market and the existing promotion. The store Lingga Tires want to provide a satisfactory services with want to deliver innovation and convenience for customers. To store the Lingga Tires need a means to support the sales transaction and media promotions effective means of implementing the method Customer Relationship Management (CRM) web-based. CRM is one of the means to build a good relationship with customers and to acquire new customers. Web-based Sales information system is built by the method of software development waterfall , the language of PHP programming technique, MySQL database as data storage and testing method using the black box & white box testing this system can be used by the administrator, customers and direction. The administrator is the person who manages the whole system. Customers can make your reservation, payment confirmation and have points shopping. The direction of instructions view report, this system is expected to be a solution to overcome the problems and to be able to increase sales in the Store Lingga Tires.Key Words: Information System,Sale,CRM, Web, Store Lingga Tires

scholarly journals Selection of Best Test Cases using Support Vector Machine for ARPT

2019 ◽  
Vol 8 (3) ◽  
pp. 4265-4271
Keyword(s):  
Support Vector Machine ◽  
Software Testing ◽  
Support Vector ◽  
Test Cases ◽  
Testing Strategy ◽  
Random Partition ◽  
Code Coverage ◽  
Time Consumption ◽  
Branch Coverage ◽  
Selection Of

Software testing is an essential activity in software industries for quality assurance; subsequently, it can be effectively removing defects before software deployment. Mostly good software testing strategy is to accomplish the fundamental testing objective while solving the trade-offs between effectiveness and efficiency testing issues. Adaptive and Random Partition software Testing (ARPT) approach was a combination of Adaptive Testing (AT) and Random Partition Approach (RPT) used to test software effectively. It has two variants they are ARPT-1 and ARPT-2. In ARPT-1, AT was used to select a certain number of test cases and then RPT was used to select a number of test cases before returning to AT. In ARPT-2, AT was used to select the first m test cases and then switch to RPT for the remaining tests. The computational complexity for random partitioning in ARPT was solved by cluster the test cases using a different clustering algorithm. The parameters of ARPT-1 and ARPT-2 needs to be estimated for different software, it leads to high computation overhead and time consumption. It was solved by Improvised BAT optimization algorithms and this approach is named as Optimized ARPT1 (OARPT1) and OARPT2. By using all test cases in OARPT will leads to high time consumption and computational overhead. In order to avoid this problem, OARPT1 with Support Vector Machine (OARPT1-SVM) and OARPT2- SVM are introduced in this paper. The SVM is used for selection of best test cases for OARPT-1 and OARPT-2 testing strategy. The SVM constructs hyper plane in a multi-dimensional space which is used to separate test cases which have high code and branch coverage and test cases which have low code and branch coverage. Thus, the SVM selects the best test cases for OARPT-1 and OARPT-2. The selected test cases are used in OARPT-1 and OARPT-2 to test software. In the experiment, three different software is used to prove the effectiveness of proposed OARPT1- SVM and OARPT2-SVM testing strategies in terms of time consumption, defect detection efficiency, branch coverage and code coverage.

scholarly journals Bi-Objective Constraint and Hybrid Optimizer for the Test Case Prioritization

2019 ◽  
Vol 8 (6) ◽  
pp. 3436-3448
Keyword(s):  
Taylor Series ◽  
Optimization Algorithm ◽  
Fitness Function ◽  
Regression Testing ◽  
Test Case ◽  
Test Cases ◽  
Test Case Prioritization ◽  
Optimal Test ◽  
Average Percentage ◽  
Branch Coverage

Regression testing is performed to make conformity that any changes in software program do not disturb the existing characteristics of the software. As the software improves, the test case tends to grow in size that makes it very costly to be executed, and thus the test cases are needed to be prioritized to select the effective test cases for software testing. In this paper, a test case prioritization technique in regression testing is proposed using a novel optimization algorithm known as Taylor series-based Jaya Optimization Algorithm (Taylor-JOA), which is the integration of Taylor series in Jaya Optimization Algorithm (JOA). The optimal test cases are selected based on the fitness function, modelled depending on the constraints, namely fault detection and branch coverage. The experimentation of the proposed Taylor-JOA is performed with the consideration of the evaluation metrics, namely Average Percentage of Fault Detected (APFD) and the Average Percentage of Branch Coverage (APBC). The APFD and the APBC of the proposed Taylor-JOA is 0.995, and 0.9917, respectively, which is high as compared to the existing methods that show the effectiveness of the proposed Taylor-JOA in the task of test case prioritization

Sign in / Sign up

Export Citation Format

Share Document