test_tracks_cleaner.cpp

Go to the documentation of this file.

/*
 * This program source code file is part of KiCad, a free EDA CAD application.
 *
 * Copyright The KiCad Developers, see AUTHORS.txt for contributors.
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2
 * of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 
#include <qa_utils/wx_utils/unit_test_utils.h>
#include <boost/test/data/test_case.hpp>
 
#include <pcbnew_utils/board_test_utils.h>
#include <board.h>
#include <board_commit.h>
#include <board_design_settings.h>
#include <drc/drc_engine.h>
#include <connectivity/connectivity_data.h>
#include <tracks_cleaner.h>
#include <lset.h>
#include <generators/pcb_via_stack.h>
#include <cleanup_item.h>
#include <drc/drc_engine.h>
#include <drc/drc_item.h>
#include <settings/settings_manager.h>
#include <tool/tool_manager.h>
 
namespace
{
struct TRACK_CLEANER_TEST_FIXTURE
{
    TRACK_CLEANER_TEST_FIXTURE()
    { }
 
    SETTINGS_MANAGER       m_settingsManager;
    std::unique_ptr<BOARD> m_board;
};
 
 
struct TEST_DESCRIPTION
{
    wxString m_File;
    bool     m_Shorts;
    bool     m_RedundantVias;
    bool     m_RedundantTracks;
    bool     m_DanglingTracks;
    bool     m_TracksInPads;
    bool     m_DanglingVias;
    int      m_Expected;
 
    friend std::ostream& operator<<( std::ostream& os, const TEST_DESCRIPTION& aDesc )
    {
        os << aDesc.m_File;
        return os;
    }
};
 
/*
* This one ensures that certain cleanup items are indeed found and marked for cleanup.
*/
std::vector<TEST_DESCRIPTION> FailedToCleanRegressionTests_tests =
{
                    //   short    redundant  redundant  dangling   tracks    dangling
                    //  circuits    vias      tracks     tracks    in pads     vias    expected
    { "issue2904",    false,     false,    false,     true,      false,    false,       9    },
    { "issue5093",    false,     false,    false,     false,     true,     false,     117    },
    { "issue7004",    false,     true,     false,     false,     false,    true,       25    },
    { "issue8883",    true,      true,     true,      true,      false,    true,       81    },
    { "issue10916",   false,     false,    true,      false,     false,    false,       0    },
    { "issue19574",   false,     false,    true,      false,     false,    false,       2    },
};
 
} // namespace
 
 
BOOST_DATA_TEST_CASE_F( TRACK_CLEANER_TEST_FIXTURE, FailedToCleanRegressionTests,
                        boost::unit_test::data::make( FailedToCleanRegressionTests_tests ), entry )
{
    KI_TEST::LoadBoard( m_settingsManager, entry.m_File, m_board );
    KI_TEST::FillZones( m_board.get() );
    m_board->GetConnectivity()->RecalculateRatsnest();
    m_board->UpdateRatsnestExclusions();
 
    TOOL_MANAGER toolMgr;
    toolMgr.SetEnvironment( m_board.get(), nullptr, nullptr, nullptr, nullptr );
 
    KI_TEST::DUMMY_TOOL* dummyTool = new KI_TEST::DUMMY_TOOL();
    toolMgr.RegisterTool( dummyTool );
 
    BOARD_COMMIT                                 commit( dummyTool );
    TRACKS_CLEANER                               cleaner( m_board.get(), commit );
    std::vector< std::shared_ptr<CLEANUP_ITEM> > dryRunItems;
    std::vector< std::shared_ptr<CLEANUP_ITEM> > realRunItems;
 
    cleaner.CleanupBoard( true, &dryRunItems, entry.m_Shorts,
                                              entry.m_RedundantVias,
                                              entry.m_RedundantTracks,
                                              entry.m_DanglingTracks,
                                              entry.m_TracksInPads,
                                              entry.m_DanglingVias );
 
    cleaner.CleanupBoard( true, &realRunItems, entry.m_Shorts,
                                               entry.m_RedundantVias,
                                               entry.m_RedundantTracks,
                                               entry.m_DanglingTracks,
                                               entry.m_TracksInPads,
                                               entry.m_DanglingVias );
 
    if( dryRunItems.size() == entry.m_Expected && realRunItems.size() == entry.m_Expected )
    {
        BOOST_CHECK_EQUAL( 1, 1 );  // quiet "did not check any assertions" warning
        BOOST_TEST_MESSAGE( wxString::Format( "Track cleaner regression: %s, passed",
                                                entry.m_File ) );
    }
    else
    {
        BOOST_CHECK_EQUAL( dryRunItems.size(), entry.m_Expected );
        BOOST_CHECK_EQUAL( realRunItems.size(), entry.m_Expected );
 
        UNITS_PROVIDER unitsProvider( pcbIUScale, EDA_UNITS::INCH );
 
        std::map<KIID, EDA_ITEM*> itemMap;
        m_board->FillItemMap( itemMap );
 
        for( const std::shared_ptr<CLEANUP_ITEM>& item : realRunItems )
        {
            BOOST_TEST_MESSAGE( item->ShowReport( &unitsProvider, RPT_SEVERITY_ERROR,
                                                    itemMap ) );
        }
 
        BOOST_ERROR( wxString::Format( "Track cleaner regression: %s, failed",
                                        entry.m_File ) );
    }
}
 
namespace
{
 
std::vector<wxString> TrackCleanerRegressionTests_tests = {
    //"issue832",
    "issue4257",
    //"issue8909"
};
 
} // namespace
 
/*
 * This one just makes sure that the dry-run counts agree with the "real" counts, and that
 * the cleaning doesn't produce any connectivity changes.
 */
BOOST_DATA_TEST_CASE_F( TRACK_CLEANER_TEST_FIXTURE, TrackCleanerRegressionTests,
                        boost::unit_test::data::make( TrackCleanerRegressionTests_tests ), relPath )
{
    KI_TEST::LoadBoard( m_settingsManager, relPath, m_board );
    KI_TEST::FillZones( m_board.get() );
    m_board->GetConnectivity()->RecalculateRatsnest();
    m_board->UpdateRatsnestExclusions();
 
    TOOL_MANAGER toolMgr;
    toolMgr.SetEnvironment( m_board.get(), nullptr, nullptr, nullptr, nullptr );
 
    KI_TEST::DUMMY_TOOL* dummyTool = new KI_TEST::DUMMY_TOOL();
    toolMgr.RegisterTool( dummyTool );
 
    BOARD_COMMIT                                 commit( dummyTool );
    TRACKS_CLEANER                               cleaner( m_board.get(), commit );
    std::vector< std::shared_ptr<CLEANUP_ITEM> > dryRunItems;
    std::vector< std::shared_ptr<CLEANUP_ITEM> > realRunItems;
 
    cleaner.CleanupBoard( true, &dryRunItems, true,   // short circuits
                                              true,   // redundant vias
                                              true,   // redundant tracks
                                              true,   // dangling tracks
                                              true,   // tracks in pads
                                              true ); // dangling vias
 
    cleaner.CleanupBoard( true, &realRunItems, true,   // short circuits
                                               true,   // redundant vias
                                               true,   // redundant tracks
                                               true,   // dangling tracks
                                               true,   // tracks in pads
                                               true ); // dangling vias
 
    BOOST_CHECK_EQUAL( dryRunItems.size(), realRunItems.size() );
 
    std::vector<DRC_ITEM>  violations;
    BOARD_DESIGN_SETTINGS& bds = m_board->GetDesignSettings();
 
    // Disable some DRC tests not useful in this testcase
    bds.m_DRCSeverities[ DRCE_LIB_FOOTPRINT_ISSUES ] = SEVERITY::RPT_SEVERITY_IGNORE;
    bds.m_DRCSeverities[ DRCE_LIB_FOOTPRINT_MISMATCH ] = SEVERITY::RPT_SEVERITY_IGNORE;
    bds.m_DRCSeverities[ DRCE_COPPER_SLIVER ] = SEVERITY::RPT_SEVERITY_IGNORE;
    bds.m_DRCSeverities[ DRCE_STARVED_THERMAL ] = SEVERITY::RPT_SEVERITY_IGNORE;
    // Also disable this test: for some reason it generate an exception inside this QA
    // test ans it is useless
    bds.m_DRCSeverities[ DRCE_SOLDERMASK_BRIDGE ] = SEVERITY::RPT_SEVERITY_IGNORE;
 
    bds.m_DRCEngine->SetViolationHandler(
            [&]( const std::shared_ptr<DRC_ITEM>& aItem, const VECTOR2I& aPos, int aLayer,
                 const std::function<void( PCB_MARKER* )>& aPathGenerator )
            {
                if( aItem->GetErrorCode() == DRCE_UNCONNECTED_ITEMS )
                    violations.push_back( *aItem );
            } );
 
    bds.m_DRCEngine->RunTests( EDA_UNITS::MM, true, false );
 
    if( violations.empty() )
    {
        BOOST_TEST_MESSAGE( wxString::Format( "Track cleaner regression: %s, passed", relPath ) );
    }
    else
    {
        UNITS_PROVIDER unitsProvider( pcbIUScale, EDA_UNITS::INCH );
 
        std::map<KIID, EDA_ITEM*> itemMap;
        m_board->FillItemMap( itemMap );
 
        for( const DRC_ITEM& item : violations )
            BOOST_TEST_MESSAGE( item.ShowReport( &unitsProvider, RPT_SEVERITY_ERROR, itemMap ) );
 
        BOOST_ERROR( wxString::Format( "Track cleaner regression: %s, failed", relPath ) );
    }
}
 
 
// A stack dropped under a BGA before anything is routed to it connects only to itself, which is
// what the dangling-via test looks for. The cleaner must not eat it.
BOOST_FIXTURE_TEST_CASE( CleanupKeepsAnUnlandedMicroviaStack, TRACK_CLEANER_TEST_FIXTURE )
{
    m_board = std::make_unique<BOARD>();
    m_board->SetCopperLayerCount( 4 );
    m_board->SetEnabledLayers( LSET::AllCuMask( 4 ) | LSET::AllTechMask() );
 
    PCB_VIA_STACK* stack = new PCB_VIA_STACK( m_board.get(), F_Cu );
    stack->SetStartLayer( F_Cu );
    stack->SetEndLayer( In2_Cu );
    stack->SetViaSize( 300000 );
    stack->SetViaDrill( 150000 );
    stack->SetPosition( VECTOR2I( 10000000, 10000000 ) );
    m_board->Add( stack );
    stack->Regenerate( m_board.get(), nullptr );
 
    const size_t hops = stack->GetBoardItems().size();
    BOOST_REQUIRE_EQUAL( hops, 2u );
 
    m_board->BuildConnectivity();
 
    TOOL_MANAGER toolMgr;
    toolMgr.SetEnvironment( m_board.get(), nullptr, nullptr, nullptr, nullptr );
 
    KI_TEST::DUMMY_TOOL* dummyTool = new KI_TEST::DUMMY_TOOL();
    toolMgr.RegisterTool( dummyTool );
 
    BOARD_COMMIT                               commit( dummyTool );
    TRACKS_CLEANER                             cleaner( m_board.get(), commit );
    std::vector<std::shared_ptr<CLEANUP_ITEM>> items;
 
    cleaner.CleanupBoard( false, &items, false, false, false, false, false, true );
 
    BOOST_CHECK_MESSAGE( stack->GetBoardItems().size() == hops,
                         "cleanup deleted hops of a stack nothing has been routed to yet" );
    BOOST_CHECK_EQUAL( m_board->Tracks().size(), hops );
}