Project

General

Profile

Support #1072

MIRA: check document generation for release

Added by Anonymous almost 8 years ago. Updated almost 8 years ago.

Status:
Closed
Priority:
Normal
Assignee:
-
Category:
-
Start date:
12/13/2012
Due date:
% Done:

100%

Estimated time:

Description

Test html- and doc-generation
Now latex generation contains a lot of todos. remove it for the release from code and from help

test.reqif (36.6 KB) test.reqif From standard ACC-refinement example Anonymous, 01/07/2013 12:52 PM

Related issues

Follows Feature #1042: MIRA: Summarize export for AnalysisClosed11/27/2012

History

#1 Updated by Anonymous almost 8 years ago

  • Description updated (diff)

#2 Updated by Anonymous almost 8 years ago

  • Target version changed from Phoenix 2.3 Release to Phoenix 2.3 RC3 (UI Beautification)

#3 Updated by Anonymous almost 8 years ago

  • Target version changed from Phoenix 2.3 RC3 (UI Beautification) to Phoenix 2.3 RC2 (Major Bugs)

#4 Updated by Anonymous almost 8 years ago

Test hmtl/doc-generation:
- doc-report does not open automatically after generation any more
- Tabs for formal specifications are opened for creating the document but not closed again. (ACC-refinement example: tab Root and Root state stay open)
- there are still some files that seem unused. Please remove them.

Test reqif:
- reqif import to corresponding tool does not work (I added the reqif file)

Test latex:
- please deactivate the *.tex option in the GUI for the release (ask me for details)

#5 Updated by Anonymous almost 8 years ago

Please solve the mentioned issues and give me the tracker back.

#6 Updated by Anonymous almost 8 years ago

  • Status changed from New to Feedback
  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 0 to 70

Test hmtl/doc-generation:
- doc-report does not open automatically after generation any more > fixed, and if it is not under windows htm-report will be opened automatically
Tabs for formal specifications are opened for creating the document but not closed again. (ACC-refinement example: tab Root and Root state stay open) >fixed, but there is still a bug in codes of class ModelEditorBindingService -> Bug #1146
there are still some files that seem unused. Please remove them. -> removed

Test reqif:
- reqif import to corresponding tool does not work (I added the reqif file) -> I don't know the problem. It works, if man create a Reqif file in rmf-pror, then copy the generated regif text, it works. But the generated regif file can not be directly opened. Furthermore, in rmf-pror ID can just be number.

Test latex:
- please deactivate the *.tex option in the GUI for the release (ask me for details) -> I have now just removed *.tex option from GUI, I'll talk with you later about it.

#7 Updated by Anonymous almost 8 years ago

  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 70 to 80

Test hmtl/doc-generation:
Test OK (automatic opening, close tabs), template files deleted.

Test latex:
Test OK (removing it in the GUI is perfect).

Test reqif:
1. Test with TLC:
I changed Requirement ID from int to string - please test.
Unused class ExportReqIFAction found. Please remove it.
2. Test with ACC example:
Letter "ä" can not be read in ProR - is there any solution? Exception is: "MalformedByteSequenceException: Invalid byte 2 of 3-byte UTF-8 sequence".

#8 Updated by Anonymous almost 8 years ago

  • Assignee changed from Anonymous to Anonymous
  • % Done changed from 80 to 90

1. Test with TLC:
Unused class ExportReqIFAction found. Please remove it. -> removed
2. Test with ACC example:
Letter "ä" can not be read in ProR - is there any solution? Exception is: "MalformedByteSequenceException: Invalid byte 2 of 3-byte UTF-8 sequence". -> solved

#9 Updated by Anonymous almost 8 years ago

new problem: " in text, lead to error -> solved

#10 Updated by Anonymous almost 8 years ago

  • Status changed from Feedback to Closed
  • Assignee deleted (Anonymous)
  • % Done changed from 90 to 100

Perfect.

Also available in: Atom PDF