Using algebraic specifications in software testing: A case study on the software of an automatic subway

1993 ◽  
Vol 21 (3) ◽  
pp. 229-244 ◽  
Author(s):  
P Dauchy ◽  
M.-C Gaudel ◽  
B Marre
2013 ◽  
Vol 22 (2) ◽  
pp. 311-333 ◽  
Author(s):  
Pietro Braione ◽  
Giovanni Denaro ◽  
Andrea Mattavelli ◽  
Mattia Vivanti ◽  
Ali Muhammad

Author(s):  
Jihyun Lee ◽  
Sungwon Kang

For software testing, it is well known that the architecture of a software system can be utilized to enhance testability, fault detection and error locating. However, how much and what effects architecture-based software testing has on software testing have been rarely studied. Thus, this paper undertakes case study investigation of the effects of architecture-based software testing specifically with respect to fault detection and error locating. Through comparing the outcomes with the conventional testing approaches that are not based on test architectures, we confirm the effectiveness of architecture-based software testing with respect to fault detection and error locating. The case studies show that using test architecture can improve fault detection rate by 44.1%–88.5% and reduce error locating time by 3%–65.2%, compared to the conventional testing that does not rely on test architecture. With regard to error locating, the scope of relevant components or statements was narrowed by leveraging test architecture for approximately 77% of the detected faults. We also show that architecture-based testing could provide a means of defining an exact oracle or oracles with range values. This study shows by way of case studies the extent to which architecture-based software testing can facilitate detecting certain types of faults and locating the errors that cause such faults. In addition, we discuss the contributing factors of architecture-based software testing which enable such enhancement in fault detection and error locating.


2014 ◽  
Vol 258 ◽  
pp. 122-139 ◽  
Author(s):  
Ramón Sagarna ◽  
Alexander Mendiburu ◽  
Iñaki Inza ◽  
Jose A. Lozano

Author(s):  
Ilkka Tervonen ◽  
Antti Haapalahti ◽  
Lasse Harjumaa ◽  
Jouni Simila
Keyword(s):  

2022 ◽  
pp. 1635-1651
Author(s):  
Abhishek Pandey ◽  
Soumya Banerjee

Software testing is essential for providing error-free software. It is a well-known fact that software testing is responsible for at least 50% of the total development cost. Therefore, it is necessary to automate and optimize the testing processes. Search-based software engineering is a discipline mainly focussed on automation and optimization of various software engineering processes including software testing. In this article, a novel approach of hybrid firefly and a genetic algorithm is applied for test data generation and selection in regression testing environment. A case study is used along with an empirical evaluation for the proposed approach. Results show that the hybrid approach performs well on various parameters that have been selected in the experiments.


Sign in / Sign up

Export Citation Format

Share Document