Στρατηγική δοκιμών

Το merql χρησιμοποιεί μοντέλο δοκιμών με βάση oracle. Κάθε σενάριο δοκιμής ορίζει ένα γνωστό σύνολο εισόδων (τρεις καταστάσεις βάσης δεδομένων), ένα ντετερμινιστικό αναμενόμενο αποτέλεσμα (το oracle) και συγκρίνει το πραγματικό αποτέλεσμα συγχώνευσης με αυτό. 32 σενάρια καλύπτουν καθαρές συγχωνεύσεις, διενέξεις, επίλυση ταυτότητας, τύπους δεδομένων, κλίμακα και οριακές περιπτώσεις.

# Run the full verification suite.
./bin/verify-all

Οι εντολές σε αυτή τη σελίδα εκτελούνται από ένα checkout του αποθετηρίου merql μετά το composer install. Τα σκριπτ ανάπτυξης στο bin/, το σώμα δεδομένων scenarios/ και οι δοκιμές δεν περιλαμβάνονται στο πακέτο Composer. Οι εξαρτήσεις ανάπτυξης περιλαμβάνουν το PHPUnit 13, που απαιτεί το PHP 8.4 ή νεότερη έκδοση, παρότι η ίδια η βιβλιοθήκη λειτουργεί με το PHP 8.2.

Δοκιμές βάσει oracle

Δεν υπάρχει υπάρχον εργαλείο αναφοράς που να εκτελεί συγχώνευση βάσεων δεδομένων τριών κατευθύνσεων, επομένως το oracle υπολογίζεται από γνωστές εισόδους και όχι από εξωτερικό εργαλείο. Κάθε σενάριο έχει ντετερμινιστικό αναμενόμενο αποτέλεσμα που μπορεί να επαληθευτεί λογικά:

1. Ρύθμιση -- δημιουργία τριών καταστάσεων βάσης δεδομένων (base, ours, theirs) με γνωστό περιεχόμενο.
2. Oracle -- υπολογισμός του αναμενόμενου αποτελέσματος συγχώνευσης από τις γνωστές εισόδους.
3. Πραγματικό αποτέλεσμα -- εκτέλεση της συγχώνευσης merql στις τρεις καταστάσεις.
4. Σύγκριση -- το πραγματικό αποτέλεσμα πρέπει να αντιστοιχεί ακριβώς στο αναμενόμενο.

Known inputs (base, ours, theirs)
         |                    |
    Deterministic          merql merge
    computation
         |                    |
    Expected result       Actual result
         |                    |
         -----> Compare <-----
                  |
            Pass or Fail

Εκτέλεση δοκιμών

Πλήρης επαλήθευση

Το σκριπτ verify-all είναι ο τελικός έλεγχος. Εκτελεί στατική ανάλυση, πρότυπα κώδικα, δοκιμές PHPUnit και τη σουίτα παλινδρόμησης oracle:

./bin/verify-all

Αυτό πρέπει να περάσει προτού θεωρηθεί ολοκληρωμένη οποιαδήποτε εργασία.

Σουίτα παλινδρόμησης oracle

Εκτελέστε και τα 32 σενάρια:

./bin/test-regression

Εκτελέστε μία κατηγορία:

./bin/test-regression --category clean
./bin/test-regression --category conflict
./bin/test-regression --category identity

Οι κατηγορίες είναι τα ονόματα καταλόγων κάτω από το scenarios/: clean, conflict, identity, types, scale και edge. Μια άγνωστη κατηγορία εμφανίζει No scenarios found και τερματίζει επιτυχώς. Το --category μπορεί να επαναληφθεί για την εκτέλεση πολλών κατηγοριών.

Το σκριπτ δέχεται επίσης το --jobs, αλλά αγνοεί την τιμή και εκτελεί τα σενάρια το ένα μετά το άλλο (#5).

Εκτέλεση με ελάχιστη έξοδο (μόνο επιτυχία/αποτυχία):

./bin/test-regression --fast

Μεμονωμένο σενάριο

Δοκιμάστε ένα σενάριο μέσω ολόκληρης της διαδικασίας:

./bin/test-scenario column-level-clean

Μεμονωμένα βήματα oracle

./bin/oracle column-level-clean    # Compute expected result
./bin/actual column-level-clean    # Run merql, capture output
./bin/compare column-level-clean   # Diff oracle vs actual

Δοκιμές μονάδας

composer test:unit         # Isolated component tests
composer test:integration  # Integration tests (SQLite, plus MySQL when configured)
composer test              # All PHPUnit suites
composer test:oracle       # Oracle regression corpus (bin/test-regression)
composer verify            # analyse + cs + test + test:oracle

Το composer test εκτελεί μόνο το PHPUnit. Η σουίτα oracle PHPUnit δείχνει στο tests/Oracle, όπου υπάρχουν οι κλάσεις εκτέλεσης σεναρίων αλλά όχι περιπτώσεις δοκιμών, επομένως τα 32 σενάρια εκτελούνται μόνο μέσω του composer test:oracle, του composer verify ή του ./bin/verify-all.

Οι δοκιμές ενσωμάτωσης MySQL παραλείπονται, εκτός αν τα MERQL_MYSQL_HOST, MERQL_MYSQL_DATABASE και MERQL_MYSQL_USER (και προαιρετικά τα MERQL_MYSQL_PASSWORD και MERQL_MYSQL_PORT) δείχνουν σε μια δοκιμαστική βάση δεδομένων.

Ποιότητα κώδικα

composer cs            # PSR-12 coding standards check
composer cs:fix        # Auto-fix coding standards
composer analyse       # PHPStan level 10 static analysis

Κατηγορίες σεναρίων

clean (8 σενάρια)

Καθαρές συγχωνεύσεις χωρίς διενέξεις. Και οι δύο πλευρές μπορούν να αλλάξουν δεδομένα, αλλά ποτέ την ίδια στήλη της ίδιας γραμμής.

conflict (6 σενάρια)

Σενάρια που πρέπει να προκαλούν διενέξεις.

identity (4 σενάρια)

Οριακές περιπτώσεις ταυτότητας γραμμών.

types (6 σενάρια)

Χειρισμός τύπων δεδομένων για όλους τους τύπους στηλών.

scale (4 σενάρια)

Απόδοση υπό φόρτο.

edge (4 σενάρια)

Οριακές περιπτώσεις και συνθήκες ορίων.

Δομή σεναρίου

Κάθε σενάριο βρίσκεται σε έναν κατάλογο κάτω από το scenarios/<category>/<name>/ με διαμόρφωση scenario.json:

{
    "name": "column-level-clean",
    "category": "clean",
    "description": "Both sides modify same row but different columns",
    "tables": ["test_posts"],
    "expectations": {
        "conflicts": 0,
        "operations": 3,
        "changeset_match": "exact",
        "merge_match": "exact",
        "sql_match": "semantic"
    }
}

Για τα σενάρια διένεξης, οι αναμενόμενες διενέξεις καθορίζονται λεπτομερώς:

{
    "expectations": {
        "conflicts": 1,
        "conflict_details": [
            {
                "table": "test_posts",
                "primary_key": {"id": 42},
                "column": "title",
                "ours_value": "Welcome",
                "theirs_value": "Greetings"
            }
        ]
    }
}

Η διαδικασία ScenarioRunner

Το ScenarioRunner::run() ενορχηστρώνει ένα μεμονωμένο σενάριο:

1. Το OracleCapture::compute() δημιουργεί τρία στιγμιότυπα από τα δεδομένα JSON του σεναρίου και εκτελεί τη συγχώνευση.
2. Το ScenarioComparator::compare() ελέγχει το αποτέλεσμα συγχώνευσης με βάση τις αναμενόμενες τιμές στο scenario.json.
3. Επιστρέφει επιτυχία/αποτυχία μαζί με λίστα μηνυμάτων αποτυχίας.

use Merql\Tests\Oracle\ScenarioRunner;

$result = ScenarioRunner::run($scenario);
// ['name' => 'column-level-clean', 'pass' => true, 'failures' => []]

Το ScenarioRunner::runAll() εκτελεί κάθε σενάριο διαδοχικά:

$results = ScenarioRunner::runAll($scenarios);

Προσθήκη νέου σεναρίου

1. Δημιουργήστε έναν κατάλογο: scenarios/<category>/<name>/.
2. Δημιουργήστε το scenario.json με τα μεταδεδομένα και τις προσδοκίες του σεναρίου.
3. Ορίστε τις τρεις καταστάσεις της βάσης δεδομένων στη διαμόρφωση JSON: δεδομένα base, μεταβολές ours, μεταβολές theirs.
4. Εκτελέστε το σενάριο: ./bin/test-scenario <name>.
5. Επαληθεύστε ολόκληρη τη σουίτα: ./bin/verify-all.

Πρότυπα ποιότητας κώδικα

Το merql επιβάλλει:

• PHPStan επίπεδο 10 -- αυστηρή στατική ανάλυση χωρίς εξαιρέσεις βάσης.
• PSR-12 -- έλεγχος προτύπων κώδικα από το phpcs.
• Παλινδρόμηση oracle -- πρέπει να περνούν και τα 32 σενάρια.
• Δοκιμές μονάδας -- απομονωμένες δοκιμές για κάθε στοιχείο.

Το σκριπτ verify-all εκτελεί και τους τέσσερις ελέγχους διαδοχικά. Δεν γίνεται αποδεκτή μερική έγκριση.

Συνεχής ενσωμάτωση

Το CI εκτελεί ελέγχους προτύπων κώδικα, PHPStan, composer test, τη σουίτα ενσωμάτωσης με MySQL 8.4 μέσω mysqli, κάλυψη βασικών λειτουργιών συγχώνευσης και composer audit σε κάθε push και pull request προς το main. Δεν εκτελεί το σώμα δεδομένων παλινδρόμησης oracle (#6), επομένως εκτελέστε το composer test:oracle ή το ./bin/verify-all τοπικά πριν βασιστείτε σε μια αλλαγή.