انجمن کامپیوتر ایران

در اين مقاله روشي براي درستي سنجي سخت افزار ١ و توليد خودکار بردار آزمون بر اساس مشخصات طرح ارايه شده است . در اين روش بر خلاف ساير روش هاي تحليل تحول عملگر هاي خطا روي خصوصيات سيستم تعريف مي شوند و نه پياده سازي آن. سپس براي هر خطا الگوي آزموني توليد مي شود که آن را آشکار کند. ادعاي ما بر اين است که اين روش ما را بي نياز از دانش در مورد نحوه پياده سازي مي کند و همچنين تنگناي زماني که در ديگر روشهاي تحليل تحول وجود دارد در اين روش وجود ندارد.