VerifIEr provides static code analysis for Gen models.
- Automated checking detects errors and non-compliance with site standards enabling fast and cost effective correction at an early stage of the development process.
- VerifIEr is supplied with
a set of standard checks and is also designed to be rapidly customised
to meet site specific requirements, either by IET or by the customer.
- VerifIEr can automate
compliance and QA tasks, thus freeing up experienced Gen developers
for more value added activities.
- An essential feature
of VerifIEr is that QA can be enforced automatically and
therefore problems are identified early in the development life-cycle. This
contrasts with manual checking at the end of the development phase, by which time the cost of fixing the errors
is much higher compared with identifying the issues as soon as they are applied
to the model.