تست رگرسيون سيستم هاي حياتي هوشمند مبتني بر خصوصيات سيستم

براي حصول اطمينان از سيستم هاي حياتي هوشمند تمام مجموعه تست سيستم را در سراسر سيستم مجدد اجرا مي كنند. اجراي مجدد تمام مجموعه تست سيستم فعاليتي پرهزينه و زمان بر است. براي كاهش چنين هزينه هايي، اجراي مجموعه رگرسيون كوچك تر، براي تاييد سيستم تغيير يافته پيشنهاد مي شود. در اين مقاله ضمن مقايسه تكنيك هاي رگرسيون راهكاري براي تست سيستم هاي حياتي هوشمند مطرح خواهيم كرد. رويكرد ما براي سيستم هاي حياتي هوشمند، روش هاي رسمي مبتني بر خصوصيات سيستم است كه براي سيستم هاي حياتي بسيار توصيه مي شوند و مشخصه دو نسخه نرم افزار (پايه و تغيير يافته) را در بر مي گيرد و مجموعه تست رگرسيون رابراي نسخه تغيير يافته برمي گرداند