Coverage Criteria for GUI Testing Based on Directed Graph for Window Navigation

KOSMATOV N,LEGEARD B,PEUREUX F,et al.Boundary coverage criteria for test generation from formal models[C]//Proc.of the 15th International Symposium on Software Reliability Engineering.Piscataway:IEEE Press,2004:139-150.[2] YU Y T,LAU M F.Comparing several coverage criteria for detecting faults in logical decisions[C]// Proc.of the 4th International Conf.on Quality Software.Piscataway:IEEE Press,2004:14-21.[3] GUPTA N,HEIDEPRIEM Z V.A new structural coverage criterion for dynamic detection of program invariants[C]//Proc.of the 18th IEEE International Conf.on Automated Software Engineering.Piscataway:IEEE Press,2003:49-58.[4] MENON A.A comprehensive framework for testing graphical user interfaces[D].Pittsburgh:University of Pittsburgh,2001.[5] TAO Jiang.A new approach in GUI testing[D].Minnesota:University of Minnesota,2002.[6] ZHU H,HALL P,MAY J.Software unit test coverage and adequacy[J].ACM Computing Surveys,1997,29(4):366-427.[7] BELLI F.Finite state testing and analysis of graphical user interfaces[C]// Proc.of the 12th International Symposium on Software Reliability Engineering.Piscataway:IEEE Press,2001:34-43.[8] WHITE L,ALMEZEN H,SASTRY S.Firewall regression testing of GUI sequences and their interactions[C]// Proc.of International Conf.on Software Maintenance.Piscataway:IEEE Press,2003:398-409.[9] 杜栓柱,谭建荣,陆国栋.基于界面构件关联图的软件功能测试技术[J].计算机研究与发展,2002,39(2):148-152.DU Shuanzhu,TAN Jianrong,LU Guodong.Software functional testing technology based on interface component relating chart[J].Journal of Computer Research and Development,2002,39 (2):148-152.[10] OSTRAND T,ANODIDE A,FOSTER H,et al.A visual test development environment for GUI systems[C]// Proc.of the ACM SIGSOFT International Symposium on Software Testing and Analysis[C].New York:ACM Press,1998:82-92.[11] PHAM H.Software reliability[M].Singapore:Springer-Verlag.2000:1-9.[12] HARROLD M J,OFFUTT A J,TEWARY K.An approach to fault modeling and fault seeding using the program dependence graph[J].Journal of Systems and Software,1997,36(3):273-296.[13] TAKAHASHI J,KAKUDA Y.Extended model-based testing toward high code coverage rate[C]// Proc.of the 7th International Conf.on Software Quality.London:Springer-Verlag Press,2002:310-320.