Numerical methods and programming
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Num. Meth. Prog.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Numerical methods and programming, 2009, Volume 10, Issue 1, Pages 22–33 (Mi vmp400)  
Программирование

Using the static verification tools for checking the ScopeShell system

S. V. Stepanov, A. G. Shishkin

Lomonosov Moscow State University, Faculty of Computational Mathematics and Cybernetics
Full-text PDF (736 kB)
Abstract: Freeware static verification tools for Java code analysis are considered. Test results and an estimate for the efficiency of different tools for checking the ScopeShell system developed at the Department of Research Automation (Faculty of Computational Mathematics and Cybernetics, Moscow State University) are given.
Keywords: static verification; detecting bugs in software; automated code analysis; Java programming language.
Document Type: Article
UDC: 004.415.53
Language: Russian
Citation: S. V. Stepanov, A. G. Shishkin, “Using the static verification tools for checking the ScopeShell system”, Num. Meth. Prog., 10:1 (2009), 22–33
Citation in format AMSBIB
\Bibitem{SteShi09}
\by S.~V.~Stepanov, A.~G.~Shishkin
\paper Using the static verification tools for checking the ScopeShell system
\jour Num. Meth. Prog.
\yr 2009
\vol 10
\issue 1
\pages 22--33
\mathnet{http://mi.mathnet.ru/vmp400}
Linking options:
  • https://www.mathnet.ru/eng/vmp400
  • https://www.mathnet.ru/eng/vmp/v10/i1/p22
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Numerical methods and programming
    Statistics & downloads:
    Abstract page:71
    Full-text PDF :23
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024