Predicting problems caused by component upgrades

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 287-296

  McCamant, Stephen ^a   Ernst, Michael D ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

software components; software upgrades; specification matching

Indexed keywords

AUTOMATIC TECHNIQUE; FORMAL SPECIFICATION; NEW COMPONENTS; PROGRAM PROPERTIES; RUNNING SYSTEMS; RUNTIMES; SOFTWARE COMPONENT; SOFTWARE SYSTEMS; SOFTWARE UPGRADES; SPECIFICATION MATCHING; SYSTEM BEHAVIORS;

ABSTRACTING; ERRORS; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 4544285149     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940110     Document Type: Conference Paper

References (39)

1. P. America and F. van der Linden. A parallel object-oriented language with inheritance and subtyping. In ECOOP/OOPSLA, pages 161-168, Ottawa, Canada, Oct. 21-25, 1990.
2. C. Bidan, V. Issarny, T. Saridakis, and A. Zarras. A dynamic reconfiguration service for CORBA. In 4th International Conference on Configurable Distributed Systems, pages 35-42, Annapolis, MD, May 1998.
3. A. Black, N. Hutchinson, E. Jul, H. Levy, and L. Carter. Distributed and abstract types in Emerald. IEEE Transactions on Software Engineering, 13(1):65-76, Jan. 1987.
4. T. Bloom. Dynamic Module Replacement in a Distributed Programming System. PhD thesis, MIT, 1983. Also as Technical Report MIT/LCS/TR-303.
5. T. Bloom and M. Day. Reconfiguration in Argus. In International Workshop on Configurable Distributed Systems, pages 176-187, London, England, Mar. 1992.
6. L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2/3):138-164, Feb./Mar. 1988.
7. J. Chang, D. J. Richardson, and S. Sankar. Structural specification-based testing with ADL. In Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), pages 62-70, 1996.
8. D. Detlefs, G. Nelson, and J. Saxe. Simplify theorem-prover. http://research.compaq.com/SRC/esc/Simplify.html.
9. P. Devanbu. A reuse nightmare: Honey, I got the wrong DLL. In ACM Symposium on Software Reusability (ACM SSR'99), Los Angeles, CA, USA, 1999. Panel position statement.
10. J. Dick and A. Faivre. Automating the generating and sequencing of test cases from model-based specifications. In FME '93: Industrial Strength Formal Methods, 5th International Symposium of Formal Methods Europe, pages 268-284, 1993.
11. N. Dodoo. Selecting predicates for conditional invariant detection using cluster analysis. Master's thesis, MIT Department of Electrical Engineering and Computer Science, Cambridge, MA, Sept. 2002.
12. N. Dodoo, A. Donovan, L. Lin, and M. D. Ernst. Selecting predicates for implications in program analysis, Mar. 16, 2002. Draft. http://pag.lcs.mit.edu/ ~mernst/pubs/invariants-mplications.ps.
13. M. D. Ernst. Dynamically Discovering Likely Program Invariants. PhD thesis, University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
14. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, Feb. 2001.
15. A previous version appeared in ICSE '99, Proceedings of the 21st International Conference on Software Engineering, pages 213-224, Los Angeles, CA, USA, May 19-21, 1999.
16. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In ICSE 2000, Proceedings of the 22nd International Conference on Software Engineering, pages 449-458, Limerick, Ireland, June 7-9, 2000.
17. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 234-245, Berlin, Germany, 2002.
18. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE'03, Proceedings of the 25th International Conference on Software Engineering, pages 60-71, Portland, Oregon, May 6-8, 2003.
19. M. P. Herlihy and B. Liskov. A value transmission method for abstract data types. ACM Trans. Prog. Lang. Syst., 4(4):527-551, 1982.
20. M. W. Hicks, J. T. Moore, and S. Nettles. Dynamic software updating. In Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation, pages 13-23, Snowbird, Utah, 2001.
21. C. Hofmeister, E. White, and J. Purtilo. Surgeon: A packager for dynamically reconfigurable distributed applications. In International Workshop on Configurable Distributed Systems, pages 164-175, London, England, Mar. 1992.
22. C. B. Jones. Systematic Software Development using VDM. Prentice Hall, second edition, 1990.
23. Y. Kataoka, M. D. Ernst, W. G. Griswold, and D. Notkin. Automated support for program refactoring using invariants. In ICSM 2001, Proceedings of the International Conference on Software Maintenance, pages 736-743, Florence, Italy, Nov. 6-10, 2001.
24. G. T. Leavens, A. L. Baker, and C. Ruby. JML: A notation for detailed design. In Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
25. K. R. M. Leino and G. Nelson. An extended static checker for Modula-3. In Compiler Construction: 7th International Conference, CC'98, pages 302-305, Lisbon, Portugal, Apr. 1998.
26. B. H. Liskov and J. M. Wing. A behavioral notion of subtyping. ACM Trans. Prog. Lang. Syst., 16(6):1811-1841, Nov. 1994.
27. C. Meudec. Automatic Generation of Software Test Cases From Formal Specifications. PhD thesis, Queen's University of Belfast, 1998.
28. G. C. Necula. Translation validation for an optimizing compiler. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pages 83-94, Vancouver, BC, Canada, 2000.
29. G. Nelson. Techniques for Program Verification. PhD thesis, Stanford University, Palo Alto, CA, 1980. Also published as Xerox Palo Alto Research Center Research Report CSL-81-10.
30. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In ISSTA 2002, Proceedings of the 2002 International Symposium on Software Testing and Analysis, pages 232-242, Rome, Italy, July 22-24, 2002.
31. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proceedings of the ACM SIGSOFT 10th International Symposium on the Foundations of Software Engineering (FSE 2002), pages 11-20, Charleston, SC, Nov. 20-22, 2002.
32. P. Oreizy, N. Medvidovic, and R. N. Taylor. Architecture-based runtime software evolution. In Proceedings of the 20th International Conference on Software Engineering, Kyoto, Japan, Apr. 1998.
33. D. J. Richardson, O. O'Malley, and C. Tittle. Approaches to specification-based testing. In Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification (TAV3), pages 86-96, Dec. 1989.
34. C. Schaffert, T. Cooper, B. Bullis, M. Kilian, and C. Wilpolt. An introduction to Trellis/Owl. In Conference on Object-Oriented Programming Systems, Languages and Applications, pages 9-16, Portland, OR, USA, June 1986.
35. M. E. Segal and O. Frieder. On-the-fly program modification: Systems for dynamic updating. IEEE Software, 10(2), Mar. 1993.
36. R. Stata. Modularity in the presence of subclassing. Technical Report MIT-LCS-TR-711, MIT Laboratory for Computer Science, Cambridge, MA, Apr. 1, 1997. Revision of PhD thesis.
37. R. K. Weiler. Automatic upgrades: A hands-on process. Information Week, Mar. 2002.
38. W. Yang, S. Horwitz, and T. Reps. A program integration algorithm that accommodates semantics-preserving transformations. ACM Transactions on Software Engineering and Methodology, 1(3):310-354, 1992.
39. A. M. Zaremski and J. M. Wing. Specification matching of software components. ACM Transactions on Software Engineering and Methodology, 6(4):333-369, Oct. 1997.