Title :
A Single-Network ANN-based Oracle to verify logical software modules
Author :
Shahamiri, Seyed Reza ; Kadir, Wan M N Wan ; Ibrahim, Suhaimi
Author_Institution :
Dept. of Software Eng., Uneversiti Teknol. Malaysia, Skudai, Malaysia
Abstract :
Test Oracle is a mechanism to determine if an application executed correctly. In addition, it may be difficult to verify logical software modules due to the complexity of their structures. In this paper, an attempt has been made to study the applications of Artificial Neural Networks as Single-Network Oracles to verify logical modules. First, the logical module under test was modeled by the neural network using a training dataset generated based on the software specifications. Next, the proposed approach was applied to test a subject-registration application; meanwhile, the quality of the proposed oracle is measured by assessing its accuracy, precision, misclassification error and practicality in practice, using mutation testing by implementing two different versions of the case study: a Golden Version and a Mutated Version. The results indicate that neural networks may be reliable and applicative as oracles to verify logical modules.
Keywords :
artificial intelligence; neural nets; program testing; program verification; artificial neural networks; logical software module verification; mutation testing; single-network ANN-based oracle; subject-registration application; Accuracy; Artificial neural networks; Neurons; Software; Software testing; Training; artificial neural networks; automated test oracles; logical software modules; mutation testing; software testing;
Conference_Titel :
Software Technology and Engineering (ICSTE), 2010 2nd International Conference on
Conference_Location :
San Juan, PR
Print_ISBN :
978-1-4244-8667-0
Electronic_ISBN :
978-1-4244-8666-3
DOI :
10.1109/ICSTE.2010.5608808