Skip to main content
SpringerLink
Log in

Continuous Self-Evaluation for the Self-Improvement of Software

  • Conference paper
  • First Online:
Self-Adaptive Software (IWSAS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1936))

Included in the following conference series:

Abstract

Software systems are increasingly essential to the operation of all aspects of our society. Clearly the operation of these systems has profound effects on society. Less recognized, but no less important, is the effect that societal activity has on software, placing continual pressure upon software systems to improve. In that software systems function as societal change agents, it follows naturally that the changes wrought by software systems rebound back as pressures for these systems themselves to improve in order to meet more closely the changing requirements of society. These pressures are felt as growing gaps between societal requirements and operational profiles. These gaps serve both as measures of required improvement and as vectors that should be used to direct improvement efforts and measure their success.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs N. J., 1976.

    MATH  Google Scholar 

  2. L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and et al. A graphical interval logic for specifying concurrent systems. ACM Transaction of Software Engineering and Methodology, 3(2):131–165, 1994.

    Article  Google Scholar 

  3. L. K. Dillon and Y. S. Ramakrishna. Generating oracles from your favorite temporal logic specifications. In Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996.

    Google Scholar 

  4. M. B. Dwyer and L. A. Clarke. Data flow analysis for verifying properties of concurrent programs. In Second ACM SIGSOFT Symposium on Foundations of Software Engineering, pages 62–75, New Orleans, LA, 1994. ACM Press.

    Google Scholar 

  5. M. B. Dwyer and L. A. Clarke. Flow analysis for verifying specifications of concurrent and distributed software. Technical Report 99-52, University of Massachusetts, Computer Science Dept., 1999.

    Google Scholar 

  6. C. A. R. Hoare. An axiomatic basis of computer programming. Communications of the ACM, 12(10):576–583, 1969.

    Article  MATH  Google Scholar 

  7. W. E. Howden. Functional program testing. IEEE Transactions on Software Engineering, SE-6(2):162–169, 1980.

    Article  Google Scholar 

  8. S. M. Sutton Jr. and L. J. Osterweil. The design of a next generation process language. In Joint 6th European Software Engineering Conference and the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 142–158. Springer-Verlag, 1997.

    Google Scholar 

  9. R. A. Kemmerer. Proceedings of the ACM SIGSOFT’ 89 Third Symposium on Software Testing, Analysis and Verification (TAV3). 1989.

    Google Scholar 

  10. B. S. Lerner, L. J. Osterweil, J. Stanley M. Sutton, and A. Wise. Programming process coordination in little-jil. In 6th European Workshop on Software process Technology(EWSPT’ 98), pages 127–131, Weybridge, UK, 1998. Springer-Verlag.

    Google Scholar 

  11. H. K. N. Leung and L. White. A cost model to compare regression at the integration level. In Conference on Software Maintenance, pages 201–208, Sorrento, Italy, 1991. IEEE Computer Society Press.

    Google Scholar 

  12. K. M. Olender and L. J. Osterweil. Cecil: A sequencing constraint language for automatic static analysis generation. IEEE Transactions of Software Engineering, 16(3):268–280, 1992.

    Article  Google Scholar 

  13. K. M. Olender and L. J. Osterweil. Interprocedural static analysis of sequencing constraints. ACM Transactions on Software Engineering and Methodology, 1(1):21–52, 1992.

    Article  Google Scholar 

  14. L. J. Osterweil. Using data flow tools in software engineering. In Program Flow Analysis: Theory and Application. Prentice-Hall, Englewood Cliffs N. J., 1981.

    Google Scholar 

  15. L. J. Osterweil and L. D. Fosdick. Dave-a validation error detection and documentation system fir fortran programs. Software Practice and Experience, 6(4):473–486, 1976.

    Article  MATH  Google Scholar 

  16. A. Pnueli. The temporal semantics of concurrent programs. In Kahn, editor, Semantics of Concurrent Computation, pages 1–20. Springer-Verlag, New York, 1979.

    Chapter  Google Scholar 

  17. D. J. Richardson, S. L. Aha, and T. O. O’Malley. Specification-based test oracles for reactive systems. In Fourteenth International Conference on Software Engineering, pages 105–118, Melbourne, Australia, 1992.

    Google Scholar 

  18. D. S. Rosenblum, Y. F. Chan, and K. P. Vo. Testtube: A system for selective regression testing. In Sixteenth International Conference on Software Engineering, pages 211–220, Sorrento, Italy, 1994.

    Google Scholar 

  19. G. Rothermel and M. J. Harrold. A safe efficent algorithm for regression test selection. In Conference on Software Maintenance. IEEE Computer Society Press, 1993.

    Google Scholar 

  20. G. Rothermel and M. J. Harrold. Selecting regression tests for object-oriented software. In International Conference on Software Maintenance, pages 14–25. IEEE Computer Society Press, 1994.

    Google Scholar 

  21. M. Young and R. N. Taylor. Combining static concurrency analysis with symbolic execution. IEEE Transactions on Software Engineering, 14(10):1499–1511, 1988.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Massachusetts, 01003, Amherst, MA, USA

    Leon J. & Lori A.

Authors
  1. Leon J.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lori A.
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dynamic Object Language Labs., Inc., 9 Bartlet St #334, Andover, MA 01810, USA

    Paul Robertson

  2. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square (MIT NE43-839), Cambridge, Massachusetts, 02139, USA

    Howie Shrobe

  3. Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 545 Technology Square (MIT NE 43-804), Cambridge, Massachusetts, 02139, USA

    Robert Laddaga

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

J., L., A., L. (2000). Continuous Self-Evaluation for the Self-Improvement of Software. In: Robertson, P., Shrobe, H., Laddaga, R. (eds) Self-Adaptive Software. IWSAS 2000. Lecture Notes in Computer Science, vol 1936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44584-6_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-44584-6_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41655-5

  • Online ISBN: 978-3-540-44584-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation