INFT 824: Analysis of Software for Testing
INFT 821 -- Special Topics in Software Engineering
Reading List -- Fall 1999
Jeff Offutt
I. BACKGROUND
- Shari Lawrence Pfleeger,
``Guidelines for Applying Research Results'',
IEEE Software,
V. 14, N. 3, May/June 1997, 102--104.
- Testing concepts (transparencies).
- Parsing -- ``The Unix Programming Environment'',
Kernighan and Pike, Ch. 8, pp 234 -- 240.
II. SOFTWARE REPRESENTATION METHODS
A. Control flow graphs
- Transparencies.
- R. Ferguson and B. Korel,
``The Chaining Approach for Software Test Data Generation'',
ACM Transactions on Software Engineering and Methodology,
January 1996, V. 5, N. 1, 63--85.
- G. Rothermel and M. J. Harrold,
``A Safe, Efficient Regression Test Selection Technique'',
ACM Transactions on Software Engineering and Methodology,
April 1997, V. 6, N. 2, 173--85.
B. Data flow graphs
- P. G. Frankl and E. J. Weyuker,
``An Applicable Family of Data Flow Testing Criteria'',
IEEE Transactions on Software Engineering,
V. 14, N. 10, October 1988, 1483--1498.
- M. J. Harrold and M. L. Soffa,
``Selecting and Using Data for Integration Testing'',
IEEE Software, V. 8, N. 2, March 1991, 58--65.
C. Program dependency graphs
- M. J. Harrold, B. A. Malloy and G. Rothermel,
``Efficient Construction of Program Dependence Graphs'',
ACM SIGSOFT International Symposium on
Software Testing and Analysis '93, June 1993.
- M. J. Harrold, A. J. Offutt, and K. Tewary,
``An Approach to Fault Modeling and Fault Seeding
Using the Program Dependence Graph'',
The Journal of Systems and Software,
V. 36, N. 3, March 1997, 273--296.
III. PROGRAM ANALYSIS METHODS
- Mark Weiser, ``Program Slicing'',
IEEE Transactions on Software Engineering,
SE-10, N. 4, July 1984, 352--357.
- D. W. Binkley and K. B. Gallagher,
``Program Slicing'',
Advances in Computing, V. 43, 1996.
Marvin Zelkowitz, Editor, Academic Press San Diego, CA.
- R. Gupta, M. L. Soffa and J. Howard,
``Hybrid Slicing: Integrating Dynamic Information with Static Analysis'',
ACM Transactions on Software Engineering and Methodology,
October 1997, V. 6, N. 4, 370--397.
- G. Rothermel and M. J. Harrold,
``A Coherent Family of Analyzable Graph Representations for
Object-Oriented Software'',
OSU Technical Report OSU-CISRC-11/96-TR60,
November, 1996.
- M. Young and R. N. Taylor,
``Combining Static Concurrency Analysis with Symbolic Execution'',
Proceedings of the Workshop on Software Testing,
IEEE Computer Society Press, July 1986, Banff Alberta, 170--178.
- G. Canfora, A. Cimitile, U. De Carlini and A. De Lucia,
``An Extensible System for Source Code Analysis'',
IEEE Transactions on Software Engineering,
September 1998, V. 24, N. 9, 721--740.
IV. APPLICATIONS
A. Static Validation
- K. M. Olender and L. J. Osterweil,
``Interprocedural Static Analysis of Sequencing Constraints'',
ACM Transactions on Software Engineering and Methodology,
January 1992, V. 1, N. 1, 21--52.
B. Testing
- R. A. DeMillo and A. J. Offutt,
``Constraint-Based Automatic Test Data Generation'',
IEEE Transactions on Software Engineering,
V. 17, N. 9, September 1991, 900--910.
- T. Goradia,
``Dynamic Impact Analysis:
A Cost-effective Technique to Enforce Error-propagation'',
Proceedings of the 1993 International Symposium on
Software Testing and Analysis,
June 1993, Cambridge MA, 171--181.
- R. T. Alexander and A. J. Offutt,
``Analysis Techniques for Testing Polymorphic Relationships'',
Proceedings of the Thirtieth International Conference on Technology
of Object-Oriented Languages and Systems (TOOLS USA '99),
August 1999, Santa Barbara, CA.
C. Reusability
- F. Lanubile and G. Visaggio,
``Extracting Reusable Functions by
Flow Graph-Based Program Slicing'',
IEEE Transactions on Software Engineering,
V. 23, N. 4, April 1997.
D. Change Impact Analysis
- L. Li and A. J. Offutt,
``Algorithmic Analysis of the Impact of
Changes to Object-Oriented Software'',
Proceedings of IEEE Conference on Software Maintenance,
IEEE Computer Society Press, November 1996, Monterey CA, 171--184.
E. Software Metrics
- A. J. Offutt, M. J. Harrold and P. Kolte,
``A Software Metric System for Module Coupling'',
The Journal of Systems and Software,
March 1993, V. 20, N. 3, 295--308, Elsevier North Holland Inc.
- J. M. Voas, ``PIE: A Dynamic Failure-Based Technique'',
IEEE Transactions on Software Engineering,
V. 18, N. 8, August 1992.
Jeff Offutt
June 18 1999