روش تطبیق الگو یکی از روش هایی است که برای تخمین بیشترین زمان اجرای حلقه ها ارائهشده است. در این روش درصورتیکه حلقه با الگوی ارائه شده تطبیق داشت، با استفاده از یک معادله بیشترین تعداد تکرار حلقه محاسبه می گردد. در حقیقت برای محاسبه تعداد تکرار نیازی نیست که مقدار متغیرهای کنترلی حلقه برای هر تکرار محاسبه گردد. نقص روش تطبیق الگو وابستگی زیاد آن به الگو است. این وابستگی به ساختار و محل شرط تست کننده متغیر کنترلی حلقه و از سوی دیگر به محل، نحوه و تعدد تغییر متغیر کنترلی حلقه مرتبط است. برای کاهش وابستگی به الگو می توان جریان اطلاعات برای حلقه های یکنواخت چندمسیری در قالب دو دسته عبارت نمادین، نشاندهنده شرط تکرار و نحوه تغییر متغیرهای کنترلی حلقه را مدل سازی کرد. بر اساس این عبارات، تعداد مقادیر ممکن که در زمان اجرا می توان به متغیرهای کنترلی حلقه تخصیص داد را محاسبه و بهعنوان تخمینی از بیشترین تعداد تکرار ارائه می گردد. اما تخمین ارائه شده در این روش بیشتر از مقدار واقعی است و در اصطلاح دارای بیش تخمین خواهد بود. در این مقاله، متغیرهایی که مقدارشان در مسیرهای تکرار مختلف یکسان هستند و در هر چند مسیر این مقدار به عنوان یک تکرار محاسبه گردیده است، شناسایی و در محاسبه ها لحاظ می گردند. اینکار باعث می گردد که مقدار بیش تخمین کاهش یابد. ارزیابی ها نشان داد که روش ارائه شده در این مقاله روشی موثر و کارا بوده و بیش تخمین کمتری دارد.
