IBM Support

IBM Rational Statemate 4.6

Download


Abstract

IBM Rational Statemate 4.6 General Availability Release

Download Description

Tab navigation


IBM Rational Statemate version 4.6 is a full product download.
  • Passport Advantage customers
    Passport Advantage and Passport Advantage Express customers are required to sign in to Passport Advantage Online to access the actual files.

  • Non-Passport Advantage customers
    If you or your organization did not purchase your software and support through Passport Advantage or Passport Advantage Express, you are required to sign in to the new IBM Software Group OEM Portal to access the actual files. This includes customers with Flexible Contract Type (FCT) license purchases and IBM Business Partners.
    For assistance with the IBM Software Group OEM Portal, please visit eCustomer care.




Components:
  • Statemate 4.6 Installation kit
  • XMI Bridge
  • Automatic Test Generation
  • Model Checker / Model Checker Plus
  • Node Allocator

Prerequisites



Supporting Documentation

For more details about this product, refer to the following documentation:

Installation Instructions



For a detailed description of the installation process, review the Statemate Installation Guide document in the IBM Rational Information Center:

[{"INLabel":"Installation Guide","INLang":"English","INSize":"1","INURL":"http://publib.boulder.ibm.com/infocenter/rsdp/v1r0m0/index.jsp"}]
Off
[{"DNLabel":"Passport Advantage","DNDate":"6/2/2009","DNLang":"English","DNSize":"1","DNPlat":{"label":"Windows","code":"PF033"},"DNURL":"http://www.ibm.com/software/howtobuy/passportadvantage/pao_customers.htm","DNURL_FTP":" ","DDURL":null}]

Technical Support

IBM Software Support Handbook

For contact information, guidelines and reference materials that you need when you require support, review the IBM Software Support Handbook.



Support Page

For FAQs, lists of known problems and fixes, and other support information, on the IBM Rational Support Page, select your product support page from the list.



Support Information

Before you contact IBM Rational Software Support, gather the background information that you need to describe the problem. When you describe a problem to an IBM software support specialist, be as specific as possible and include all relevant background information so that the specialist can help you solve the problem efficiently. To save time, know the answers to these questions:


  • What software versions were you running when the problem occurred?

  • Do you have logs, traces, or messages that are related to the problem?

  • Can you reproduce the problem? If so, what steps do you take to reproduce it?

  • Is there a workaround for the problem? If so, be prepared to describe the workaround.

[{"Product":{"code":"SSYQ4J","label":"Rational Statemate"},"Business Unit":{"code":"BU053","label":"Cloud & Data Platform"},"Component":"Installation","Platform":[{"code":"PF027","label":"Solaris"},{"code":"PF033","label":"Windows"}],"Version":"4.6;^","Edition":"","Line of Business":{"code":"LOB45","label":"Automation"}}]

Product Synonym

Telelogic Statemate

Problems (APARS) fixed
To view the list of defects fixed with Statemate 4.6 see the <a href="http://publib.boulder.ibm.com/infocenter/rsdp/v1r0m0/index.jsp">Fixed Defects</a> document

Document Information

Modified date:
20 July 2018

UID

swg24023073

Page Feedback