IBM Rational Tau and DOORS Analyst 4.3.0.6-ifix002
Fixed problems |
IBM
Corporation |
©
Copyright IBM Corporation 2002, 2014
U.S. Government Users Restricted Rights - Use, duplication, or disclosure
restricted by GSA ADP Schedule Contract with IBM Corp.
Fixed Problems in 4.3.0.6-ifix002
Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
PSIRT
IBM20141016-1038-56 |
TLOG#75945 |
Update
OpenSSL to version 1.0.1j |
OpenSSL
was updated due a security issue. Now OpenSSL 1.0.1j is used. |
Fixed Problems in 4.3.0.6-ifix001
Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
PSIRT IBM20140603-0941-35 |
TLOG#75616 |
Updating
the version of OpenSSL to 0.9.8za |
OpenSSL
was updated due to a security issue. Now OpenSSL 1.0.1H is used. |
Fixed Problems in 4.3.0.6
Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
67792,019,866 |
TLOG#73060 |
Please
extend the functionality of XTNOUSE |
Functionality
of XTNOUSE_ptr_<type> has been extended. Now #ifndef
XTNOUSE_ptr_<type> is also added around operators and initialize
functions for ptr_<type> type. |
|
TLOG#71354 |
Pressing Go
twice hangs Tau |
Debugger
GUI was updated to disable Go button if application is already running, so it
is not possible to press Go twice |
Fixed Problems in 4.3.0.5
APAR Information |
Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
|
21093,019,866 |
TLOG#67502 |
Using
'unsigned' char creates test values that can crash the Validator when removed
|
We have
changed how unsigned char is read and written. It is now written as hex
literals: 0x00 - 0xff. It can read hex or decimal values.
|
|
21094,019,866 |
TLOG#67503 |
Specific
model gives no trace in the Validator |
Some
models gave a SYNTAX ERROR when trying to open Validator trace on a Sequence
diagram and the trace was missing instances. This problem
has been fixed. |
|
38136,019,866 |
TLOG#69053 |
TSC0153
warning faulty issued in certain situations (Please check Hanging_v2.zip.) |
TSC0153
warning was faulty issued in certain situations. This problem has been fixed.
|
|
54330,999,760 |
TLOG#69347 |
Tau 4.3
Semilocon is lost during code generation |
When
statements inside the task symbol end with a labelled empty statement ( LAB:;
) last semicolon is lost during code generation and it results in syntax
errors: |
|
68987,999,760 |
TLOG#69386 |
Tau 4303
crashes when Model Verifier starts up |
Tau
crashed after C code generation when loading a huge GenerationResult.u2 file.
This problem has been fixed. |
|
91187,663,706 |
TLOG#69497 |
Not
possible to Browse a database with any other that exactly 14 character long
name |
The
problem was in GetPathFromDisplayedName method which removes first 14
characters from path not given that name length could be different. The fix
was in reimplemeting this method to remove database name from given path. |
|
69545,999,760 |
TLOG#69626 |
Error on
replacing octet variables |
Sending a
signal with Octet value containing digits (for example, '01'H) in Model
Verifier resulted in "Error 45" Error when decoding octet from
buffer. This problem has been fixed. |
|
71608,999,760 |
TLOG#69625 |
Link can
not be deleted |
After
creating a link from initialize() of StateMachineImplementation in State
machine to initialize() itself, the link (StateMachineImplementation of
initialize()) can not be deleted. |
|
72028,999,760 |
TLOG#69758 |
Instance
generation order is incorrect |
Object
initialization order for nested objects is modified by the new “Initialize
container object prior to its parts and keep the order of objects” checkbox.
By default we initialize container object after we have initialized its
parts, but with this option enabled the object hierarchy is initialized from
top to bottom. |
|
70170,999,760 |
TLOG#69786 |
Informal
expressions should not be treated as Boolean |
Else-branch
of a decision symbol leads to an "error" state when decision value
is [[ informal statement ]] and there is more then one answer branch in that
decision. |
|
72028,999,760 |
TLOG#70069 |
xPartData_objSGC_SV_4S
generated before TLM series |
Instance
creation order for AgileC changes and is same as the order of their
definitions when the “Initialize container object prior to its parts and keep
the order of objects” check-box is enabled. |
|
63109,100,838 |
TLOG#70129 |
Some SQD
message lines loose the connection with the lifeline |
Now
Rational Tau makes sure line coordinates are correct |
|
90911,999,760 |
TLOG#71603 |
Model verifier
stop button increase memory usage |
Modifications
are made to minimize memory fragmentation in Model Verifier. |
Fixed Problems in 4.3.0.4
APAR |
Call
Ticket |
CR ID |
Synopsis |
Release
Notes Text |
|
55478,122,000 |
TLOG#63948
|
Unsigned integer division is incorrect in MV |
Unsigned integer div("/") and rem
operations could give an incorrect result for big unsigned values. This problem has been fixed. |
|
68591,663,706 |
TLOG#64370
|
WRONG DISPLAY OF SIGNALS ON A CONNECTOR |
The feature “show all signals” was not behaving
correctly. This has
been fixed. |
|
58787,122,000 |
TLOG#64444
|
No matching infix operator in Tau 4.3.0.3 |
Corrected C code generation to correctly handle
attributes of type 'char*' with default value. |
|
15847,019,866 |
TLOG#65564
|
Tau code generation is not reproducible |
The transformation which generates 'itself' parameter
was be applied first as it should. This has now been fixed. |
|
69664,663,706 |
TLOG#66916
|
Creating a model in a DOORS object faulty claims a
model already exist |
This is
fixed in 4.3.0.4 |
|
46222,122,000 |
TLOG#68237
|
Conversion from large unsigned to signed with
overflow will occur for xMod_SDL_Integer |
Unsigned integer mod("%") and fix
operations could give an incorrect result for big unsigned values. This problem has been fixed. |
|
82578,019,866 |
TLOG#57622
|
Please add a call to GenericDefault in sctpred.c |
GenericFreeSort now sets the Length field to 0 after
freeing types based on Bit_String and Generic_String. |
|
82578,019,866 |
TLOG#57623
|
Please introduce a NULL-pointer check for BlockProcess
|
Introduced a NULL-pointer check for BlockProcess. |
Fixed Problems in 4.3.0.3
APAR |
Customer Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
PK81224 |
03396,122,000 |
TLOG#48882 |
Tau code generation errors related to GUID-
TIL2369,TIL2341 |
Previously when generating C code for a model errors
related to none visible definition from other package could show up (
TIL2077: Undefined sort, TIL2369: No matching field selection, TIL2371: Type
mismatch... ). These errors related to the handling of syntypes for
passive classes and to the mechanism for initializing attributes in generated
code. Code generation has now been improved to avoid these errors. |
|
51689,000,744 |
TLOG#52246 |
Want Natural to be mapped to ‘unsigned int’ |
The mapping for Natural has been changed to
'unsigned int' in generated code. |
|
91613,100,838 |
TLOG#55212 |
Please intoduce a 'Yes to all' button for DOORS
modules when saving Tau model |
Now modules saves before closing. |
|
93052,100,838 |
TLOG#56861 |
DXL error when using 'DOORS - locate' and the DOORS
module do not exist |
A null pointer check was added to the locate
function. |
|
81349,999,744 |
TLOG#58171 |
Brackets are missing error reported on build after
the file was re-imported |
The case is duplicate of TLOG#57970 |
|
67219,122,000 |
TLOG#60043 |
TIL2312 error observed during build for statements with
mod (%) operator. |
Added support for % operator. |
|
86296,122,000 |
TLOG#60883 |
HTML Report Generation causes Tau crash |
Memory leaks on image saving have been removed. |
|
87429,019,866 |
TLOG#60885 |
One can not define XCONST for SCTAPPLCLENV |
XCONST and XCONST_COMP macros are obsolete and we
have updated the documentation accordingly |
|
89657,019,866 |
TLOG#61154 |
XPRINTALLOC prints faulty memory usage when using
external functions |
XPRINTALLOC mode has been fixed to print current
memory usage with regard to xFree calls. It decreases total allocated memory
size if memory is freed. Documentation on XPRINTALLOC and XCHECKALLOC compile
switches has been added. |
|
86422,019,866 |
TLOG#62218 |
Optimization wanted in the Dynamic Range Checking |
The flags XECUSTOMHANDLERS and XENOUSERWF have been
added to the kernel. They allow the user to remove the need for the coder
functionality when using error checking functions and to supply their own
implementations for error handling. |
|
92474,019,866 |
TLOG#62224 |
Further differences in the generated code |
Redesigned C code generator to avoid random names
and random order of elements in the generated C code. |
|
94287,019,866 |
TLOG#62934 |
Class hierarchy unnecessary initialized multiple
times |
Fixed problem with multiple initialization of struct
fields. |
|
94234,019,866 |
TLOG#62937 |
Call to an inherited function do not work as
expected |
Added Model Verifier/C code generation specific
check for virtual/redefined operations in passive classes and datatypes. |
|
94551,019,866 |
TLOG#63088 |
Tau crashes during Compare/Merge |
The crash occured while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now. |
|
92474,019,866 |
TLOG#62224 |
Further differences in the generated code |
Redesigned C code generator to avoid random
names and random order of elements in the generated C code. |
|
94551,019,866 |
TLOG#63088 |
Tau crashes during Compare/Merge |
The crash occurred while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now. |
PM22590 |
92474,019,866 |
TLOG#62224 |
Further differences in the generated code |
Redesigned C code generator to avoid random
names and random order of elements in the generated C code. |
|
48366,122,000 |
TLOG#57972 |
Error TIL2066 observed when using an attribute.
|
Having const attributes in passive classes from different packages resulted in TIL2066 error when using one of attributes in scope where the class owning the other one was also visible. This problem has been fixed. |
|
88151,122,000 |
TLOG#60928 |
Tau models with external operations returning OctetString
crashes during sdtsan |
C Code generator crashed when an external function
without parameters with only return value was used in expression for which
procedure result is passed by reference (for example, assignment expression
for OctetString str = MyFunc();). |
|
|
TLOG#61366 |
variables not initialized if a class doesn’t have a
state machine associated with it |
- Now variables will be initialized
|
|
89618,019,866 |
TLOG#61130 |
Differences in cast operators between code generated
on different machines |
Changed the algorithm for generation @cast_XXX
operators. Now it will use fixed suffixes for operator names. This should
keep generated code the same on different platforms/machines. |
Fixed Problems in 4.3.0.2
APAR |
Customer Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
|
7021731 |
TLOG#37323 |
Option to edit merge result in review differences
dialog. |
The "Editable Merge" feature are
implemented in the Tau Compare/Merge tool. This feature allows to edit merge
result directly in the review difference dialog. |
|
3042861 |
TLOG#46463 |
Tau 4.2 crashes only on Chiness XP when running
specific model |
Problems with multibyte encodings sometimes caused crash on Chinese and Japanese machines and sometimes resulted in incorrect symbols on MSC diagram during verification. These problems have been fixed. |
|
3043809 |
TLOG#47448 |
Step Over did not step over the operation |
Added documentation on how to properly step over RPC
calls in Model Verifier. |
|
7033524 |
TLOG#47884 |
Faulty TestCase translation when signals can be both
sent and received by SUT |
Signal output to SUT is not correctly translated
when the same signal is both sent to and received from SUT. This results in
FAIL verdict for the test that works ok. This defect has been fixed. |
|
|
TAU#8214 |
Implement Compare/Merge support for Analyst models. |
New menu to the CM module was added for support
projects and model selection form Doors DBs. |
|
51165,000,744 |
TLOG#51359 |
An option to obtain the coverage statistics through
console window. |
Print-Coverage-Table console command has been
extended to obtain coverage statistics from command line. A new section with
coverage statistics is now printed into the specified file for
Print-Coverage-Table command. It looks like this: ****************** COVERAGE STATISTICS
********************* Active class name : unit kind : Covered% ( N Covered
/ N Defined ) ---------------------------------------------------------------------------- TOTAL : Statements : 60% ( 34 / 56 ) TOTAL : Transitions : 62% ( 10 / 16 ) ---------------------------------------------------------------------------- Controller : Statements : 54% ( 23 / 42 ) Controller : Transitions : 54% ( 6 / 11 ) Hardware : Statements : 78% ( 11 / 14 ) Hardware : Transitions : 80% ( 4 / 5 ) The following requirements are achieved: 1) Same Transitions, Symbols covered in consecutive
runs do not increment counts. "N Covered" shows overall count which
holds the different transitions, symbols covered in consecutive runs 2) Report contains the total number of transitions,
symbols defined in the model, and the total coverage percent 3) It is possible to get statistics in the very
beginning of model execution, when no symbols and statements have been covered.
The table will contain 0 for coverage, but correct figures for the total
number of defined transitions and symbols |
|
51132,000,744 |
TLOG#51360 |
An option to obtain the coverage statistics with
total number of transitions covered under multiple test cases. |
Print-Coverage-Table <file> console command
has been extended to print coverage statistics for transitions and symbols
that contains : 1. Total No. Transitions, symbols defined in the
model. 2. Total No. of Transitions, symbols covered in the
test executions (in a single launch session) such that a transition / symbol
counted during a particular test execution is not counted again if covered as
a part of the sub-sequent test execution(s). Coverage statistics is printed into <file>
into new section "*** COVERAGE STATISTICS ***". |
|
70337,019,866 |
TLOG#51621 |
Please make it possible to sort the signals in the
MV signal list drop-down box |
New option is introduced to make entities in combo boxes of MV Messages view sorted alphabetically. This option is available in Advanced options tab, via U2/Debugging/SortedComboBoxes path. Option is on by default. |
|
64766,019,866 |
TLOG#51746 |
Building a model that initially was saved at urn:u2tauproject
gives a lot of errors and warnings if it has been moved |
Tau will prefer relative paths over absolute when
saving model parts in different files. |
|
00404,999,706 |
TLOG#52557 |
Breakpoint is missed during test case execution due
to a signal receipt failure on Test Profile artifact. |
Now if state has just one triggered transition with
guard condition for the same signal, the arguments of the signal will not be
ignored when generating C code. For the case when state has more than one such
transition, a proper warnings will be generated during the build. |
PK95079 |
71517,999,744 |
TLOG#52966 |
Tau Testing Profile build aborts with message 'Test
Generation Failed' with no actual errors but the error count |
Tau Testing Profile build aborts with message 'Test
Generation Failed' with no actual errors but the error count. This happens
when the model contains <<informal>> elements, for example,
interaction diagrams that reference private class attributes. Error messages
are not printed to output tab, because they refer to informal elements, but
error messages are visible if you run Build from command line using TauBatch. This problem has been fixed. Informal elements are
now ignored during check. |
PK98783 |
64579,019,866 |
TLOG#54268 |
Performance problems in a big model |
This is now mentioned in the Known Limitations
document. |
PM00003 |
01792,SGC,618 |
TLOG#54535 |
Comments are not synched to Tau (DOORS stored model)
when changed in DOORS |
The documentation is updated. |
|
05341,122,000 |
TLOG#54615 |
TIL2087 reported in a scenario although PID
expression is not used. |
Fixed translation of the call expression where the
called operation has the same name as operation that contains the call
expression. |
|
|
TAU#8721 |
Containment line can be started on symbols that
can't be containers |
Now only StrucutureClassifier, Package, DataType,
Method and Collaboration can be source of ContainmentLine. |
|
53020,000,744 |
TLOG#54882 |
OPERATION DECLARED PUBLIC IS NOT EXECUTED BY TAU. |
Now the local calls of remote operation are not
translated as remote calls. |
PM01409 |
15961,122,000 |
TLOG#54995 |
Not able to get back to the Automated merge result (duplicate
of verified CR: TOG#24041) |
Remerge now works correctly for text text symbols
and task symbols. |
|
91613,100,838 |
TLOG#55212 |
Please intoduce a 'Yes to all' button for DOORS
modules when saving Tau model |
Now modules saves before closing. |
PM02757 |
46250,650,758 |
TLOG#55329 |
OBJECT (NAMEDINSTANCE) SLOT NOT CONSISTENT BETWEEN
DIAGRAM/MODELVIEW/PROPERTIES |
Previously when slot expressions were created in property editor they did not appear in model view. It has been fixed. |
|
30830,999,000 |
TLOG#55470 |
THE TAU-SYNERGY INTEGRATION DO NOT ALLOW YOU TO GIVE
YOUR CREDENTIALS WHEN LOGIN INTO SYNERGY FROM A LINUX MACHINE |
The username and password credenials input filelds
was added. |
|
80316,999,744 |
TAU#8926 |
Issue with the initialization of variables of type
Enumerations and Booleans in derived classes. |
Corrected translation of default values of class
attributes. |
|
|
TAU#8842 |
Import SDL for Japanese OS - failed |
The Known Limitations document have been updated. |
|
93052,100,838 |
TLOG#56861 |
DXL error when using 'DOORS - locate' and the DOORS
module do not exist |
A null pointer check was added to the locate
function. |
|
29918,122,000 |
TLOG#57349 |
Cursor moves to the left when a message name is
typed (duplicate of TLOG#56762 and TLOG#56898) |
Previously cursor could jump to the left when editing text in certain situations. It has been fixed. |
|
82578,019,866 |
TLOG#57621 |
Please introduce a NULL-pointer check for
xHexStr_SDL_Octet |
Fixed a bug in xHexStr_SDL_Octet that allowed bad
input. |
|
82591,019,866 |
TLOG#57627 |
Please document the SCTDEBRMT compiler flag |
Added documentation for the SCTDEBRMT compiler flag |
|
82591,019,866 |
TLOG#57738 |
Using the 'conditional' Stereotype causes build to
fail with TSC4515 |
Added checks to ensure that only readonly attributes
with default value are used in <<conditional>> stereotype. |
|
82905,019,866 |
TLOG#57818 |
Test Profile does not take the conditionalInit()
operation into consideration |
Test Profile now takes into account
conditionalInit() operation. |
|
91632,999,000 |
TLOG#57820 |
TCI0007 error encountered when trying to import a
C++ file into Tau. |
Import of Borland C++ code has been improved. |
|
83389,019,866 |
TLOG#57920 |
Faulty help files regarding Conditional Constants |
Documentation updated. |
|
53719,000,744 |
TLOG#57943 |
TIL ERRORS WHILE BUILDING A MODEL |
Now syntypes of passive classes are properly handled
by C/Model Verifier code generator. |
|
83012,019,866 |
TLOG#58172 |
Using a 'const' as in/out parameter is not found by checker. Give TIL-error |
Usage of constant as actual argument for in/out or
out parameter is now checked by the semantic checker. |
|
10287,999,000 |
TLOG#59111 |
Incorrect WSDL generation by Tau with the Generate
WSDL option |
Corrected generation of WSDL from pure UML models. |
|
86076,019,866 |
TLOG#59357 |
Tau Kernel files contains dubious comments |
Obsolete dubious comments and commented code were
present in some installation kernel files. They have been removed or
rewritten to reflect up-to-date status. |
|
67194,122,000 |
TLOG#59622 |
Tau 4.3.0.1 generated binary crashes with error
:"glibc detected *** : double free or corruption (fasttop):" |
Tau crashes with an error:"glibc detected ***:
double free or corruption (fasttop):" when executed on target
machine. It happens when the model calls external C function that creates a
new charstring with 'T' as first symbol, which means temporary value (should
not be copied with strcpy but can be reused during expression evaluation and
assignments). This problem has been fixed. |
|
88060,019,866 |
TLOG#60469 |
Sending in an OctetString to an external function
causes a memory leak |
Passing OctetString type as a parameter to an
external function caused memory leak and forced to call free inside external
function that was not needed before. This problem has been fixed. |
Fixed Problems in 4.3.0.1
APAR |
Customer Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
|
6004951 |
TLOG#21140 |
Using Accept/Reject buttons make no difference in
the Result View |
It was not possible to select a proper merge result for a text in InlineFrameSymbol by selecting Version1/Version2/Ancestor in the ReviewDifference dialog. This problem is fixed now. |
PK96460 |
6005942 |
TLOG#21832 |
Error in signal routing |
In previous versions of Tau the C/Model Simulator
code generation produced wrong code for models containing an active class
with an internal structure. Implicit connectors were generated for non-behavior
ports that had explicit connectors. This caused wrong execution of the
generated code. Now generation of implicit connectors has been fixed to avoid
creation of unnecessary connectors. |
|
1050953 |
TLOG#24780 |
Shouldn't be possible to send/receive signals to
private(behaviour)port of class |
Now the semantic checker reports a warning if a
connector is connected to a private behaviour port. |
|
3038367 |
TLOG#39297 |
Issue when Timer Optimization is Enabled |
Fixed AVL timer queue handling problems which
resulted in wrong behaviour of the generated code when Timer Optimization is
Enabled. Updated functions SDL_Reset and SDL_Stop from sctsdl.c . |
|
2084234 |
TLOG#39430 |
Tau 4.0 Eclipse integration regression |
The menu with location and synchronization items for
editor window was reimplemented. |
PK84718 and PK88493 |
2084875 |
TLOG#39983 |
getpidbl returns wrong process instance |
For a part containing statemachine with finite
multiplicity > 1 that composes another part, sending signals to instance
#2, #3 etc. does not work fine and signals in any case are received by
instance #1. This has now been fixed. There are three new semantic checks implemented. A
class attribute check fires only when a parent class attribute is used in the
other scope and the parent class (or its derived or base classes) contains
parts or nested active classes and there is somewhere a non single attribute
of this type. |
|
1060683 |
TLOG#40100 |
Multiplicity of Active Class behavior and with
internal structure is unsupported |
Clarified documentation about the C code generator
limitation that multiplicity of active classes with behavior and with
internal structure is not supported. |
|
4052832 |
TLOG#42575 |
Association multiplicity not shown on diagram unless
file is checked out |
Association line multiplicity was not displayed for
lines that were in a non-editable state (such a checked in element under
source control). |
|
7028019 |
TLOG#42598 |
Please indicate the (Synergy) model version/release
that is loaded in the tool |
Now synergy information indicates by following
manner: Template: <filename>
[<release><current_synergy_delimiter>]<version>] Example: Package1.u2 [my_rel-1.2.1] In Doors Integration Version before [...] adss
'scc': 'scc[<release><current_synergy_delimiter>]' |
|
7028063 |
TLOG#42767 |
TauG2 4.1 does not explain why "No licenses
available" |
For the first checkout call in a session and a
license server is used a check is made to make sure that the license server
FLEXnet version is equal or higher than the application API FLEXnet version.
The return value is TL_WRONGSERVERVERSION if there is mismatch of versions.
Thus the call to tl_CheckServerVersion is not needed. For details on the
functionality see the tl_CheckServerVersion function. The idea is that you can override this error by
trying again. |
PK84713 |
7033775 |
TLOG#48178 |
Tau 4.2.0.1 Simulator not running correctly a Tau
3.1 model |
Added backward support for old debug configuration
files. |
|
2092933 |
TLOG#48180 |
Tau Validator - test value - removing one singal
removes all |
Tau Model Explorer: In the Test Values tab, it is now
possible to remove a single signal by clicking the '[Remove]' link next to
it. Previously this resulted in all signals of the same type being removed.
The functionality is also available for the command line interface by using
the new command "Clear-Single-Signal". |
PK81224 |
3044682 |
TLOG#48882 |
Tau code generation errors related to GUID-
TIL2369,TIL2341 |
Previously when generating C code for a model the
error TIL2371: Type mismatch... could show up. This error related to the
mechanism for initializing attributes in generated code. The initialization
mechanism has now been improved to avoid this error. |
PK81516 |
92467,180,000 |
TLOG#49016 |
VCS.EXE - catastrophic memory growth for each
transition fired |
New option to switch the execution history saving
was added. This enables user to get rid of history if he does
large calculations. |
PK81820 |
73293,487,000 |
TLOG#49180 |
Cannot associate Tau project to Synergy Task |
Now while creating new project it is possible to
select existing user task and use it or create new one like it was possible
in previous versions. Also in this case was fixed bug with user tasks list in
toolbar. It has no tasks while start up. Now it's fixed. |
PK82581 |
53369,100,838 |
TLOG#49473 |
Error importing Java code |
Now there is no errors appear. All changes were done
in compliance with recommendations. |
PK84712 |
90953,999,706 |
TLOG#49868 |
TNR errors while trying to build the model |
Corrected translation of triggered transitions with
the same trigger, but different guard transitions. |
PK86568 |
92300,999,706 |
TLOG#50962 |
Import if several xsd files containing includes
duplicates the imported schemas |
When importing multiple XSD files including other
schemas, each schema is now only imported once, even if it is included
several times. |
PK87224 |
50901,000,744 |
TLOG#51090 |
Multiple composite states when used in a state
symbol seperated by comma do not work. |
Added semantic error for the case when state symbol
has reference to more than one composite state. |
PK89594 |
93914,999,706 |
TLOG#51667 |
Signals from packages with é in the name get
scrambled parameters in the SQD trace |
A problem related to corrupted text strings in the
sequence diagram trace produced by the Model Verifier has been solved. |
PK92156 |
48241,122,000 |
TLOG#51852 |
XML read errors while trying to diff merge a Tau U2
file from Clear Case. |
When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has not been fixed by load the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information. |
PK90706 |
94489,999,706 |
TLOG#51965 |
<<hidden>> stereotype causes Syntax
errors when later edited |
Textual syntax is fixed to allow stereotypes for
timers and signals in class symbol. |
PK90741 |
94541,999,706 |
TLOG#51973 |
Model Browser still export diagrams that has the
<<hidden>> stereotype applied |
Now <<hidden>> diagrams are not exported
to HTML |
PK92253 |
77815.100.838 |
TLOG#52332 |
DOORS Analyst 4.3 opens with a blank page. |
When a project stored in DOORS was loaded for the first time and Tau was closed without saving the workspace, the project would not be properly loaded the next time. This has now been fixed. |
PK92850 |
00378,999,706 |
TLOG#52453 |
Tau model with signal receipt and guard after a '*'
state,reports NMAKE errors during make. |
Generated C code may result in "'x' : is not a
member of 'T'" compile errors when: 1) An active class B inherits from active class A 2) Active class B contains a triggered transition
from state * with a signal and a guard condition that references class B
local variable (for example, Signal1(a) [a == b], where 'a' and 'b' are class
B local variables) This problem has been fixed. |
PK93249 |
48571,663,706 |
TLOG#52571 |
DOORS Analyst tries to save and synchronize even if
there are no changes made. |
Force saving workspace after loading project was
added to avoid wrong workspace creation and saving. |
PK93724 |
78065,100,838 |
TLOG#52686 |
TM Errors when trying to convert a module |
Model files referenced by model dependencies are now
only loaded when creating a new project or when inserting a file into an
existing project. To resolve missing files in other situations, the files
needs to be inserted into the project manually. |
PK94118 |
01601,SGC,821 |
TLOG#52789 |
Dependency between namedinstances in Object Diagram
does not bind and shows up in red |
Now dependency can be bound to named instance. |
PK95824 |
78847,100,838 |
TLOG#53214 |
TAU crash - APAR: PK95824 |
Corrected infinite recursion in the name resolution. |
|
50858,999,000 |
TLOG#53274 |
Connector lines cannot be printed in color. |
Lines were previously always printed black, even
though the line was colored. |
PK96140 |
85868,122,000 |
TLOG#53317 |
A Syntype definition from the U2p file is not
updated on to the U2 file. |
Now "constants" constraint is updated
correctly from u2p file. |
PK98966 |
05010,122,000 |
TLOG#54312 |
A commented assignment line when uncommented leads
to TNR0029 error during build |
Certain edit operations such as copy/paste in state chart diagrams, or certain editing operations in a text symbol, could occasionally lead to a model corruption (duplicate GUIDs). This problem has now been resolved. |
PM00185 |
73664,999,744 |
TLOG#54608 |
TSC0283 error seen when customer builds the model on
Tau 4.3 |
Template transformation has been corrected to avoid
occasional expansion of predefined C/C++ templates like CPtr, CArray, etc. |
PM00180 |
07995,122,000 |
TLOG#54616 |
Tau 4.3.0.0 version crashes during compare / merge. |
The Compare/Merge tool crashed because of the bind
issue in parallel versions of a model (Version2/Ancestor) This bind issue is
fixed. |
PM00270 |
90773,100,838 |
TLOG#54632 |
Rational DOORS Analyst ask about saving when closing
directly after a Save All |
Unnecessary Save requests have been removed. |
PM00361 |
90810,100,838 |
TLOG#54657 |
UML-objects not saved at correct location in Tau |
UML elements created in DOORS were in some situations created at an incorrect location when committing the changes to Tau. This has now been fixed. |
|
79484,100,838 |
TLOG#54660 |
Please increase the COM-timeout for Tau-DOORS
Synchronization |
It is now possible to control the behavior of the
COM timeout mechanism used when communicating with DOORS by using two
registry values. Two keys are defined in
HKEY_LOCAL_MACHINE\SOFTWARE\Telelogic\TAU\4.3\Integration: DOORSServerTimeoutDialog DOORSServerTimeoutValue DOORSServerTimeoutDialog is used to control if the
COM timeout dialogs should be displayed or not. If the value is 0 the dialogs
are not displayed. If the value is 1 they are displayed. The default value is
1. DOORSServerTimeoutValue is used to control the timeout (in milliseconds) before showing the dialog(s). This value is only meaningful when the dialogs are enabled. The default value is 45000. |
PM00428 |
90842,100,838 |
TLOG#54669 |
Duplicate file references when loading DOORS/Analyst
model |
When adding a model file referencing other files
through model dependencies, multiple file references are no longer created in
the project. |
PM00460 |
90844,100,838 |
TLOG#54672 |
DOORS memory consumption increase massively when
having DXL in default views and Tau open models |
The amount of memory used by DOORS when using the
DOORS integration was drastically reduced. |
PM00508 |
90878,100,838 |
TLOG#54695 |
UML-Objects that in DOORS have an Object Text get
Change bars when opened in Tau |
UML elements in DOORS with Object Text are now
marked as changed when loading the model in Tau only when the text has been
changed. |
PM00647 |
90426,100,838 |
TLOG#54747 |
The parser adds duplicate characters in green when
pasting (informal) text containing keywords into symbols |
A problem with syntax highlighting of auto-qouted
texts have been fixed. |
PM01410 |
74568,999,744 |
TLOG#54991 |
TSC0452 errors encountered while generating C code
generation project. |
Template transformation has been corrected to avoid
occasional expansion of predefined C/C++ templates like CPtr, CArray, etc. |
PM01409 |
15961,122,000 |
TLOG#54995 |
Not able to get back to the Automated merge result |
Remerge now works correctly for text text symbols
and task symbols. |
|
91592,100,838 |
TLOG#55194 |
Please make it possible to manually type in the
location for the DOORS Synchronization Module |
In the DOORS synchronization settings dialog, a path to the location can now be entered manually. If a valid path is entered, only that part of the database is read and displayed when pressing the "..." button. This drastically improves the performance with large databases. |
PK91774 |
94890,999,706
|
TLOG#52190 |
Models get corrupted (duplicated guids) by
simple Copy/Paste in Statechart diagrams |
Sometimes models get corrupted (duplicated guids) by doing Copy/Paste in State chart diagrams. This has been fixed. APAR: PK91774
|
PK92156 |
48241,122,000
|
TLOG#51852
|
XML read errors while trying to diff merge a
Tau U2 file from Clear Case. |
When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has now been fixed by loading the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information. |
PK96140 |
85868,122,000
|
TLOG#53317
|
A Syntype definition from the U2p file is not
updated on to the U2 file. |
Now "constants" constraint is
updated correctly from u2p file. |
|
58918,999,744 |
TLOG#49538 |
Huge delay (~10 mins) in loading models,
opening/ editing large statemachines in TAU 4.0 |
A new option in the U2\Options\Editing\Lines
is introduced in order to disable idle-time line routing when needed. |
Fixed Problems in 4.3.0.0
Customer Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
2077548 |
TLOG#269 |
TIL errors for output from passive class method |
The usage of output actions in a method of a passive
class is not supported by the C/Model Simulator code generator. Previously,
TIL errors were generated when building such models. Now a UML-level
check has been introduced to catch these errors on UML level. |
4028569 |
TLOG#295 |
confusing text for TIL2323-warning when operator
misses body |
Now, when generating C code, warning messages about unused
definitions will not be printed. |
7004609 |
TLOG#18346 |
Redeclared operations give (irrelevant?) errors that
navigates wrongly |
A new semantic check for C code generation
(including Model Simulator) has been added. It checks that an active class
does not realize or require interfaces having operations with the same
name. Previously such models would yield irrelevant TIL errors. Now
compliance with this limitation is checked on UML level. |
1046578 |
TLOG#18594 |
Undo and redo actions not performed successfully on
model update in TAU G2 2.6 |
Message lines in sequence diagrams no longer
disappear when using the "Update Model" command of Active Modeler
followed by Undo and Redo. |
6002164 |
TLOG#19429 |
File::Close in Menu option does not function as per
the general functionality |
File::Close in the Menu option now function as per
the general functionality, for the .u2 file |
7006445 |
TLOG#20412 |
TAU becomes extremely slow after code generation. |
Previously the performance of Tau could deteriorate after code has been generated for a large model. This has now been improved to get better performance. |
6005942 |
TLOG#21832 |
Error in signal routing |
In previous versions of Tau the C/Model Simulator
code generation produced wrong code for models containing an active class
with an internal structure. Implicit connectors were generated for
non-behavior ports that had explicit connectors. This caused wrong execution
of the generated code. Now generation of implicit connectors has been fixed
to avoid creation of unnecessary connectors. |
4032922 |
TLOG#22027 |
Documentation about CORBA Unions is wrong |
An error in the documentation about CORBA Unions has
been corrected. |
3024148 |
TLOG#22047 |
It is possible to split the inline frame for the
loop option |
The separator line can be used in inline frames on a
Sequence Diagram only with specific operators. Previously, the wrong usage of
separator line was not checked by Tau. Now a special semantic check has been
introduced to check that separator line is used with the appropriate
operator. |
4033501 |
TLOG#22112 |
Errors reporting Faulty connectors can not be
navigated from (to the source) |
Previously when the semantic checker found an
error/warning in a connector end it was not always possible to navigate from
the error message to the connector end. This has now been solved by instead
associating such error messages with the connector to which the connector end
belongs. |
7007981 |
TLOG#22113 |
Created Test Case from existing UC SQD doesnt bind |
Now Tau checks (and updates if it necessary)
ImplementedSignature reference of test case. |
4033948 |
TLOG#22360 |
Opening a u2 file instead of a ttw file makes the
tool behave faulty |
It is now possible to close standalone files with
File->Close menu. |
4033978 |
TLOG#22362 |
It is not possible to close a u2 file opened by
mistake |
It is possible to close standalone files |
6008307 |
TLOG#23070 |
There is no way to locate definition SecuritySystemX
in Internal Block diagram |
The semantic checks TSC0373 and TSC0096 were
corrected to ignore unnavigable association ends and references in a sequence
diagram. |
3025570 |
TLOG#23860 |
When we use xSignalLog fn we get errors NameNode is
not a member of xPrsStruct. |
The error messages that were printed for the
xSignalLog and xProcessLog functions from sctenv.c when compiling generated C
code with the flag XSIGLOG defined have now been fixed. |
6009969 |
TLOG#24077 |
Unable to dragdrop subjectsymbol qualified by colon
from 1 UC diagram to another |
Now the semantic checker will not yield an error for
a subject with an empty name. |
7009787 |
TLOG#24212 |
The Wording of Semantic Checker message TSC4530
should be changed |
The message of the semantic check TSC4530 has been
improved. |
7009811 |
TLOG#24250 |
Name completion not working properly with dual
screens |
Popup window is visible on secondary display |
1050936 |
TLOG#24443 |
Minor document error in "Update file" to
be corrected from "modelled to "modeled |
A minor error in the documentation about the TTDFileModel
profile has been corrected. |
1050953 |
TLOG#24780 |
Shouldn't be possible to send/receive signals to
private(behaviour)port of class |
Now the semantic checker reports a warning if a
connector is connected to a private behavior port. |
1051224 |
TLOG#25117 |
Enter/Exit/Do actions should be more visible in the
model |
Entry, do and exit compound action nodes are visible
in the model browser now. |
3026579 |
TLOG#25268 |
UML Increment Operator throws TIL Error |
The C code generator now supports the UML increment
(++) and decrement (--) operators on integer types. |
4037702 |
TLOG#25909 |
Name completion do not work in SQD states |
Name completion works in SQD states now. |
1051771 |
TLOG#26084 |
Generated file artifacts for template classes have
dependencies that won't bind |
The C++ code generator now generates file artifacts
for template definitions more correctly. Previously the dependency generated
for such a file artifact would contain a binding error. |
1052195 |
TLOG#26900 |
Nextstate breakpoint refresh issue |
Previously when setting a breakpoint on a state symbol representing a next state, the breakpoint would not be immediately visible. This has now been fixed. |
1052196 |
TLOG#26901 |
Statemachine breakpoint refresh issue |
Previously when setting a breakpoint on state machine elements, the breakpoint marker could be shown multiple times in the diagram. This duplication has now been fixed. |
4040224 |
TLOG#28354 |
Please make the list for the 'Type' in the
properties ordered |
The 'type' property is now sorted alphabetically. |
4040401 |
TLOG#28516 |
Ports unbound and Connectors not shown after using
'Show Elements...' |
The behavior of the “Show Elements..” command for
Composite Structure diagrams has been improved. Now this command shows parts
with bound ports and connectors. |
3030302 |
TLOG#29544 |
Creation of new Classes to be allowed both in Visual
Studio and in Tau |
The synchronization of Tau C# project files with
Microsoft Visual Studio has been improved. |
4041379 |
TLOG#29616 |
Content of added u2-file faulty marked us changed |
Content of added u2-file do not marked as changed. |
3029930 |
TLOG#29673 |
relation ship does not showup |
It is now supported to show attributes typed with templates
as association lines when dragged & dropped to diagram. |
7015062 |
TLOG#29840 |
Name mangling for operation names containing spaces
visible in MV SQD trace |
Previously a mangled name would be shown in the Model Simulator for an operation or signal having a name that contains spaces. The mangled name would show up in the sequence diagram trace, as well as in the 'Signal' column in the Messages window. Both these problems have now been solved. |
4042477 |
TLOG#30975 |
Please 'auto-activate' line handles when
mouse-pointer is near |
Line handles are now displayed when mouse hover
above a symbol and not only when the symbol is selected. |
2060435 |
TLOG#31385 |
Display numbers for state chart diagrams in model
view |
New tooltip is added for diagrams in the Model view |
7016700 |
TLOG#31557 |
No type control in lifeline of SQD |
The semantic checker now checks that the type of a
lifeline is the same as the type of an attribute that is represented by the
lifeline. |
7016913 |
TLOG#31700 |
Not possible to use macros without modifying
generated files |
A new attribute "Additional Preprocessor
Defines" has been added to the C Code Generator, AgileC Code Generator,
Model Simulator and Model Explorer build artifacts. It is represented by a
new text edit control in the Properties window where the user can specify
additional compilation switches. |
3032478 |
TLOG#31760 |
flexible number of operation parameters not working |
Now the C code generator (including Model Simulator)
correctly supports operation parameters with non-single multiplicity. |
3031779 |
TLOG#31902 |
Tau Model Verification undocks output tabs |
Output window could at some occasions be undocked automatically. This problem has been resolved. |
6019914 |
TLOG#32625 |
Activity Line Verices placement not remembered |
Orthogonal lines don't change their shapes when symbols
are moving on activity diagrams |
7018073 |
TLOG#32821 |
Invalid error produced with name of XML Schema |
It is now possible to create XML schemas with non-alphanumeric characters in the name and generate Java code from the model without getting an error. Now a warning is printed instead. |
7018663 |
TLOG#33471 |
Assigning an attr. with a class that has an inner
structure give a TCC0810-error |
Previously when generating C code or using the Model Simulator, an assignment like “v = p[i]” where ‘p’ is a part typed by an active class with internal structure could cause build errors if the active class did not have a constructor or the assignment was used within a for/while loop. Now these limitations are removed. |
3034491 |
TLOG#33564 |
incrementor decrementor still does not function
completely the right way |
The C code generator and Model Simulator have been
fixed to always assign parameters from left to right during structure
initialization with the (. params .) construct. This removes the previous
platform specific behavior, when on some platforms initialization were from
right to left, while on others it was from left to right. Now code is
generated in such a way that on all platforms initialization works from left
to right. |
2082096 |
TLOG#34219 |
Operation calls from part to parent |
A C code generator specific semantic check has been
added to yield a warning if code in a nested part calls an operation defined in
an interface realized by a containing part without specifying the object to
call explicitly. |
3035134 |
TLOG#34372 |
set-sdl-coder results in build errors |
Added compile flag XRWF_JUSTCODER that modularises monitor
functionality from serialization/coder functionality. |
3035043 |
TLOG#34414 |
Query on URN not defined in TauBatch |
The support for URNs in TauBatch has been improved. |
2082126 |
TLOG#34467 |
BUG in property editor when using XSD/WSDL |
The Property Editor drop down menu control now
supports sorting based on the scoped name of the definitions shown in the
list. This often makes it easier to find the correct definition to choose,
and is now used when editing the type of a structural feature. |
2056798 |
TLOG#34536 |
Virtual procedure parameters, not redefined in SDL
import |
A semantic check related to a virtual/redefined
operation having a generalization has been improved. |
6022571 |
TLOG#36422 |
Link options - Active link end is an active target,
not an active source |
"Active link end is an active target, not an
active source" option has been renamed to "Reverse creation"
to better explain it's purpose. |
7021183 |
TLOG#36439 |
For merge, Save List with Ignore-Layout still shows
some layout diff items |
Problems in "Save List" functionality are
fixed. |
6019808 |
TLOG#36739 |
Use Case based on requirement text |
The "Create Use Case" wizard has been
improved to allow using attribute values, such as the Object Heading, as the
use case name. |
|
TLOG#36922 |
SA_UML2: DeploymentSpecification symbol displayed
with ‘artifact’ stereotype |
The meta model definition of DeploymentSpecification
is now based on Artifact instead of Class. This is consistent with the UML
standard. Old models using DeploymentSpecifications will be automatically
updated to the new definition. |
6022730 |
TLOG#36960 |
Cannot edit names for some of the requirements. |
Now it is possible to edit labels on remote
definitions on diagrams. |
7022709 |
TLOG#38202 |
Comments and not shown managed quotation marks gives
text coloring errors |
Syntax highlighting of text could at some occasions be incorrectly offset. This problem has been resolved. |
3038184 |
TLOG#39074 |
Package order after moving up/down can not be saved |
Packages order after moving up/down is saving now. |
4050162 |
TLOG#39349 |
Error message contain two full stops at end |
A minor error in the error message printed for the
Tcl command u2::LoadFile has been corrected. |
5021348 |
TLOG#39618 |
It should be easier and more obvious to switch model
filter view. |
A model view selector has been added to the model
view. |
4050769 |
TLOG#40056 |
Please improve the autolayout performance. |
Performance of autolayout command has been improved. |
7024847 |
TLOG#40124 |
Code generated by the AD Simulator generates TSC0087
warnings |
Previously when simulating activities warnings related to stereotypes extending the wrong meta class would occur. This has now been fixed. |
4050846 |
TLOG#40195 |
Please let the user start at 'Name edit mode' when
creating a new diagram |
'Name edit mode' is working when creating a new
diagram. |
2085980 |
TLOG#40877 |
Internal error: [...] after 1 or 2 Import Java
source code runs |
The Tau Java support now works for a workspace with
multiple projects. |
2085896 |
TLOG#40888 |
Importing C++ into Tau 3.1 - Failed to load library
for implemention of agent |
Syntax errors detected during C/C++ import are now
printed correctly also on the Solaris/Linux platform. Previously those errors
were suppressed on Solaris/Linux. No errors are printed to stderr any longer. |
7025902 |
TLOG#41023 |
Strange graphical effect while dropping a signal in
a signal receipt symbol |
When an element was dropped on a symbol, causing it to change appearance, a visual effect could be seen at some occasions. This problem is now solved. |
3039267 |
TLOG#41097 |
pre and post condition stereotype applied to
informal constant is not displayed |
A stereotype label was added to constraint symbols. |
1061749 |
TLOG#41315 |
"Show all attributes/operations" as
default for diagrams from imported C++ |
Regeneration support seems to be the only advantage
from "new" diagram generators... And if or not class symbols are
shown with attributes and operations now should depend on usual options
"Show Attributes" and "Show Operations". |
1062063 |
TLOG#41581 |
Unable to show all attributes/operations for
multiple selection |
"Show/hide attributes/operations" is
working for multiple selection. |
4052302 |
TLOG#41913 |
Inline Frame |
Inline frame symbols appear above method call
symbols on SQDE |
7027402 |
TLOG#42121 |
Predefined diagram Generators fail with an internal
error for Statemachines |
An erroneous error message related to class diagram
generation has been rewritten. |
3039867 |
TLOG#42294 |
how to remove the scope before action |
Now qualifiers for Activity Symbols can be
completely hidden. |
3039884 |
TLOG#42303 |
connection lines overlapping the symbols in the
State Machine Diagram |
Line router works on big diagrams |
7027709 |
TLOG#42336 |
Usecases from another packages are shown with
parenthesis |
Use cases from remote packages are now shown without
parenthesis. |
7027551 |
TLOG#42348 |
'AgileEEGenerated' stereotype added to generated
Java code |
The Java code generator has been fixed to properly
handle special stereotypes. If a stereotype has no meaning from a Java point
of view, it will not appear in the generated java code |
4052834 |
TLOG#42590 |
Some class attributes imported from Together do not
bind properly |
A problem in the Together importer has been fixed.
Previously the type of some imported attributes would not bind correctly, but
this has now been fixed. |
4052809 |
TLOG#42599 |
Create presentation (include lines) por defecto |
An option have been added to make is possible to
choose if lines should be created or not created as a result of a drag &
drop operation from model view to a diagram. |
3040106 |
TLOG#42708 |
Core Dumps for activity simulation |
A crash related to Connector symbols used in activity
simulation models has now been fixed. |
3040137 |
TLOG#42771 |
TAU can not show stereotype if there is an hyperlink |
All stereotypes on part symbols appear |
1063531 |
TLOG#42772 |
stereotype not showing on element after reloading
the model |
All stereotypes on part symbols appear |
7028300 |
TLOG#42873 |
Passing Signal Type as a Parameter to an Operation |
A semantic check has been added which reports a
warning if a signal is passed as the actual argument of an operation call. |
1064121 |
TLOG#43303 |
copy&paste issue in text diagram |
An issue when copying and pasting text containing
comments in a Text Diagram has been solved. |
1064198 |
TLOG#43335 |
Automatic creation of one extra bracket on moving
the signal to another package |
Previously when moving a signal between packages, Tau would sometimes add an extra bracket in diagrams where the signal was referenced. This problem has now been resolved. |
3040679 |
TLOG#43720 |
A part cannot have more than one multiplicity range. |
The semantic check TSC3007 (concerning range checks
for parts) is now only checked when generating C code or using the Model
Simulator. |
7029191 |
TLOG#43736 |
Impossible to set some breakpoints under the
verifier |
Previously when setting a breakpoint on some kinds of actions in the Model Simulator, an error message would be printed. This has now been fixed. |
7029397 |
TLOG#43926 |
The '[SysML View]' information removed from Model
View under certain conditions |
Project nodes in the Model view don't lose active
view's name anymore when saving. |
2088698 |
TLOG#44205 |
HTML Model Browser file names are too long |
A new naming scheme was implemented for the Model
Browser to avoid long directory and file names. |
4053836 |
TLOG#44280 |
Trying to draw a message from an unbound Lifeline
messes up the tool |
Now an unbound life line cannot be used as the
source or target of a line. |
2088687 |
TLOG#44345 |
Add-in that allows them to display security
classification |
It is now possible to set a diagram heading and
footer with for example security classification. |
7029841 |
TLOG#44402 |
Code generation error when having a combination of
factors |
The file GenerationResult.u2 could previously sometimes contain invalid XML when generated by the C code generator. This problem has now been solved. |
7030104 |
TLOG#44619 |
Check All reports invalid warnings for child classes |
The semantic check TSC0396 (analysis of unreachable states)
has been improved to now also handle statemachine redefinitions. |
4054227 |
TLOG#44748 |
validator interface window values |
The upper bound of the Model Explorer bit-state
depth parameter has been added to the Model Explorer user interface. |
2089599 |
TLOG#44858 |
Tau 4.1 New Case - Properties Layout |
Your advertising can be placed here. |
7030452 |
TLOG#44961 |
The 'Hide Qualifier' button do not work on
Stereotype in Diagram Heading |
Hide qualifier button now works on diagram heading stereotypes
as well. |
1065672 |
TLOG#45111 |
Overlaped Signal symbols |
The behavior when drag-dropping signals onto input
symbols and transition lines is now consistent. |
7030641 |
TLOG#45117 |
Activity "name" property in Tau doesn't map
to SA dictionary object name |
The name of an activity node created in Tau and stored in a System Architect encyclopedia, was not visible in System Architect. This is now resolved. |
1065765 |
TLOG#45222 |
Ctrl+leftclick can not set anchor point on transitionline
in state chart diagram |
It is now possible to add and remove a vertex on a
transition line. |
7029937 |
TLOG#45309 |
Please show the multiplicity of pure associations in
the Properties panel |
It is now possible to see the multiplicity of an
association's association end in the property page of an association. |
2090101 |
TLOG#45329 |
TIL2371: Type mismatch for variable, formal
parameter, |
When generating C code or using the Model Simulator on
a model containing an attribute with a default value defined in an action,
the error TIL2371 can sometimes be reported due to a limitation in the C code
generator. Previously it was not possible to navigate from this error to the
model which made the problem difficult to resolve. Now navigation between
this error and the model has been enabled. |
7031046 |
TLOG#45384 |
"CHILDKILLED 6972 SIGSEGV" error when
importing wsdl generated by T |
The WSDL generator will now set the location to
urn:undefined if it is not specified explicitly in the soap:address element. |
1065990 |
TLOG#45459 |
how the Class operation can be synchronized with the
DOORS module? |
Now all needed presentation elements have modified
flag. So tau saves them in Doors. |
1066058 |
TLOG#45529 |
DOORS Defect with checkDXL() effecting Analyst View |
Navigating a formal module in DOORS using the
Analyst View no longer causes a memory leak. |
7031206 |
TLOG#45537 |
Model View explorer icons don't properly reflect
state of sync with DOORS |
The DOORS export indicator icon has been improved to
more accurately reflect the current state of each element. |
1066064 |
TLOG#45556 |
Indication to show the existence of comment symbols |
Symbols with hidden comments have an indication now.
Double-click on the indicator creates the first hidden comment |
2090357 |
TLOG#45565 |
Constraining BitString TIL error. |
A new semantic check has been added to detect
constraints of a syntype of the BitString type, as this is not supported by
the C code generator. |
3042267 |
TLOG#45566 |
TSC0256 reported if syntype is constrained using
'size' |
The semantic checks detecting unsupported use of
syntype constraints have been made more precise. Some errors have also been
fixed in the handling of those syntype constraints which are indeed supported
by the C code generator. |
1066093 |
TLOG#45621 |
The "Show inherited literal elements"
context menu option, doesn't |
Inherited literals are shown now |
1066096 |
TLOG#45633 |
Crash when deleting a literal from a Primitive
symbol, in some cases. |
Tau could at some occasions terminate when a deleting a feature from a symbol with compartments. This is now resolved. |
1066087 |
TLOG#45660 |
when a diagram color is applied the "remove
diagram prop" remains disabled |
The 'Remove diagram properties' operation will now
change the color to the color defined in options when executed on a diagram. |
1066063 |
TLOG#45686 |
Exit Name Overlap |
Word wrapping on return symbols' labels is now off. |
7007520 |
TLOG#45851 |
Model Verifier run-time prompt is limited in number
of characters shown |
Previously the Model Simulator run-time prompting
dialog had a limitation in how many characters it could display. This could lead
to the truncation of long texts. This problem has now been solved. |
7031797 |
TLOG#46116 |
Model verifier corrupts PowerSets |
The Model Simulator now handles PowerSets correctly. |
7031969 |
TLOG#46344 |
TAU G2 window is brought to the front automatically |
The tool's window is blinking when loaded project is
modified outside (on Windows only). |
4055513 |
TLOG#46477 |
'Check All' does not find unbound Signal Parameter |
An error in a diagram of the 'umlVerificationCoffeeMachine'
example has been corrected. |
4055578 |
TLOG#46575 |
Memory leaks with Automatically Generated
Serialisation Routines |
Fixed a memory leak for the ascii coder library. |
1066906 |
TLOG#46791 |
Object diagram in DOORS\Analyst |
I have added object diagram and stuff to analyst
view metamodel. |
4055341 |
TLOG#46935 |
Calling an operation in a class with inner structure
fails |
The C translation of a public operation of an active
class with innner structure has been corrected. This fix applies both to the
C code generator and the Model Simulator. |
7032701 |
TLOG#47215 |
Adding inline frame does not work |
Now refreching of symbols should work fine |
4025369 |
TLOG#47422 |
Autolayout in Interaction Overview Diagrams does not
work properly |
Autolayout has improved; also undo after doing
"automatic layout" has been fixed. |
1067654 |
TLOG#47754 |
Missing end tag of elements on Tau exported XMI file |
Tags are not missed while XMI export. |
4056629 |
TLOG#48079 |
Last created descision branch causes errors because
of faulty temporary indexes |
For the C code generator and Model Simulator the
initialization of temporary variables which are used in transformation of
complex index expressions has been corrected. Now initialization of temporary
variables is not skipped when index expression is used in condition of
decision action. |
65031,999,000 |
TLOG#49022 |
Switch statements with more then one branch ignores
the Default branch if test is an expression |
For the C code generator and Model Simulator the
translation of a switch statement with more than one branch has been
corrected. Now it does not ignore the default branch if the condition of the
switch statement is a call expression. |
56164,SGC,724 |
TLOG#49161 |
Test Framework and XSD Framework clashes so that
building failes |
A problem in the usage of the <<import>>
stereotype in the TestingProfile has been fixed. A qualifier has been added
to avoid name clashes with the predefined <<import>> stereotype. |
53367,100,838 |
TLOG#49279 |
Java Runtime Library 6 corrupt or incomplete |
Now Java runtime 6 libraries are loaded properly when
creating a UML for Java Code Generation project |
|
TLOG#49501 |
GB18030: GB18030 characters will garbaged when copy
to URL. |
'Copy to URL' operation now also set the Unicode
clipboard format. |
50311,000,744 |
TLOG#49865 |
Tau MV build launched using Build -> Start Model
Verifier crashes if stopped using Build -> Stop. |
An Application Builder crash that sometimes occurred
when stopping a running Model Simulator has been fixed. |
91314,999,706 |
TLOG#49975 |
11 TIL/TCC errors issued when having redefined
inherited port |
Previously when generating C code for an active class which redefines inherited ports, the internal errors TIL2001 and TCC0800 were reported. This has now been fixed. |
6007017 |
TLOG#22308 |
Multithreaded Generated application crash |
Several improvements were made in the TOR C++
library to better support multithreaded applications. NOTE: As part of the changes, the global
eventManager variable is no longer available as it was not thread-safe.
Models that use it should be updated to instead use the static functions of
the EventManager class. |
|
|
|
|
6011961 |
TLOG#26153 |
When build artifact disable instrumentation,VS
project shouldnt have these macro |
For the <<Makefile Generator Settings>> stereotype
new option fields have been added. Now it is possible to override the default
output file name for the C++ project and to set up user-defined preprocessor
defines and additional include directories. Also the Microsoft Visual Studio integration supports
these new options and can update the corresponding Visual studio project
settings. |
6019808 |
TLOG#36739 |
Use Case based on requirement text |
The "Create Use Case" wizard has been
improved to allow using attribute values, such as the Object Heading, as the
use case name. |
3038746 |
TLOG#39938 |
ER: Tau and MSVS needs better coupling |
The MS Visual Studio integration has been
significantly improved. Many errors have been fixed and C++ projects are now exported
to MSVS correctly including all project settings. Note however that files created in a VS project do
not get updated in Tau. Therefore before adding a new file in MSVS it should
first be added in Tau. |
4005184 |
TLOG#47222 |
When a class inherits from a class, one can not call
methods inherited from pare |
Inheritance of both concrete and virtual methods is
now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive
class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using
derived classes through a super class interface) does not work. |
4005076 |
TLOG#47223 |
Inheritance does not inherit methods |
Inheritance of both concrete and virtual methods is
now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive
class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using
derived classes through a super class interface) does not work. |
3023232 |
TLOG#20323 |
TIL Errors are received if you use Own datatype in
TAU G2. |
Now the Own type is supported by the C code
generator and Model Simulator. The Own type has the following operators: 1. [static] make(ItemSort). Usage: Own<Integer> x; x = Own<Integer>::make(10); 2. [non-static] Set(ItemSort) Own<Integer> x; x.Set(10); 3. [non-static] ItemSort Get() Usage: Own<Integer> x; Integer k; k = x.Get(); IMPORTANT NOTE: The type Own<T> where T is a Class is
translated to newtype @ptr_T Ref( T) endnewtype; newtype @TmplInst_OwnTR Own( @ptr_T) endnewtype; If you need a value semantics, you should use the
Value<> syntype: Own<Value<T> >. The Own<Value<T>
> will be translated to newtype @TmplInst_OwnTV Own( T) endnewtype; The same mapping rules are used with other
containers (String, Array, PowerSet). |
91259,999,706 |
TLOG#50184 |
Nmake errors while trying to build the model. |
Generated C code may result in "'x' : is not a
member of 'T'" compile errors when: 1) An active class B inherits from active class A 2) Active class A contains statemachine, or gate or
public variable or public operation 3) Active class B contains guard condition for the
state * that references class B local variable This problem has been fixed. |
2092793 |
TLOG#48091 |
Tau G2 4.2does not provide info on TIL errors |
Tau G2 4.2 does not provide complete info on TIL errors - a reference to model element is missing in the error message. This defect has been fixed. |
03006,122,000 |
TLOG#49039 |
Tau web server needs to close due to a socket error:
INVALID_SOCKET |
If the default Tau Web Server port is occupied when launching Tau, Tau would not start. This has been fixed. |
2090302 |
TLOG#45424 |
Tau crashed while starting Model verifier |
Application Builder no longer crashes when starting
the Model Verifier without an artifact. |
2090300 |
TLOG#45393 |
Tau G2 doesn't support modifying OctetString data
types in MV watch window |
It is now possible to edit octet string in the Watch
window. |
2090562 |
TLOG#45559 |
cannot inject message to MV |
The Model Verifier no longer halts if signals with
large parameters are sent into the system. |