آزمون سیستم های اطلاعات سلامت با استفاده از شبکه پتری

در معماریهای سیستم های اطلاعاتی سلامت از استانداردها و چارچوب هایی مختلفی مانندHLبرای تبادل،اشتراک گذاری و بازیابی اطلاعات استفاده میشود،HLبیشترین پیاده سازی و کاربردیترین استاندارد را در بین سیستمهای اطلاعات سلامت دارد اما به دلیل پیاده سازی های متفاوت در کامپوننتهای مختلف و تفاوت بسیار زیاد نسخه دوم با سومHL از وب سرویس معنایی برای تعامل پذیری بیشتر سیستم های اطلاعات سلامت استفاده میشود. یکی ازچالش های موجود در سیستم های اطلاعاتی سلامت که با استفاده از استانداردHLو وب سرویس معنایی تعاملپذیر شده، آزمون آن است. در این مقاله آزمون سیستم های اطلاعاتی از دیدگاه کاربر نهایی صورت گرفته و به عنوان یک اصل برای آزمون است، بر همین اساس WSMO به دلیل وجود المان توصیف هدف به عنوان روش پیاده سازی وب سرویس معنایی انتخاب شده است، نمونه های آزمون بر اساس دیدگاه کاربران نهایی پیاده سازی و طراحی میشود، به این صورت که نگاشتهایی بین المان توصیف هدف، زبانWSML و المانهای شبکه پتری صورت میگیرد و شبکه پتری ایجاد شده به گراف تبدیل میشود و در نهایت نمونه های آزمون توسط گراف تهیه میشود. دادههای ورودی برای ایجاد نمونه آزمون توسط روشMCDCو شرایط مرزی تولید شده و در نهایت نمونه آزمونهای ایجاد شده توسط روشMutantکه مستقل از روش تولید نمونه آزمون است ارزیابی خواهد شد تا میزان اثربخشی و کارایی نمونه های آزمون بدست آید