A historical perspective on runtime assertion checking in software development
作者： Lori A. Clarke , David S. Rosenblum
关键词: Software development 、 Assertion 、 Computer science 、 Perspective (graphical) 、 Software engineering 、 Software testing
摘要: This report presents initial results in the area of software testing and analysis produced as part Software Engineering Impact Project. The describes historical development runtime assertion checking, including a description origins significant features associated with checking mechanisms, findings about current industrial use. A future will provide more comprehensive assessment practice, for which we invite readers this to contribute information.
acm.org
sci-hub.se 参考文章(82)
Steven V. Earhart, UNIX programmer's manual Holt, Rinehart & Winston. ,(1986)
Zohar Manna, Amir Pnueli, Verification of concurrent programs, Part I: The temporal framework Stanford University. ,(1981) , 10.21236/ADA106750
Philippe Gautron, An Assertion Mechanism Based on Exceptions. C++ Conference. pp. 245- 262 ,(1992)
David C. Luckham, Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs ,(2012)
Bill Joy, James Gosling, Guy Steele, Gilad Bracha, Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) Addison-Wesley Professional. ,(2005)
Doug Lea, Marshall P. Cline, Using Annotated C ,(1990)
D. C. Luckham, D. P. Helmbold, D. L. Bryan, M. A. Haberler, Task sequencing language for specifying distributed Ada systems international conference on parallel architectures and languages europe. pp. 444- 463 ,(1987) , 10.1007/3-540-17945-3_26
Richard C. Linger, Bernard I. Witt, Harlan D. Mills, Structured programming, theory and practice Addison-Wesley. ,(1979)
Jonathan E. Cook, Assertions for the Tcl language TCLTK'97 Proceedings of the 5th conference on Annual Tcl/Tk Workshop 1997 - Volume 5. pp. 10- 10 ,(1997)
Gerard J. Holzmann, The SPIN Model Checker ,(2003)