cd7cd1a37a
Sur une charge à paliers (powerLevels déclarés : relay-router, etmvariableload
fixed), une cadence éco sous le premier palier laisse le mécanisme au palier 0.
Le niveau éco publiait pourtant ECO_FLOOR_GRID « 83 W achetés au réseau ».
Il porte désormais ECO_FLOOR_BELOW_STAGE {targetW, stageW, gridW: 0,
o:remainingWh, o:remainingS}. Le premier palier est declared.powerLevels[1],
la source de BELOW_MIN_POWER en passe confort. Une charge continue garde
ECO_FLOOR_GRID.
Aucune consigne ne change : même targetW, mêmes counts, même draw, même
palier, même purchasedWh. Seul le motif du niveau change, et avec lui (R7,
inchangée) decision, decision.level et les lignes [Arbitre]/[RelayRouter].
Hors liste blanche optimiseur : l'optimiseur ne reçoit pas les paliers (E9).
Tests : testEcoBelowTheFirstStageBuysNothing (neuf, échoue sur 61db6cf),
testTheDecisionDescribesTheMergedAction mis à jour (il exigeait l'achat sur
un relais de 1000 W à 83 W), rendu FR et refus optimiseur en loadmodel.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
103 lines
6.0 KiB
C++
103 lines
6.0 KiB
C++
// SPDX-License-Identifier: GPL-3.0-or-later
|
|
//
|
|
// Brief 4 T5 — catalogue des motifs : liste énumérable, anti-dérive, liste blanche optimiseur.
|
|
// Logique pure, comme le reste de cette suite.
|
|
|
|
#include "testloadmodel.h"
|
|
|
|
#include "etm/types/decisionreason.h"
|
|
|
|
#include <QFile>
|
|
#include <QRegularExpression>
|
|
#include <QSet>
|
|
#include <QTest>
|
|
|
|
void TestLoadModel::testDecisionCodesListIsComplete()
|
|
{
|
|
// ANTI-DÉRIVE : la liste énumérable est confrontée à l'EN-TÊTE lui-même, pas à une copie.
|
|
// Une constante ajoutée sans ligne dans knownCodes() fait échouer ce test.
|
|
QFile f(QStringLiteral(ETM_DECISIONREASON_H));
|
|
QVERIFY2(f.open(QIODevice::ReadOnly), ETM_DECISIONREASON_H);
|
|
const QString source = QString::fromUtf8(f.readAll());
|
|
const int debut = source.indexOf(QStringLiteral("namespace DecisionCode {"));
|
|
const int fin = source.indexOf(QStringLiteral("\n}"), debut);
|
|
QVERIFY(debut >= 0 && fin > debut);
|
|
const QRegularExpression constante(QStringLiteral(R"re(constexpr\s+const\s+char\s*\*\s*\w+\s*=\s*"(\w+)")re"));
|
|
QSet<QString> declares;
|
|
auto it = constante.globalMatch(source.mid(debut, fin - debut));
|
|
while (it.hasNext())
|
|
declares.insert(it.next().captured(1));
|
|
QVERIFY(declares.size() > 30); // garde de vraisemblance : l'expression a bien mordu
|
|
|
|
const QStringList connus = DecisionCode::knownCodes();
|
|
QCOMPARE(QSet<QString>(connus.cbegin(), connus.cend()).size(), connus.size()); // sans doublon
|
|
QCOMPARE(QSet<QString>(connus.cbegin(), connus.cend()), declares);
|
|
|
|
// Et chacun a une branche de rendu : jamais le repli « motif inconnu ».
|
|
for (const QString &code : connus) {
|
|
const QString rendu = renderFr(DecisionReason(code.toLatin1().constData()), QStringLiteral("Charge"));
|
|
QVERIFY2(!rendu.startsWith(QStringLiteral("(motif inconnu")), qUtf8Printable(code));
|
|
}
|
|
}
|
|
|
|
void TestLoadModel::testOptimizerMayEmitOnlyWhitelistedCodes()
|
|
{
|
|
const QStringList liste = DecisionCode::optimizerEmittableCodes();
|
|
const QStringList connus = DecisionCode::knownCodes();
|
|
for (const QString &c : liste) {
|
|
QVERIFY2(connus.contains(c), qUtf8Printable(c));
|
|
QVERIFY(DecisionCode::optimizerMayEmit(c));
|
|
}
|
|
// E14 — un optimiseur ne peut pas parler au nom de la sécurité, du cycle de vie, d'un
|
|
// verrou, ni d'un état du moteur : ces motifs décrivent ce que le MOTEUR a fait.
|
|
for (const char *c : {DecisionCode::DegradedL2, DecisionCode::SafeStateRelay,
|
|
DecisionCode::SafeStateSetpoint, DecisionCode::SafeStateSgReady,
|
|
DecisionCode::LoadUnavailable, DecisionCode::DrawCap,
|
|
DecisionCode::PhaseLimit, DecisionCode::DerogationActive,
|
|
DecisionCode::DerogationEnded, DecisionCode::EcoFloorMet,
|
|
DecisionCode::EcoFloorBelowStage, // l'optimiseur ignore les paliers (E9)
|
|
DecisionCode::EcoFloorMissed, DecisionCode::LockMinOn,
|
|
DecisionCode::LockMinOff, DecisionCode::LockMinOffCapped,
|
|
DecisionCode::LockMinStateHold, DecisionCode::RecreditSuspended,
|
|
DecisionCode::BatteryReserve, DecisionCode::EvGridStart,
|
|
DecisionCode::EvSurplus, DecisionCode::EvEcoMin, DecisionCode::EvIdle,
|
|
DecisionCode::MissingForecastSite, DecisionCode::ForecastPayloadRefused,
|
|
DecisionCode::ForecastDateUnreadable, DecisionCode::TariffRefused,
|
|
DecisionCode::SpotMarketNotInBuild}) {
|
|
QVERIFY2(!DecisionCode::optimizerMayEmit(QString::fromLatin1(c)), c);
|
|
}
|
|
QVERIFY(!DecisionCode::optimizerMayEmit(QStringLiteral("CODE_QUI_NEXISTE_PAS")));
|
|
QVERIFY(!DecisionCode::optimizerMayEmit(QString()));
|
|
// Le code générique et le motif prix (exigence app 5) en font partie.
|
|
QVERIFY(DecisionCode::optimizerMayEmit(QString::fromLatin1(DecisionCode::OptimizerDecision)));
|
|
QVERIFY(DecisionCode::optimizerMayEmit(QString::fromLatin1(DecisionCode::PriceSlot)));
|
|
|
|
// Rendus : le générique ne porte aucun texte de l'optimiseur ; le prix se lit avec sa valeur.
|
|
QCOMPARE(renderFr(DecisionReason(DecisionCode::OptimizerDecision), QStringLiteral("Chauffe-eau")),
|
|
QStringLiteral("Décision de l'optimiseur — Chauffe-eau (motif hors catalogue)"));
|
|
QCOMPARE(renderFr(DecisionReason(DecisionCode::PriceSlot, {{"priceCtkWh", 16.96}, {"setpointW", 2400}}),
|
|
QStringLiteral("Chauffe-eau")),
|
|
QStringLiteral("Prix favorable (16,96 ct/kWh) — Chauffe-eau consigne 2400 W"));
|
|
QCOMPARE(renderFr(DecisionReason(DecisionCode::PriceSlot, {{"priceCtkWh", 9.5}}), QStringLiteral("PAC")),
|
|
QStringLiteral("Prix favorable (9,5 ct/kWh) — PAC servie sur ce créneau"));
|
|
}
|
|
|
|
void TestLoadModel::testEcoFloorBelowStageIsRenderedAsNoPurchase()
|
|
{
|
|
// La cadence d'une obligation sous le premier palier : la phrase dit qu'on n'achète RIEN, et
|
|
// pourquoi. C'est ce que « 83 W achetés au réseau » disait de travers, constaté au banc.
|
|
const DecisionReason obligation(DecisionCode::EcoFloorBelowStage,
|
|
{{"targetW", 83}, {"stageW", 500}, {"gridW", 0},
|
|
{"remainingWh", 2000}, {"remainingS", 6 * 3600}});
|
|
QCOMPARE(renderFr(obligation, QStringLiteral("Chauffe-eau")),
|
|
QStringLiteral("Obligation de Chauffe-eau : 83 W nécessaires, sous le premier palier "
|
|
"(500 W) — rien n'est acheté ; 2000 Wh restent à livrer en 6 h"));
|
|
|
|
// Minimum seul : ni reste ni échéance, et la phrase n'en invente pas.
|
|
const DecisionReason minimum(DecisionCode::EcoFloorBelowStage,
|
|
{{"targetW", 300}, {"stageW", 500}, {"gridW", 0}});
|
|
QCOMPARE(renderFr(minimum, QStringLiteral("Chauffe-eau")),
|
|
QStringLiteral("Minimum de Chauffe-eau : 300 W demandés, sous le premier palier "
|
|
"(500 W) — rien n'est acheté"));
|
|
}
|