-
Saad bin Abid authored
Assurance cases still not done * Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
saadbinabid1 <abid@fortiss.org>
Saad bin Abid authoredAssurance cases still not done * Issue-Ref: 4006 Issue-Url: https://af3-developer.fortiss.org/issues/4006 Signed-off-by:
saadbinabid1 <abid@fortiss.org>
tipsAndTricks.html 1.67 KiB
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<!--
Documentation of AF3 Tips and Tricks.
@author becker
@ConQAT.Rating GREEN Hash: AF9EA639EB8F1EFFFCF0ACA8037A39A3
-->
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Tips and Tricks for using AutoFOCUS3 (AF3)</title>
</head>
<body>
<h2><u><font color="#336699">Tips and Tricks</font></u></h2>
<h3><u><font color="#336699">Reset Perspectives</font></u></h3>
AutoFOCUS3 contains of two main perspectives, the <i>Modeling Perspective</i>, the <i>DSE Perspective</i> and the <i>Simulator Perspective</i>.
In addition, there is the <i>Storage Perspective</i>.
Each Perspective comprises several views, whose layout can be modified by drag&drop the views to other areas.
<br><br>
If you have disorganized a perspective and want to have the original perspective back, just perform Mouse Right-Click and select <i>reset</i>.
<br><br>
<img src="./pictures/ResetPerspective.png">
<br><br>
<h3><u><font color="#336699">Error Log</font></u></h3>
In the case that something doesn't work properly, AutoFOCUS3 logs error reports and warnings into a text file.
In the case you need this information, this is accessible in the help-menu.
<br><br>
<img src="./pictures/af3_errorLog.png">
<br><br>
<h3><u><font color="#336699">Expert View</font></u></h3>
AutoFOCUS3 doesn't show some parts of the projects per default in order to let the user concentrate on the important things.
You can make these parts visible by enabling the <i>Expert View</i> by pressing the <img src="./pictures/Button.Expert.png"> button.
<br><br>
<img src="./pictures/ToggleExpertView.png">
<br><br>
</body>
</html>