%0 Conference Proceedings
%T Requirements-Driven Log Analysis (Extended Abstract)
%+ California Institute of Technology (CALTECH)
%A Havelund, Klaus
%Z Part 1: Invited Keynote Talks
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Conference on Testing Software and Systems (ICTSS)
%C Aalborg, Denmark
%Y Brian Nielsen
%Y Carsten Weise
%I Springer
%3 Testing Software and Systems
%V LNCS-7641
%P 1-4
%8 2012-11-19
%D 2012
%R 10.1007/978-3-642-34691-0_1
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Imagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is difficult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i, o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in the case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01482407/document
%2 https://inria.hal.science/hal-01482407/file/978-3-642-34691-0_1_Chapter.pdf
%L hal-01482407
%U https://inria.hal.science/hal-01482407
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-7641