When working with NT services your account must have the appropriate privileges described in the User Permissions topic.

 

 

Attaching to your service

 

To use Bug Validator with NT Services you need to link a small library to your application and call two functions in the library.

 

 

The NT Service API

 

The NT Service API is provided to enable Bug Validator to work with services.

 

The API works just as well with normal applications, and the same considerations outlined here also apply generally.

 

When the NT Service API is used, source code symbols are acquired in the stub and sent to the Bug Validator user interface.

 

 

Monitoring the service

 

When working with Bug Validator and services using the NT Service API you don't start the service using Bug Validator.

 

Instead, you start the service the way you normally start the service - e.g. with the service control manager.

 

The code that you have embedded into your service then contacts Bug Validator, which you should have running before starting the service.

 

Once you've exercised your service and stopped it, Bug Validator will show the usual execution trace information. You can refresh the GUI at any time during the service's execution.

 

 

Examples and help

 

We provide some Example Service Source Code to demonstrate how to embed the service code into your service.

 

If you have problems using Bug Validator with services, please contact us at support@softwareverify.com.