TITLE

Integrated Static Analyzers: A New Breed

AUTHOR(S)
Kleidermacher, David N.
PUB. DATE
August 2007
SOURCE
Portable Design;Aug2007, Vol. 13 Issue 8, p18
SOURCE TYPE
Periodical
DOC. TYPE
Article
ABSTRACT
The article discusses the effectiveness of a new static analysis tool called Integrated Static Analyzer (ISA) that utilizes a unique and innovative approach to address the problems relating to the loss of quality in software. Based on the study, ISA takes advantage of efficient dataflow analysis and constant propagation which led the new analyzer to execute much faster than traditional analyzers. In addition, ISA makes it easy and efficient to incorporate automated static source code checking into the everyday software development process.
ACCESSION #
26609221

 

Related Articles

  • Systematic Transformation of Functional Analysis Model into OO Design and Implementation. Tan, Hee Beng Kuan; Yang, Yong; Bian, Lei // IEEE Transactions on Software Engineering;Feb2006, Vol. 32 Issue 2, p111 

    Abstract--Functional refinement is beneficial to Object-Oriented (OO) software development, especially for problems with more complex functions. However, the use of functional refinement in OO software development has not received much attention. This paper proposes an enhanced data flow diagram...

  • Importance of Software Metrics to Quantify of Software Design and Source Code Quality. Jain, Siddharth; Baniya, Pradeep // International Journal of Computer Science & Information Technolo;2014, Vol. 5 Issue 4, p4873 

    The vital role of software process improvement is ability to measure the current state of system process and establishing improvement priorities. In addition, the focus on process improvement has increased the demand for software measures, or metrics with which to manage the software process....

  • Where's My Jetpack? Helsen, Simon; Ryman, Arthur; Spinellis, Diomidis // IEEE Software;Sep/Oct2008, Vol. 25 Issue 5, p18 

    The authors discuss predictions made by software and technology companies and suggest that in many cases software engineers predicted far greater future advances and innovations than they actually produced. Software engineers use source codes to write instructions for executable codes. However,...

  • Serena integrates change and requirements management.  // MarketWatch: Global Round-up;Oct2006, Vol. 5 Issue 10, p186 

    The article presents information on the introduction of a new Application Lifecycle Management suite, a software development tool, by Serena Software Inc. The new suite, Dimensions 10, will integrate source code control and requirements management, and will provide the beginnings of a project...

  • Diebold Brings Captive Marketing to the Cash Machine. Krebsbach, Karen // Bank Technology News;Jun2006, Vol. 19 Issue 6, p16 

    The article introduces the new ATM software developed by the Diebold Election Systems Inc. in the U.S. The software allowed banks personalize ATM and access on the status of ATM usage. According to the senior vice president of Diebold's Customer Solutions Group Dave Bucci, the new software...

  • HYBRID PERFORMANCE MODELING AND ANALYZING OF PARALLEL SYSTEMS. Bin Cheng; Weiqin Tong; Xingang Wang // International Journal of Numerical Analysis & Modeling;May2012, Vol. 9 Issue 2, p232 

    Performance is a key feature of parallel system. However, there is a great gap between the peak performance and performance attainable by a practical application. The model-based performance evaluation may be used to support the performance-oriented program development for parallel system. In...

  • Aimed At Today's 'Road Warrior,' Mobile Devices Make Their Debut. Trembly, Ara C. // National Underwriter / Life & Health Financial Services;1/6/2003, Vol. 107 Issue 1, p21 

    Focuses on computer software vendors that unveiled a variety of technological innovations during the Comdex Fall 2002 technology exposition held in Las Vegas, Nevada.

  • Graphing software goes automated and multifunctional. Studt, Tim // R&D Magazine;Oct96, Vol. 38 Issue 11, p33 

    Reports on the advancements in the production of scientific graphing computer software. Focus on automation and multifunctionality; Ease of use as user criteria; Demand of users for simplicity; Effects of the acceptance of Windows-based platforms; Enumeration, description and features of new...

  • Managing product life cycles for mass customization.  // Machine Design;07/10/97, Vol. 69 Issue 13, p51 

    Reports that tight integration with Microsoft Exchange-based process automation allowed a developed software package to handle product information generated throughout the life cycle of the product. Name of the software; Where it was developed; How it processes; Packages that work with the...

Share

Read the Article

Courtesy of THE LIBRARY OF VIRGINIA

Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics