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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs N. J., 1976.
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.
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.
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.
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.
C. A. R. Hoare. An axiomatic basis of computer programming. Communications of the ACM, 12(10):576–583, 1969.
W. E. Howden. Functional program testing. IEEE Transactions on Software Engineering, SE-6(2):162–169, 1980.
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.
R. A. Kemmerer. Proceedings of the ACM SIGSOFT’ 89 Third Symposium on Software Testing, Analysis and Verification (TAV3). 1989.
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.
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.
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.
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.
L. J. Osterweil. Using data flow tools in software engineering. In Program Flow Analysis: Theory and Application. Prentice-Hall, Englewood Cliffs N. J., 1981.
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.
A. Pnueli. The temporal semantics of concurrent programs. In Kahn, editor, Semantics of Concurrent Computation, pages 1–20. Springer-Verlag, New York, 1979.
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.
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.
G. Rothermel and M. J. Harrold. A safe efficent algorithm for regression test selection. In Conference on Software Maintenance. IEEE Computer Society Press, 1993.
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.
M. Young and R. N. Taylor. Combining static concurrency analysis with symbolic execution. IEEE Transactions on Software Engineering, 14(10):1499–1511, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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