توصیف سیستم بر اساس نیازهای کاربران و طراحی معماری نرم افزار دو فعالیت کلیدی از فرآیندهای تولید یک نرم افزار هستند. زبان های گوناگونی برای توصیف رفتار یک سیستم وجود دارد که تعدادی از آن ها رفتار سیستم را به صورت بصری و با استفاده نمودارها نمایش می دهند. در این میان پژوهش های مختلفی برای تبدیل این توصیفات به معماری و حتی پیاده سازی (تولید کد) انجام شده است که هر کدام با توجه به یک یا چند نموداری...

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