Abstract
We wish to be able to give formal definitions (in the sense of science or engineering) for concepts like requirements validation and for the relationship between a requirements specification and an abstract design of the intended system. Ditto validation of designs and the final executable application with respect to the original “application concept”, on the one hand, and the requirement specification, on the other. We have been developing a framework based on the work of the logical empiricists and other analytic philosophers over the last 80 years to support our understanding of software engineering concepts. Recent developments (dating from the 80s)in the area of “confirmation” (of a hypothesis concerning a theory by some (experimental) evidence) promises to illuminate some of these problematic concepts. In this talk we address the problem of establishing the very relation between requirement specifications and scenarios, as used, for example, in UML. The same framework can also be applied to the problem of testing implementations against designs, so called verification testing.
Chapter PDF
Similar content being viewed by others
Keywords
- Requirement Specification
- Requirement Engineering
- Requirement Engineer
- Requirement Elicitation
- Verification Test
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Carnap, R.: On Inductive Logic. Philosophy of Science 12, 72–97 (1945)
Carnap, R.: Continuum of Inductive Methods. Univ. of Chicago Press, Chicago (1952)
Carnap, R.: Meaning and Necessity. Supplement A, Empiricism, Semantics, and Ontology. Midway Reprint Edition (1988)
Carnap, R.: Logical Foundations of Probability, 2nd edn. The University of Chicago Press, Chicago (1962)
Carnap, R.: An Introduction to the Philosophy of Science. In: Gardner, M. (ed.) re-edited from Philosophical Foundations of Physics, Basic Books, 1966, Dover Publications, Inc. (1995)
Cengarle, M.V., Haeberer, A.: Towards an epistemology-based methodology for verification and validation testing (1999), See, http://www.informatik.uni-muenchen.de under M.V. Cengarle
Cengarle, M.V., Haeberer, A.M.: Specifications, programs, and confirmation. In: Proceedings of the Workshop on Requirements, Design, Correct Construction, And Verification: Mind The Gaps! F.A.S.T. Gesellschaft für angewandte Softwaretechnologie mbH- Munich (April 2000), http://www.fast.de
Cengarle, M.V., Haeberer, A.M.: A formal approach to specification-based black-box testing. In: Proceedings of the Workshop on Modelling Software System Structures in a fastly moving scenario, June 13-16, Santa Margherita Ligure, Italia (2000), www.disi.unige.it/person/FerrandoE/MSSSworkshop
Christensen, D.: Glymour on evidential relevance. Philosophy of Science 50, 471–481 (1983)
Earman, J., Glymour, C.: What Revisions does Bootstrap Testing Need? A Reply. Philosophy of Science 55, 261–264 (1988)
Glymour, C.: Hypothetico-deductivism is Hopeless. Philosophy of Science 47, 322–325 (1980)
Glymour, C.: Theory and Evidence. Princeton Univ. Press, Princeton (1980)
Glymour, C.: On testing and evidence. In: Earman, J. (ed.) Testing Scientific Theories. Minnesota Studies in the Philosophy of Science, vol. X. Univesity of Minnesota Press (1983)
Glymour, C.: Revisions of bootstrap testing. Philosophy of Science 50, 626–629 (1983)
Hempel, C.G.: International Encyclopedia of Unified Science. In: Fundamentals of Concept Formation in Empirical Science, 2nd edn., pp. 23–38. University of Chicago Press, Chicago (1952)
Haeberer, A.M., Maibaum, T.S.E.: The very idea of software development environments: a conceptual architecture for the arts environment. In: Nuseibeh, B., Redmiles, D. (eds.) Proc. of 13th IEEE Int. Conf. on Automated Software Engineering (ASE 1998), pp. 260–269. IEEE CS Press, Los Alamitos (1998)
Haeberer, A.M., Maibaum, T.S.E.: Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering. In: to appear in Proc. of ICSE2001, 23rd Int. Conf. on Software Engineering, Toronto (2001)
Hesse, M.: The Structure of Scientific Inference. University of California Press, Berkeley (1974)
Hintikka, J.: Towards a Theory of Inductive Generalization. In: Bar-Hillel, Y. (ed.) Proc. of the 1964 Congress for Logic, Methodology, and the Philosophy of Science, pp. 274–288. Stanford University Press, Stanford (1962)
Jackson, M.: Formal Methods and Traditional Engineering. Journal of Systems and Software special issue on Formal Methods Technology Transfer 40, 191–194 (1998)
Jackson, M.A., Zave, P.: Deriving Specifications from requirements: an Example. In: Proc. ICSE 1995 - 17th International Conference on SE, pp. 15–24. IEEE Computer Society Press, Los Alamitos (1995)
van Lamsweerde, A., Letier, E.: Handling Obstacles in Goal-driven Requirements Engineering. IEEE Transactions on SE 26 (September 2000)
van Lamsweerde, A., Willemet, L.: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on SE 24(12), 1089–1114 (1998)
Maibaum, T.S.E.: Mathematical Foundations of Software Engineering: a roadmap. In: Finkelstein, A., Kramer, J. (eds.) Future of Software Engineering, ICSE 2000. IEEE C.S. Press, Los Alamitos (2000)
Nagel, E.: The Structure of Science, Harcourt, Brace (1961)
Norton, B.G.: Linguistic Frameworks and Ontology. A Re-Examination of Carnap’s Metaphilosophy. Mouton Publishers, Netherlands (1977)
Popper, K.R.: The Logic of Scientific Discovery, Hutchinson, London (1968)
Simon, H.: The axiomatization of physical theories. Philosophy of Science 37, 16–26 (1970)
Turski, W.M.: An Essay on Software Engineering at the Turn of Century. In: Maibaum, T. (ed.) FASE 2000. LNCS, vol. 1783, p. 1. Springer, Heidelberg (2000)
Turski, W.M., Maibaum, T.S.E.: The Specification of Computer Programs. Addison-Wesley, Reading (1987)
Vincenti, W.G.: What Engineers Know and How They Know It. In: Analytical Studies from Aeronautical History. Johns Hopkins U. Press, Baltimore (1993)
Zave, P., Jackson, M.A.: Four Dark Corners of Requirements Engineering. ACM Tansactions on SE and Methodology 6(1), 1–30 (1997)
Zytkow, J.M.: What revisions does bootstrap testing need? Philosophy of Science 53, 101–109 (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Maibaum, T.S.E. (2005). The Epistemology of Validation and Verification Testing. In: Khendek, F., Dssouli, R. (eds) Testing of Communicating Systems. TestCom 2005. Lecture Notes in Computer Science, vol 3502. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11430230_1
Download citation
DOI: https://doi.org/10.1007/11430230_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26054-7
Online ISBN: 978-3-540-32076-0
eBook Packages: Computer ScienceComputer Science (R0)