Utilizing temporal assertions in a debugger
作者： Daniel Geist
DOI:
关键词:
摘要: A temporal assertion of a computer program may be defined based on property. checker generated to monitor the and indicate upon violation thereof. The operatively coupled debugging module operative execute in session. execution paused response an indication from assertion, while continuing user then review state assess what caused fail whether such indicates presence bug or not.
lens.org 参考文章(15)
Jozsef Kovacs, Gabor Kusper, Róbert Lovas, Wolfgang Schreiner, None, Integrating Temporal Assertions into a Parallel Debugger european conference on parallel processing. pp. 113- 120 ,(2002) , 10.1007/3-540-45706-2_12
Vijay K. Madisetti, Tankut Akgul, Vincent Mooney, Pramote Kuacharoen, Debugger operating system for embedded systems ,(2002)
Phillip Lee Bogle, Robert Victor Welland, Gary S. Katzenberger, Samuel James McKelvie, Active debugging environment for applications containing compiled and interpreted programming language code ,(2001)
Jacqueline L. Reid, Paul Midgen, Viresh Ramdatmisier, Pierre-Jean Reissman, Method and system for automatically testing a software build ,(2003)
John Mark Beardslee, Nils Endric Schubert, Gernot Heinrich Koch, Ewald John Detjens, Hardware-based HDL code coverage and design analysis ,(2007)
Deian Tabakov, Moshe Y. Vardi, Monitoring temporal SystemC properties formal methods. pp. 123- 132 ,(2010) , 10.1109/MEMCOD.2010.5558640
Mohit Kalra, Time-based breakpoints in debuggers ,(2010)
Djones Lettnin, Pradeep K. Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer, Verification of temporal properties in automotive embedded software design, automation, and test in europe. pp. 164- 169 ,(2008) , 10.1145/1403375.1403417
Paul Reuben Day, Jeffrey Michael Ryan, Cary Lee Bates, Debugger thread monitor ,(1999)
Edmund Grimley-Evans, Simon Andrew Ford, Alastair David Reid, Variable coherency support when mapping a computer program to a data processing apparatus ,(2007)