View graphs for analysis and testing of programs at different abstraction levels

This paper introduces view graphs, which allow representation of source code for program analysis and testing at different levels of abstraction. At a low level of abstraction, view graphs can be used for white-box analysis and testing, and at a high level of abstraction, they can be used for black-box analysis and testing. View graphs are thus an approach to integrate black-box and white-box techniques.

[1]  Daniel P. Siewiorek,et al.  A method to automate user interface testing using variable finite state machines , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[2]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[3]  Stefan Goßens.  Sichtgraphen: ein Konzept zur gezielten Untersuchung von Kontrollflussstrukturen , 2004 .

[4]  Tsong Yueh Chen,et al.  In black and white: an integrated approach to class-level testing of object-oriented programs , 1998, TSEM.

[5]  Alexandre Petrenko,et al.  Protocol testing: review of methods and relevance for software testing , 1994, ISSTA '94.

[6]  P. Gács,et al.  Algorithms , 1992 .

[7]  Frank Tip,et al.  A survey of program slicing techniques , 1994, J. Program. Lang..

[8]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[9]  Eduardo Valido-Cabrera.  Software reliability methods , 2006 .

[10]  Niklaus Wirth,et al.  Pascal User Manual and Report , 1991, Springer New York.

[11]  Alan C. Shaw,et al.  A prototyping environment for specifying, executing and checking communicating real‐time state machines , 1994, Softw. Pract. Exp..

[12]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.

[13]  Volker Gruhn,et al.  A graphical class representation for integrated black- and white-box testing , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[14]  Volker Gruhn,et al.  State of the art in testing components , 2003, Third International Conference on Quality Software, 2003. Proceedings..

[15]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[16]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[17]  Gregg Rothermel,et al.  A safe, efficient regression test selection technique , 1997, TSEM.

[18]  Hong Zhu,et al.  Software unit test coverage and adequacy , 1997, ACM Comput. Surv..

[19]  Anas N. Al-Rabadi,et al.  A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[20]  David L. Parnas,et al.  On the use of transition diagrams in the design of a user interface for an interactive computer system , 1969, ACM '69.

[21]  Behçet Sarikaya.  Conformance Testing: Architectures and Test Sequences , 1989, Comput. Networks.

[22]  Sami Beydeda.  INTEGRATING WHITE- AND BLACK-BOX TECHNIQUES FOR CLASS-LEVEL TESTING OBJECT-ORIENTED PROTOTYPES∗ , 2000 .

[23]  Stefan Gossens.  Enhancing system validation with behavioural types , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[24]  Mary Lou Soffa,et al.  Automated test oracles for GUIs , 2000, SIGSOFT '00/FSE-8.

[25]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[26]  Mario Dal Cin,et al.  Structural analysis of explicit fault-tolerant programs , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

[27]  Mariam Kamkar,et al.  An overview and comparative classification of program slicing techniques , 1995, J. Syst. Softw..

[28]  Sami Beydeda.  The self-testing COTS components (STECC) method , 2003 .

[29]  Lee J. White,et al.  Generating test cases for GUI responsibilities using complete interaction sequences , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[30]  Alfred V. Aho,et al.  An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours , 1991, IEEE Trans. Commun..

[31]  Fevzi Belli,et al.  Finite state testing and analysis of graphical user interfaces , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[32]  Volker Gruhn,et al.  Merging components and testing tools: the self-testing COTS components (STECC) strategy , 2003, 2003 Proceedings 29th Euromicro Conference.

[33]  Alan C. Shaw,et al.  Software Specification Languages Based on Regular Expressions , 1980 .

[34]  Mario Dal Cin,et al.  A view-based control flow metric , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..