[1] |
王蓁蓁,软件测试理论初步框架[J].计算机科学,2014,41(3):12-16.
|
[2] |
CHEN T Y,CHEUNG S C,YIU S M.Metamorphic testing:a new approach for generating next test cases,HKUSTCS98-01[R].Hong Kong,China:Hong Kong University of Science and Technology,1998.
|
[3] |
TAO Qiuming,WU Wei,ZHAO Chen,et al.An automatic testing approach for compiler based on metamorphic testing technique[C]//Proceedings of the 17th Asia Pacific Software Engineering Conference.Sydney,Australia:[s.n.],2010:270-279.
|
[4] |
LE V,AFSHARI M,SU Zhendong.Compiler validation via equivalence modulo inputs[C]//Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation.New York,USA:ACM Press,2014:216-226.
|
[5] |
MURPHY C,RAUNAK M S,KING A,et al.On effective testing of health care simulation software[C]//Proceedings of the 3rd ACM Workshop on Software Engineering in Health Care.New York,USA:ACM Press,2011:40-47.
|
[6] |
JIANG Mingyue,CHEN T Y,KUO F C,et al.Testing central processing unit scheduling algorithms using metamorphic testing[C]//Proceedings of the 4th IEEE International Conference on Software Engineering and Service Science.Washington D.C.,USA:IEEE Press,2013:530-536.
|
[7] |
KUO F C,CHEN T Y,TAM W K.Testing embedded software by metamorphic testing:a wireless metering system case study[C]//Proceedings of IEEE International Conference on Local Computer Networks.Washington D.C.,USA:IEEE Press,2011:291-294.
|
[8] |
PULLUM L L,OZMEN O.Early results from metamorphic testing of epidemiological models[C]//Proceedings of IEEE International Conference on BioMedical Computing.Washington D.C.,USA:IEEE Press,2012:62-67.
|
[9] |
SEGURA S,HIERONS R M,BENAVIDES D,et al.Automated test data generation on the analyses of feature models:a metamorphic testing approach[C]//Proceedings of International Conference on Software Testing,Verification and Validation.Paris,France:[s.n.],2010:35-44.
|
[10] |
SEGURA S,HIERONS R M,BENAVIDES D,et al.Automated metamorphic testing on the analyses of feature models[J].Information and Software Technology,2011,53(3):245-258.
|
[11] |
ZHOU Zhiquan,TSE T H,KUO F C,et al.Automated functional testing of Web search engines in the absence of an Oracle,TR-2007-06[R].Hong Kong,China:Hong Kong University of Science and Technology,2007.
|
[12] |
ZHOU Zhiquan,XIANG Shaowen,CHEN T Y.Metamorphic testing for software quality assessment:a study of search engines[J].IEEE Transactions on Software Engineering,2016,42(3):264-284.
|
[13] |
ARUNA C,PRASAD R S R.Metamorphic relations to improve the test accuracy of multi precision arithmetic software applications[C]//Proceedings of International Conference on Advances in Computing,Communications and Informatics.New Delhi,India:[s.n.],2014:2244-2248.
|
[14] |
CASTRO-CABRERA C,MEDINA-BULO I.Application of metamorphic testing to a case study in Web services compositions[C]//Proceedings of ICETE’12.Rome,Italy:[s.n.],2012:168-181.
|
[15] |
DING Junhua,WU Tong,WU Dianxiang,et al.Metamorphic testing of a Monte Carlo modeling program[C]//Proceedings of the 6th International Workshop on Automation of Software Test.Honolulu,USA:[s.n.],2011:1-7.
|
[16] |
印鉴,陈忆群,张钢,搜索引擎技术研究与发展[J].计算机工程,2005,31(14):54-56.
|
[17] |
SEGURA S,DURa'N A,TROYA J,et al.A template-based approach to describing metamorphic relations[C]//Proceedings of IEEE/ACM International Workshop on Metamorphic Testing.Washington D.C.,USA:IEEE Press,2017:3-9.
|
[18] |
惠战伟,黄松,李辉,等,蜕变关系形式化描述与分解技术[J].计算机工程与设计,2016,37(2):405-412.
|
[19] |
周辉,曹兰芳.搜索引擎数据库更新策略比较分析[J].图书馆学研究,2012,19:50-55.
|
[20] |
李宜兵.基于搜索引擎网页排序算法研究[D].沈阳:沈阳理工大学,2011.
|
[21] |
茹立云,李智超,马少平.搜索引擎索引网页集合选取方法研究[J].计算机研究与发展,2014,51(10):2239-2247.
|