1. Improvements

1.1. Java 21 support

In BMA 6.4.0, the Java version for the BMA Scanner and BMA Quality Gate has been updated to Java 21. The BMA Sonar Plugin still uses Java 17 to be compatible with SonarQube.

1.2. Blueriq 17.0 support

The Studio data model has been updated to Blueriq 17.0. Older versions of Blueriq are not supported.

1.3. Tautology and contradiction simplifications

The expression simplifier is now better able to reason about logic that is always TRUE (a tautology) or always FALSE (a contradiction). These logic concepts require special care to account for the ternary logic that Blueriq uses: if a term can be unknown then a tautology or contradiction also evaluates to unknown, not just TRUE or FALSE. Previously, the BMA could be conservative when it came to those situations and may have retained the term, equating it to itself: (A = A)  or (A != A). When A  cannot be unknown, though, the term can be dropped in its entirety. This is what the BMA now does, potentially resulting in more expressions that can be simplified.

2. Upgrade instructions

For the upgrade to BMA 6.4.0 please follow the usual Upgrade Instructions.

3. Artifacts

The Blueriq artifacts are available under name: 6.4.0

4. Retirement announcement

There are no specific retirement announcements.