چکيده
امروزه با رشد فناوري و صنايع، روز به روز وابستگي زندگي روزمره انسان‌ها به كامپيوتر و علوم آن بيشتر مي‌شود. از اين رو يكي از مهم ترين قطب هاي كامپيوتر كه نرم افزارها هستند، به سرعت در حال توسعه اند. براي داشتن نرم افزارهاي كارآمد، قابل اطمينان و تامين امنيت در آن‌ها، نيازمند آزمودن هستيم. اما آزمون هايي كه توسط افراد صورت مي گيرند، دقت و سرعت كافي را ندارند، چرا كه خود افراد ممكن است نسبت به كاربرد تخصصي آن نرم افزار اطلاعاتي نداشته باشند، يا قادر به انجام آزمون در گستره ي بالا نباشند. بنابراين، روش ها و فناوري هاي آزمون نرم افزار به سمت ابزارهاي تسهيل كننده و حتي ابزارهاي آزمون خودكار پيش رفته اند. توسعه ي اين ابزارها و همگام سازي آن‌ها با رشد روز افزون صنعت نرم افزار، خود مسئله اي است كه دائما مورد بررسي و مطالعه قرار مي گيرد تا اشكالات آن‌ها رفع شده يا روش هاي بهتري ابداع گردند.
يكي از مفاهيم پركاربرد در آزمون نرم افزار، مستندگذاري كدهاي برنامه ي هدف است. مستندگذاري در روش هاي متعددي فراگرفته مي‌شود، كه يكي از آن‌ها اجراي كانكاليك است. اين اجرا كه در سال هاي اخير معرفي شده است. اين روش نسبت به روش هاي قبلي مزاياي بيشتري داشته و امكان افزايش ميزان پوشش كد را به آزمونگر مي‌دهد. اما با توجه به قدمت آزمون نرم افزار و سطوح مختلف آن، اجراي كانكاليك همچنان داراي نقاط ضعف و نواقصات بسياري است كه مي توان با درك مفاهيم آن و تحليل انواع مستندگذاري، به رفع آن‌ها پرداخت. بدين منظور، با بررسي معماري ابزارهاي موجود، مي توان به كشف پتانسيل هاي نهفته، براي توسعه ي ابزارهاي نوين پرداخت.
