메뉴 건너뛰기




Volumn 53, Issue 7, 2011, Pages 774-788

An automated framework for software test oracle

Author keywords

Artificial neural networks; I O Relationship Analysis; Mutation testing; Software test oracle

Indexed keywords

ARTIFICIAL NEURAL NETWORK; AUTOMATED TEST; COMPARATIVE STUDIES; EVALUATION FRAMEWORK; GENERATION PROCESS; I/O RELATIONSHIP ANALYSIS; MISCLASSIFICATION ERROR; MUTATION TESTING; OUTPUT DOMAIN; RELATIONSHIP ANALYSIS; SOFTWARE TEST; SOFTWARE TEST ORACLE; TEST ORACLES;

EID: 79955055107     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2011.02.006     Document Type: Article
Times cited : (59)

References (52)
  • 2
    • 0033924669 scopus 로고    scopus 로고
    • What is software testing? And why is it so hard?
    • DOI 10.1109/52.819971
    • J.A. Whittaker What is software testing? And why is it so hard? IEEE Software 17 2000 70 79 (Pubitemid 30527451)
    • (2000) IEEE Software , vol.17 , Issue.1 , pp. 70-79
    • Whittaker, J.A.1
  • 10
    • 0031366096 scopus 로고    scopus 로고
    • Planning efficient software tests
    • M.S. Phadke Planning efficient software tests CrossTalk 10 10 1997 11 15
    • (1997) CrossTalk , vol.10 , Issue.10 , pp. 11-15
    • Phadke, M.S.1
  • 12
    • 0000714233 scopus 로고    scopus 로고
    • On the expected number of failures detected by subdomain testing and random testing
    • T.Y. Chen On the expected number of failures detected by subdomain testing and random testing IEEE Transactions on Software Engineering 22 2 1996 109 119 (Pubitemid 126771661)
    • (1996) IEEE Transactions on Software Engineering , vol.22 , Issue.2 , pp. 109-119
    • Chen, T.Y.1    Yu, Y.T.2
  • 17
    • 0035481250 scopus 로고    scopus 로고
    • On comparisons of random, partition, and proportional partition testing
    • DOI 10.1109/32.962563
    • S.C. Ntafos On comparisons of random, partition, and proportional partition testing IEEE Transactions on Software Engineering 27 2001 949 960 (Pubitemid 33048253)
    • (2001) IEEE Transactions on Software Engineering , vol.27 , Issue.10 , pp. 949-960
    • Ntafos, S.C.1
  • 22
    • 0032022243 scopus 로고    scopus 로고
    • Using test oracles generated from program documentation
    • D.K. Peters, and D.L. Parnas Using test oracles generated from program documentation IEEE Transactions on Software Engineering 24 1998 161 173 (Pubitemid 128740273)
    • (1998) IEEE Transactions on Software Engineering , vol.24 , Issue.3 , pp. 161-173
    • Peters, D.K.1    Parnas, D.L.2
  • 23
    • 0031078267 scopus 로고    scopus 로고
    • Investigating the influence of formal methods
    • S.L. Pfleeger, and L. Hatton Investigating the influence of formal methods Computer 30 1997 33 43 (Pubitemid 127556434)
    • (1997) Computer , vol.30 , Issue.2 , pp. 33-43
    • Pfleeger, S.L.1    Hatton, L.2
  • 24
    • 0035841501 scopus 로고    scopus 로고
    • Software testing using model programs
    • DOI 10.1002/spe.409
    • L.I. Manolache, and D.G. Kourie Software testing using model programs Software, Practice and Experience 31 2001 1211 1236 (Pubitemid 33080539)
    • (2001) Software - Practice and Experience , vol.31 , Issue.13 , pp. 1211-1236
    • Manolache, L.I.1    Kourie, D.G.2
  • 25
    • 22944461684 scopus 로고    scopus 로고
    • Black-box testing with info-fuzzy networks
    • M. Last, A. Kandel, H. Bunke (Eds.) World Scientific
    • M. Last, M. Freidman, Black-box testing with info-fuzzy networks, in: M. Last, A. Kandel, H. Bunke (Eds.), Artificial Intelligence Methods in Software Testing, World Scientific, 2004, pp. 21-50.
    • (2004) Artificial Intelligence Methods in Software Testing , pp. 21-50
    • Last, M.1    Freidman, M.2
  • 28
    • 33646690476 scopus 로고    scopus 로고
    • On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC
    • DOI 10.1016/j.infsof.2005.05.003, PII S0950584905000807
    • M.R. Woodward, and M.A. Hennell On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC Information and Software Technology 48 2006 433 440 (Pubitemid 43740479)
    • (2006) Information and Software Technology , vol.48 , Issue.7 , pp. 433-440
    • Woodward, M.R.1    Hennell, M.A.2
  • 31
    • 52049106859 scopus 로고    scopus 로고
    • Automatic, evolutionary test data generation for dynamic software testing
    • A.A. Sofokleous, and A.S. Andreou Automatic, evolutionary test data generation for dynamic software testing Journal of Systems and Software 81 2008 1883 1898
    • (2008) Journal of Systems and Software , vol.81 , pp. 1883-1898
    • Sofokleous, A.A.1    Andreou, A.S.2
  • 32
    • 13844299010 scopus 로고    scopus 로고
    • Automating regression testing for evolving GUI software
    • DOI 10.1002/smr.305
    • A. Memon, A. Nagarajan, and Q. Xie Automating regression testing for evolving GUI software Journal of Software Maintenance and Evolution 17 2005 27 64 (Pubitemid 40245389)
    • (2005) Journal of Software Maintenance and Evolution , vol.17 , Issue.1 SPEC. ISS. , pp. 27-64
    • Memon, A.1    Nagarajan, A.2    Xie, Q.3
  • 33
    • 79955057089 scopus 로고    scopus 로고
    • Automated GUI regression testing using AI planning
    • M. Last, A. Kandel, H. Bunke (Eds.) World Scientific
    • A.M. Memon, Automated GUI regression testing using AI planning, in: M. Last, A. Kandel, H. Bunke (Eds.), Artificial Intelligence Methods in Software Testing, World Scientific, 2004, pp. 51-99.
    • (2004) Artificial Intelligence Methods in Software Testing , pp. 51-99
    • Memon, A.M.1
  • 36
    • 33847247249 scopus 로고    scopus 로고
    • Neural-network-based approaches for software reliability estimation using dynamic weighted combinational models
    • DOI 10.1016/j.jss.2006.06.017, PII S0164121206001737
    • Y.-S. Su, and C.-Y. Huang Neural-network-based approaches for software reliability estimation using dynamic weighted combinational models Journal of Systems and Software 80 2007 606 615 (Pubitemid 46329123)
    • (2007) Journal of Systems and Software , vol.80 , Issue.4 , pp. 606-615
    • Su, Y.-S.1    Huang, C.-Y.2
  • 41
    • 0036157249 scopus 로고    scopus 로고
    • Using a neural network in the software testing process
    • DOI 10.1002/int.1002
    • M. Vanmali, M. Last, and A. Kandel Using a neural network in the software testing process International Journal of Intelligent Systems 17 2002 45 62 (Pubitemid 34103766)
    • (2002) International Journal of Intelligent Systems , vol.17 , Issue.1 , pp. 45-62
    • Vanmali, M.1    Last, M.2    Kandel, A.3
  • 44
    • 33750708220 scopus 로고    scopus 로고
    • Neural networks based automated test oracle for software testing
    • Springer Verlag, Heidelberg, D-69121, Germany, Hong Kong, China
    • Y. Mao, F. Boqin, Z. Li, L. Yao, Neural networks based automated test oracle for software testing, in: Proceedings of the 13th International Conference Neural Information Processing, Springer Verlag, Heidelberg, D-69121, Germany, Hong Kong, China, 2006, pp. 498-507.
    • (2006) Proceedings of the 13th International Conference Neural Information Processing , pp. 498-507
    • Mao, Y.1    Boqin, F.2    Li, Z.3    Yao, L.4
  • 45
    • 34248191966 scopus 로고    scopus 로고
    • Oracle model based on RBF neural networks for automated software testing
    • Y. Lu, and M. Ye Oracle model based on RBF neural networks for automated software testing Information Technology Journal 6 2007 469 474 (Pubitemid 46707259)
    • (2007) Information Technology Journal , vol.6 , Issue.3 , pp. 469-474
    • Lu, Y.1    Ye, M.2
  • 46
    • 79955060907 scopus 로고    scopus 로고
    • Artificial neural networks as multi-networks automated test oracle, Automated Software Engineering
    • S.R. Shahamiri, W.M.N.W. Kadir, S. Ibrahim, S.Z. Mohd-Hashim, Artificial neural networks as multi-networks automated test oracle, Automated Software Engineering, in preparation.
    • Preparation
    • Shahamiri, S.R.1    Kadir, W.M.N.W.2    Ibrahim, S.3    Mohd-Hashim, S.Z.4
  • 48
    • 77958597431 scopus 로고    scopus 로고
    • first ed. Amirkabir Technology University Tehran
    • M.B. Menhaj Basics of Neural Networks first ed. 2001 Amirkabir Technology University Tehran
    • (2001) Basics of Neural Networks
    • Menhaj, M.B.1
  • 49
    • 0036888053 scopus 로고    scopus 로고
    • Comparison of artificial neural network and regression models for estimating software development effort
    • DOI 10.1016/S0950-5849(02)00128-3, PII S0950584902001283
    • A. Heiat Comparison of artificial neural network and regression models for estimating software development effort Information and Software Technology 44 2002 911 922 (Pubitemid 35276496)
    • (2002) Information and Software Technology , vol.44 , Issue.15 , pp. 911-922
    • Heiat, A.1
  • 52
    • 1642601072 scopus 로고    scopus 로고
    • second ed., Sams Publishing
    • R. Patton, Software Testing, second ed., Sams Publishing, 2005.
    • (2005) Software Testing
    • Patton, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.