?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Integrating+software+testing+and+run-time+checking+in+an+assertion+verification+framework.&rft.creator=Mera%2C+E.&rft.creator=L%C3%B3pez+Garc%C3%ADa%2C+Pedro&rft.creator=Hermenegildo%2C+Manuel+V.&rft.subject=Computer+Science&rft.description=We+have+designed+and+implemented+a+framework+that+unifies+unit+testing+and+run-time+verification+(as+well+as+static+verification+and+static+debugging).+A+key+contribution+of+our+approach+is+that+a+unified+assertion+language+is+used+for+all+of+these+tasks.+We+first+propose+methods+for+compiling+runtime+checks+for+(parts+of)+assertions+which+cannot+be+verified+at+compile-time+via+program+transformation.+This+transformation+allows+checking+preconditions+and+postconditions%2C+including+conditional+postconditions%2C+properties+at+arbitrary+program+points%2C+and+certain+computational+properties.+The+implemented+transformation+includes+several+optimizations+to+reduce+run-time+overhead.+We+also+propose+a+minimal+addition+to+the+assertion+language+which+allows+defining+unit+tests+to+be+run+in+order+to+detect+possible+violations+of+the+(partial)+specifications+expressed+by+the+assertions.+This+language+can+express+for+example+the+input+data+for+performing+the+unit+tests+or+the+number+of+times+that+the+unit+tests+should+be+repeated.+We+have+implemented+the+framework+within+the+Ciao%2FCiaoPP+system+and+effectively+applied+it+to+the+verification+of+ISO-prolog+compliance+and+to+the+detection+of+different+types+of+bugs+in+the+Ciao+system+source+code.+Several+experimental+results+are+presented+that+illustrate+different+trade-offs+among+program+size%2C+running+time%2C+or+levels+of+verbosity+of+the+messages+shown+to+the+user.&rft.publisher=Facultad+de+Inform%C3%83%C2%A1tica+(UPM)&rft.rights=https%3A%2F%2Fcreativecommons.org%2Flicenses%2Fby-nc-nd%2F3.0%2Fes%2F&rft.date=2009-03&rft.type=info%3Aeu-repo%2Fsemantics%2Fother&rft.type=Monograph&rft.type=PeerReviewed&rft.format=application%2Fpdf&rft.language=eng&rft.relation=http%3A%2F%2Fclip.dia.fi.upm.es%2F~herme%2Fengcurnew%2Fengcurnew.html&rft.rights=info%3Aeu-repo%2Fsemantics%2FopenAccess&rft.identifier=https%3A%2F%2Foa.upm.es%2F15369%2F