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

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

کلیدواژه ها:

وب سرویس معنایی ، شبکه پتری ، سیستم های اطلاعات سلامت ، WSMO-HL۷