Hissah A. Ben Zayed, Mashael S. Maashi^*

Intelligent Automation & Soft Computing, Vol.29, No.1, pp. 307-318, 2021, DOI:10.32604/iasc.2021.017239

Abstract Software testing is a fundamental step in the software development lifecycle. Its purpose is to evaluate the quality of software applications. Regression testing is an important testing methodology in software testing. The purpose of regression testing is to validate the software after each change of its code. This involves adding new test cases to the test suite and running the test suite as the software changes, making the test suite larger. The cost and time of the project are affected by the test suite size. The challenge is to run regression testing with a smaller number of test cases and… More >

Yingfu Cai¹, Sultan Noman Qasem^2,3, Harish Garg⁴, Hamïd Parvïn^5,6,7,*, Kim-Hung Pho⁸, Zulkefli Mansor⁹

CMC-Computers, Materials & Continua, Vol.67, No.1, pp. 1225-1239, 2021, DOI:10.32604/cmc.2021.014699

Abstract An invariant can be described as an essential relationship between program variables. The invariants are very useful in software checking and verification. The tools that are used to detect invariants are invariant detectors. There are two types of invariant detectors: dynamic invariant detectors and static invariant detectors. Daikon software is an available computer program that implements a special case of a dynamic invariant detection algorithm. Daikon proposes a dynamic invariant detection algorithm based on several runs of the tested program; then, it gathers the values of its variables, and finally, it detects relationships between the variables based on a simple… More >

Aysh Alhroob^1,*, Wael Alzyadat², Ayad Tareq Imam¹, Ghaith M. Jaradat³

Intelligent Automation & Soft Computing, Vol.26, No.4, pp. 725-733, 2020, DOI:10.32604/iasc.2020.010106

Abstract Software program testing is the procedure of exercising a software component with a selected set of test cases as a way to discover defects and assess quality. Using software testing automation, especially the generating of testing data increases the effectiveness and efficiency of software testing as a whole. Instead of creating testing data from scratch, Big Data (BD) offers an important source of testing data. Although it is a good source, there is a need to select a proper set of testing data for the sake of selecting an optimal sub-domain input values from the BD. To refine the efficiency… More >

Siti Noor Hasanah Ghazali¹, Siti Salwah Salim^1,*, Irum Inayat², Siti Hafizah Ab Hamid¹

Computer Systems Science and Engineering, Vol.33, No.3, pp. 169-185, 2018, DOI:10.32604/csse.2018.33.169

Abstract In agile software development, project estimation often depends on group discussion and expert opinions. Literature claims that group discussion in risk analysis helps to identify some of the crucial issues that might affect development, testing, and implementation. However, risk prioritization often relies on individual expert judgment. Therefore, Risk Poker, a lightweight risk-based testing methodology in which risk analysis is performed through group discussion that outperforms the individual analyst’s estimation is introduced in agile methods. Keeping in view aforementioned benefits Risk Poker can offer, unfortunately, no study has been conducted to empirically prove its ability to improve the testing process to… More >

Thamer A. Alrawashed^1,*, Ammar Almomani², Ahmad Althunibat¹, Abdelfatah Tamimi¹

CMES-Computer Modeling in Engineering & Sciences, Vol.119, No.3, pp. 409-425, 2019, DOI:10.32604/cmes.2019.04681

Abstract Test complexity and test adequacy are frequently raised by software developers and testing agents. However, there is little research works at this aspect on specification-based testing at the use case description level. Thus, this research proposes an automatic test cases generator approach to reduce the test complexity and to enhance the percentage of test coverage. First, to support the infrastructure for performing automatic, this proposed approach refines the use cases using use case describing template and save it in the text file. Then, the saved file is input to the Algorithm of Control Flow Diagram (ACFD) to convert use case… More >