What is static verification? - Definition from WhatIs.com

Home
Topics
Software Security Testing and Quality Assurance
Software Security Testing Tools
static verification

Definition

static verification

Static verification is the set of processes that analyzes code to ensure defined coding practices are being followed, without executing the application itself.

Related glossary terms: pen test (penetration testing)

This was last updated in October 2010

Editorial Director: Margaret Rouse

Email Alerts

Register now to receive SearchSoftwareQuality.com-related news, tips and more, delivered to your inbox.

By submitting you agree to receive email from TechTarget and its partners. If you reside outside of the United States, you consent to having your personal data transferred to and processed in the United States. Privacy

Dig Deeper

Security testing for unvalidated redirects and forwards

Security expert John Overbaugh gives security testers the information they need in order to ensure the Web application code that they’re responsible for is protected.
Security tools and application lifecycle management

Security and security tools have become more necessary to the application lifecycle, according to recent research. In this response, expert John Overbaugh discusses why security tools are essential to ALM and explains how he sees security activities expanding in the future.
Security tester roles in secure development lifecycle (SDL)

Some people may be surprised to learn that security testers are integral to nearly every phase of the secure development lifecycle.

People who read this also read...

Show me more

Do you have something to add to this definition? Let us know.

Send your comments to techterms@whatis.com

Research More Tech Terms

Search thousands of tech definitions
Browse tech definitions
Browse Alphabetically:
- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Y
- Z
- #

Powered by WhatIs.com

File Extensions and File Formats

File Extension and File Formats List:

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#

Powered by WhatIs.com

More from Related TechTarget Sites

SOA
Java
Windows Development
Oracle
Cloud computing
Business Analytics

SOA
- Service virtualization arises to meet services testing obstacles
  
  Service virtualization allows teams to simulate services before they are truly available. That’s a plus for Agile development and integration testing.
- App integration advisory: Use ESBs for message routing, translation
  
  Middleware experts advise that an ESB can help a SOA, but it can be harmful if used in the wrong cases.
- How will mainframes fare in the face of mobile and Web?
  
  Heard at IBM Impact: Mainframes mean high-integrity transactions. How does this jibe with mobile apps using ''eventually consistent'' transactions?
Java
- FuseSource releases enterprise products at CamelOne 2012
  
  Here at CamelOne 2012, FuseSource is releasing two new products – Fuse ESB Enterprise 7.0 and Fuse MQ Enterprise 7.0.
- Open source integration framework keeps motorists safe in the UK
  
  Automotive rescue and recovery services in the UK gained significant messaging advantages over the past few years. The new Automotive Network Services (ANS) system, built and maintained by Apex Networks, connects automotive clubs and insurance agencies with the mechanics, riggers, and first responders that provide emergency services to accidents and disabled vehicles.
- Scaling up and scaling out to meet new business demands
  
  Scaling up and scaling out are two ways for growing businesses to increase productivity, but doing so blindly may be more costly than it's worth.
Windows Development
- Where can I find Visual Basic 6.0 DataEnvironment code samples?
  
  Get information on the best places to find Visual Basic DataEnvironment 6.0 code samples.
- Testing methods in Visual Studio 2010
  
  This is the second part in a two part series on unit testing in Visual Studio 2010.
- Unit testing in Visual Studio 2010
  
  Visual Studio 2010 contains a unit testing framework, and I’ll show you how to use it to automate your own unit tests.
Oracle
- Integrating Oracle applications brings complexity
  
  Oracle’s various investments and acquisitions over the past decade have some customers struggling to integrate it all, although Oracle’s own middleware might be able to help.
- Implementing a Hyperion system in 3 weeks -- it can be done
  
  An Oracle Hyperion system implementation in three weeks? Yes, it can be done. Communications firm Neustar implemented Hyperion in less than a month and gained efficiencies in the process.
- Las Vegas expands its Oracle business intelligence horizons for better government transparency
  
  The city of Las Vegas underwent a three-year Oracle business intelligence project to bring more data to its employees and the public. The city's IT manager explains how it happened.
Cloud computing
- Alleviating BYOD security issues using private cloud
  
  Centralizing security management in a private cloud is an easy way to fend off malware attacks and adhere to BYOD security policies.
- An open dialog on open source cloud
  
  Advocates of open source cloud may swear by its ‘no rules’ development environment, but a lack of in-house expertise may just have you swearing.
- HP and Dell dominate server market but struggle in cloud
  
  HP and Dell are the largest hardware makers, but the two companies struggle to present strategies that portray them as serious cloud players.
Business Analytics
- To glean value from 'big data' projects, it may take more than Hadoop
  
  Organizations will have to push beyond storage requirements and basic business intelligence tools to exploit big data, according to a Gartner analyst.
- On the go the way to go? Answer lies with building mobile BI business case
  
  According to a recent Gartner survey, mobile technology is the second most important priority for CIOs in 2012, but building the business case is easier said than done.
- Basic vs. complex: Companies walk the line on analytics best practices
  
  Businesses looking to build effective business intelligence and analytics programs have to toe the line between focusing on the basics and using new technology to build more complex BI systems.

All Rights Reserved, Copyright 2006 - 2012, TechTarget