New Features and Changes in AutoFOCUS 2.25

Variability

• Requirements can be modeled with variability
• Improved management of mandatory features in variant configuration dialog

Platform Architecture

• Added weight annotation to platform elements

Requirements Analysis

• Improved requirements overview editor

General

• The AF3 releases and nightly builds do not require a separate Java installation anymore (JRE is bundled)
• Several quality of live improvements to the graphical user interface
• Several improvements of stability all over the tool

FAQ - Installation and Running

• On Windows: DSE does not execute and throws exception
  • If you encounter the following exception when running a DSE you might be missing required libraries:
    java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.20.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries
    Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
• AF3 does not start
  • Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
  • If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7
• Unpacking of AF3 zip file fails with 'Path too long' on Windows
  • Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
• Menu icons are not displayed on KDE
  • Go to "System settings - Application Style - GNOME Application Style".
  • Select "Show symbols of GTK buttons".
  • Select "Show symbols in GTK menus".

Detailed list of changes in 2.25:

• Product-line Analysis: Remove verbose messages to log (#4374)
• Requirements overview editor: Fix editable fields (#4369)
• Variability: Grey out non-editable cells in the variant configuration dialog (#4289)
• Optional Requirements (#3272)
• Incomplete allocation tables cause NPEs (#4366)
• TreeTableEditors: Automatic line wrapping breaks after editing text (#4365)
• FMUs cannot be exported when the project has not been saved immediately before (#4264)
• getEClassForClass gives unexpected result in presence of inheritance (#4262)
• Requirements Analysis: use consistent label for collection of "All requirements" (#4153)
• [Hierarcharchical Platform] Account for clusters when deriving the type size (#4100)
• Include Java Binaries in the Nightly Build (#4357)
• Create weight annotation (#4354)
• Diagram editor: Add reconnect functionality to component architecture (#4279)
• Combine reuse context menu entries to one menu group (with sub-entries) (#4248)