User manual MATLAB POLYSPACE PRODUCTS FOR ADA 6 GETTING STARTED GUIDE

[. . . ] Polyspace® Products for Ada 6 Getting Started Guide How to Contact MathWorks Web Newsgroup www. mathworks. com/contact_TS. html Technical Support www. mathworks. com comp. soft-sys. matlab suggest@mathworks. com bugs@mathworks. com doc@mathworks. com service@mathworks. com info@mathworks. com Product enhancement suggestions Bug reports Documentation error reports Order status, license renewals, passcodes Sales, pricing, and general information 508-647-7000 (Phone) 508-647-7001 (Fax) The MathWorks, Inc. 3 Apple Hill Drive Natick, MA 01760-2098 For contact information about worldwide offices, see the MathWorks Web site. Polyspace® Products for Ada Getting Started Guide © COPYRIGHT 1997­2010 by The MathWorks, Inc. The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. [. . . ] The Polyspace Queue Manager Interface opens. 3-8 Launching Server Verification from Project Manager 2 Point anywhere in the row for ID 1. 3 Right-click to open the context menu for this verification. 4 Select View log file. A window opens displaying the last one-hundred lines of the verification. 3-9 3 Running a Verification 5 Click Close to close the window. You can monitor the progress of the verification by watching the progress bar and viewing the logs at the bottom of the window. The progress monitor highlights the current phase in blue and displays the amount of time and completion percentage for that phase. The logs report additional information about the progress of the verification. The information appears in the log display area at the bottom of the Project Manager window. Follow the next steps to view the logs: · Click the Output Summary tab to display compile phase messages and errors. You can search the log by entering search terms in the Search box and clicking the left arrow to search backward or the right arrow to search forward. · Click the Verification Statistics tab to display statistics, such as analysis options, stubbed functions, and the verification checks performed. to update the display as the verification · Click the Full Log tab to display messages, errors, and statistics for all phases of the verification. You can search the log by entering search terms in the Search box and clicking the left arrow to search backward or the right arrow to search forward. 7 Select File > Quit to close the progress window. 8 Wait for the verification to finish. When the verification is complete, the status in the PolySpace Queue Manager Interface changes from running to completed. 3-10 Launching Server Verification from Project Manager Removing Verification Results from the Server At the end of a server verification, the server automatically downloads verification results to the results folder specified in the project. Note You can manually download verification results to another location on your client system, or to other client systems. Once your results have been downloaded to the client, you can remove them from the server queue. To remove your results from the server: 1 In the PolySpace Queue Manager Interface, right-click the verification, and select Remove From Queue. A dialog box opens requiring confirmation that you want to remove the verification from the queue. 2 Click Yes. Note To download the results and remove the verification from the queue, right-click the verification and select Download Results And Remove From Queue. If you download results before the verification is complete, you get partial results and the verification continues. 3 Select Operations > Exit to close the PolySpace Queue Manager Interface. 3-11 3 Running a Verification Once the results are on your client, you can review them using the Run-Time Checks perspective. You review the results from the verification in Chapter 4, "Reviewing Verification Results". Troubleshooting a Failed Verification When you see a message that the verification failed, it indicates that Polyspace software could not perform the verification. The following sections present some possible reasons for a failed verification. Hardware Does Not Meet Requirements The verification fails if your computer does not have the minimal hardware requirements. For information about the hardware requirements, see www. mathworks. com/products/polyspaceclientada/requirements. html. To determine if this is the cause of the failed verification, search the log for the message: Errors found when verifying host configuration. You can: · Upgrade your computer to meet the minimal requirements. · Select the Continue with current configuration option in the General section of the Analysis options and run the verification again. You Did Not Specify the Location of Included Files If you see a message in the log, such as the following, either the files are missing or you did not specify the location of included files. Verifier found an error in example. adb:23:14: (spec)" depends on "types (spec)" "runtime_error For information on how to specify the location of include files, see "Creating a New Project to Verify an Ada Package" on page 2-7. 3-12 Launching Server Verification from Project Manager Polyspace Software Cannot Find the Server If you see the following message in the log, Polyspace software cannot find the server. Error: Unknown host : Polyspace software uses information in the preferences to locate the server. To find the server information in the preferences: 1 Select Options > Preferences. [. . . ] In this part of the tutorial, you continue to review the checks for example. adb using this methodology and criterion level. To navigate through these checks: 1 Click the forward arrow . The software displays ZDV. 7 as the current check. 4-23 4 Reviewing Verification Results The source code view displays the source for this check. In Review Details, you see information about this check and you can review this check. Note You can display the calling sequence and track review progress as you did in "Reviewing Results" on page 4-9. 2 Continue to click the forward arrow until you have reviewed all the checks. After the last check, a dialog box appears asking if you want to start again from the first check. 3 Click No. Defining a Custom Methodology You cannot change the predefined methodologies, such as Methodology for Ada, but you can define your own methodology. [. . . ]