DocumentCode :
2662283
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
Volume :
2
fYear :
2010
fDate :
3-5 Oct. 2010
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICSTE.2010.5608808
Filename :
5608808
Link To Document :
بازگشت