جدول پیوندها
چکیده و 1 مقدمه
2 پس زمینه
3 رویکرد و 3.1 آزمایش دیفرانسیل برای پردازنده های XML
3.2 xpath تولید بیان
3.3 نسل XML
4 ارزیابی
4.1 اثربخشی
4.2 کارآیی
4.3 مقایسه با وضعیت هنر
4.4 تجزیه و تحلیل گزارش های اشکال تاریخی Basex
5 کار مرتبط
6 نتیجه گیری ، تصدیق و منابع
3 رویکرد
شکل 3 نمای کلی از رویکرد را با استفاده از همان مثال در شکل 1 نشان می دهد. در سطح بالا ، رویکرد ما از سه مرحله اصلی تشکیل شده است. ابتدا ، ما به طور تصادفی یک سند XML را به عنوان زمینه ای برای نمایش داده های زیر تولید می کنیم (مرحله 1). ما سپس یک بیان XPATH ایجاد می کنیم که متعاقباً اعتبار آن خواهیم بود (مرحله 2 تا مرحله 5). سرانجام ، ما بیان XPATH را روی سند XML با استفاده از تمام موتورهای تحت آزمایش اجرا می کنیم و خروجی های حاصل را برای تشخیص اشکالات احتمالی مقایسه می کنیم (مرحله 6). در زیر بخش های بعدی ، ما این مراحل را به ترتیب معکوس توضیح می دهیم تا اهمیت آنها را منعکس کنیم.
ما نسل بیان XPATH را به سمت نمایش داده شدیم که گره ها و ویژگی های موجود در سند XML را نشان می دهد و منجر به مجموعه های نتیجه غیر خالی بر اساس این شهود می شود که احتمال بیشتری برای تأکید بر منطق اساسی سیستم های آزمایش شده است. برای تولید عبارات XPATH با مجموعه های نتیجه غیر خالی ، ما پرس و جو را می سازیم …