hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
ملف ثنائي الرؤية
ويمكن استخدام محرر سداسي أو معاين لعرض بيانات الملف كسلسلة من قيم نظام العد السداسي عشر (أو العشرية، أو صفات ثنائية، أو أسكي) لمقابلة بايت الملف الثنائي.
إذا تم فتح ملف ثنائي في محرر نصوص، عادة ما تترجم كل مجموعة من ثمانية بت إلى حرف واحد، وغالبا ما سترى شاشة (ربما غير مفهومة) من الصفات النصية. إذا تم فتح الملف في أي من التطبيقات الأخرى، سيكون لهذا التطبيق استخدامه الخاص لكل بايت : ربما سيتعامل التطبيق مع كل بايت كرقم ويخرج تيار من الأرقام بين 0 و 255—أو ربما يفسر الأرقام في وحدات البايت إلى ألوان ويقوم بعرض الصورة المقابلة. إذا كان الملف هو في حد ذاته يعامل كملف قابل للتنفيذوالتشغيل، فمن ثم سيحاول نظام التشغيل ان يفسير الملف على شكل سلسلة من التعليمات بـ لغة الآلة.
ملف ثنائي التفسير
أن المعايير مهمة جدا للملفات الثنائية. فعلى سبيل المثال، الملف الثنائى المفسر من قبل مجموعة صفات أسكي سينتهي بعرض النص. ويمكن لتطبيق مخصص تفسير الملف بشكل مختلف، فقد يكون البايت في شكل صوت، أو بكسل، أو حتى كلمة بأكملها. فكلمة الثنائي نفسها لا معنى لها، حتى يحين الوقت الذي يُنفذ فيه خوارزمية لتُعرف ما ينبغي القيام به مع كل بت، أو بايت، أو كلمة، أو كتلة. وهكذا، وبمجرد دراسة الثنائي ومحاولة ملائمته مع تنسيقات معروفة قد يؤدي إلى استنتاج خاطئ على ما يمثله في الواقع. ويمكن استخدام هذه الحقيقة في التعمية بالأخفاء، حيث تفسر خوارزمية ملف بيانات ثنائي بشكل مختلف للكشف عن محتوى مختفي. وبدون الخوارزمية، فإنه من المستحيل تفسير هذا المحتوى المختفي.
ملف ثنائي التوافق الثنائي
سيكون لاثنين من الملفات ذات التوافق الثنائي نفس النمط من الأصفار والآحاد في جزء البيانات من الملف. ومع ذلك، قد تختلف ترويسة الملف.
ويستخدم المصطلح بشكل شائع ليعلن أن ملفات البيانات المنتجة من أحد التطبيقات هي الضبط نفس ملفات البيانات التي أنتجها تطبيق آخر. وعلى سبيل المثال، بعض شركات البرمجيات تنتج تطبيقات متوافقة ثنائيا مع الـ مايكروسوفت ويندوز وماكنتوش، وهو ما يعني أن الملف المنتج في بيئة ويندوز يمكن تبادله مع ملف منتج في بيئة ماكنتوش. هذا يتجنب الكثير من المشاكل الناجمة عن استيراد وتصدير البيانات.
محمل (حوسبة)
في الحوسبة، المُحمِّل أو المُوسِّق هو الجزء من نظام التشغيل المسؤول عن تحميل البرامج، أحد أهم المراحل الرئيسية في عملية بدء البرنامج، فالمُحمِل هو برنامج مسؤول عن وضع البرامج في الذاكرة وتحضيرها للتنفيذ. يتضمن تحميل البرنامج قراءة محتويات الملف القابل للتنفيذ، والملف الذي يحتوي على نص البرنامج، إلى الذاكرة، ثم القيام بعد ذلك بمهام تحضيرية مطلوبة لإعداد تشغيل البرنامج القابل للتنفيذ. وبمجرد اكتمال التحميل، يبدأ نظام التشغيل البرنامج عن طريق تمرير التحكم إلى رمز البرنامج الذي تم تحميله.
جميع أنظمة التشغيل التي تدعم تحميل البرامج لديها مُحمِلات، وبصرف النظر عن الأنظمة التي ينفذ الرمز مباشرة من ذاكرة القراءة فقط أو في حالة أنظمة الحاسوب التي لديها درجة عالية من التخصص والتي لديها مجموعة ثابتة من البرامج المتخصصة فقط.
وفي العديد من أنظمة التشغيل يقبع المُحمِل بشكل دائم في الذاكرة، وعلى الرغم من أن بعض أنظمة التشغيل التي تدعم الذاكرة الافتراضية قد تسمح بوجود المُحمِل في موقع بالذاكرة قابل للتقسيم كصفحات.
محمل (حوسبة)
وفي حالة أنظمة التشغيل التي تدعم الذاكرة الافتراضية، قد لا ينسخ المُحمِل محتويات الملفات القابلة للتنفيذ في الذاكرة، بل يعلن ببساطة إلى النظام الفرعي للذاكرة الافتراضية أن هناك تعيين بين منطقة الذاكرة المخصصة لاحتواء رمز البرنامج المراد تشغيله ومحتويات الملف القابل للتنفيذ المرتبط به. (انظر ملف الذاكرة المعنونة). ثم يتم توعية النظام الفرعي للذاكرة الأفتراضية بأن الصفحات بتلك المنطقة من الذاكرة يلزم تعبأتها حسب الطلب متى يضرب تنفيذ البرنامج فعلا تلك المناطق الشاغرة من الذاكرة. وهذا قد يعني عدم نسخ أجزاء من رمز البرنامج في الذاكرة حتى يتم استخدامها بالفعل، والرمز الغير مستعمل قد لا يتم تحميله في الذاكرة مطلقا.
محمل (حوسبة) المسؤوليات
بالنسبة لـ يونيكس، فان المُحمِل هو المتولي لـ نظام الاتصال execve ().
ومن مهام مُحمِل اليونيكس:
بعض أجهزة الحاسوب تحتاج إلى اعادة نقل المُحمِل، والتي تعدل العنواين (المؤشرات) في الملف القابل للتنفيذ للتعويض عن تغيرات العنوان التي يبدأ بها التحميل. وتلك الحواسيب التي تحتاج إلى إعادة نقل المُحمِلات هي التي يكون فيها المؤشرات عناوين مطلقة بدلا من أن تكون فروع من العنوان الأساسي للبرنامج. واحد من أشهر الأمثلة هو وحدة المعالجة المركزية لنظام/360 IBM وسلالاته، التي تتضمن سلسلة نظام Z9.
محملات الروابط الديناميكية هي نوع أخر من المُحمِلات والتي تحمل وتربط المكتبات البرمجية (مثل ملفات.dll) للبرامج السابق تحميلها وعملها.
أسقفية طرابلس الرسولية
أسقفية طرابلس الرسولية (باللاتينية Vicariatus Apostolicus Tripolitanus وبالإنجليزية Apostolic Vicariate of Tripoli) هي ممثل الكنيسة الرومانية الكاثوليكية في ليبيا.
تأسست الأسقفية عام 1630 ميلادية تحت اسم «أسقفية طرابلس الرسولية» وتحوّل الاسم عام 1894 إلى «أسقفية ليبيا الرسولية» وفي 3 فبراير/شباط 1927 إلى «أسقفية تريبوليتانا الرسولية» لتعود ابتداء من 22 يونيو/حزيران 1939 إلى اسمها الأول أي «أسقفية طرابلس الرسولية»، وتظل تابعة مباشرة إلى حاضرة الفاتيكان.
يرأس الأسقفية منذ 3 مايو/أيار 1985 أسقف طرابلس للكنيسة الرومانية الكاثوليكية سيادة المطران جيوفاني انوتشنزو مارتينيللي (بالإنجليزية Bishop Giovanni Innocenzo Martinelli).
الأساقفة المتناوبون على الكرسي خلال القرن العشرين والحادي والعشرين نذكر منهم:
دراسات التابع
دراسات التابع تعنى بتقديم قراءة تاريخية تركّز على «صوت» الفئات المهمشة أو التابعة في المجتمعات كبديل عن وجهة نظر المثقفين. وتعتبر جزءاً من الخطاب ما بعد الكولونيالي إذ أنها تبحث عن آثار الاستعمار على الثقافات والشعوب التي عانت من الحكم الكولونيالي، وتربط ما بين تشكيل المعرفة وعلاقات القوة والسلطة في المجتمعات. دراسات التابع بدأت ضمن إطار مجموعة عمل أنشأها مثقفون من الهند وتعنى بدراسة تاريخ شرق آسيا ولكنها أصبحت اليوم مقاربة نقدية لكتابة التاريخ قائمة بحد ذاتها.ان اهتمام دراسات التابع جاء من الاهتمام بالفئة التي لا يوجد لها تاريخ يعبر عنها ، وهذه الفئة بالتاكيد هي الفئة المهمشة كالفقراء والفلاحين والعمال وغيرهم ممن يندرجون تحت الطبقة الدنيا ـ والغاية الاساسية لهذه الدراسات هي اعطاء تلك الفئات مساحة لتعبير عن ما قدموه للتاريخ لانهم ايضا جزء لا يتجزء من المجتمع فلهم الحق  بالتعبير عن ادوارهم وتجاربهم . وكانت الفكرة الاساسية التي استند عليها المفكرون القائمون على مدرسة درسات التابع  هو ان كتابة تاريخ الهند تم بنمط سائد سابقا الا وهو النمط النخبوي وهو الذي يركز على فئة ويهمل الاخرى ، فيعطي الاهتمام الكبير لاعضاء السلطة والنخبة ويهمش الاخر ، وهذا النمط كان موجود عند المؤرخين  سواء الانجليز ( السلطة الاستعمارية) او النخبة الهندية.
دراسات التابع من هو التابع
يعود أصل كلمة تابع بالإنكليزية Subaltern [الإنجليزية] إلى القرن السادس عشر وتعني العريف في الجيش البريطاني دون رتبة الضابط، أي من يتبع الأوامر وفق سلم التراتبية العسكرية. المثقف والفليسوف الإيطالي أنطونيو غرامشي إسخدم هذا المصطلح في كتاباته السياسية وذلك للإشارة إلى الفئات الأقل مكانة في مجتمعاتها، أكانت فئة إثنية، أو دينية، أو جنسية، أو عرقية، ألخ. إذا ً التابع هو الفرد الذي يعيش ضمن مجموعة مهمشة غير قادرة على التعبير عن حاجاتها أو تطلعاتها أو رؤيتها.
دراسات التابع تاريخ
بالاستناد لمقال ( تاريخ قصير لدراسات التابع) " يقول ديبش تشكر ابارتي، احد المؤرخين المنتمين الى مدرسة التابع: ان هنالك نوعين من الكتابة التاريخية عن الهند في فترة ما بعد الاستقلال في سنة 1947، الاولى مرتبطة بمدرسة "كمبريدج"، والثانية بمدرسة المؤرخين القوميين."
فجاء ألن ميخائل ووضح التالي : ان مدرسة كمبريدج اشتهرت في الستينيات بكتابتها التي تزعم ان الهند ورثت الحداثة من الحكم الاستعماري البريطاني. ولتدليل على ذلك قام ابارتي تشكر بالاستناد الى اعمال المؤرخ أنيل سيل في كتابه "ظهور القومية الهندية" عام 1968 والذي يقول فيه: :" ان القومية الهندية قد ازدهرت على يد صفوة صغيرة من الهنود الذين درسوا في المدارس الانجليزية وعملوا في النظام الاداري الاستعماري البريطاني وتعاملوا مع هذا النظام بشكل عميق" ـ وهذا يعطينا نتيجة ان سيل وكافة المؤرخين التابعين لمدرسة كمبريدج يدعون ان الدولة الهندية تعد اختراع بريطاني.
دراسات التابع تاريخ
ومن الطبيعي ان تظهر مدرسة اخرى تأتي بفكر مختلف عما جاءت به المدرسة السابقة ، هذا بالفعل ما حصل في السبعينيات حيث ظهرت مدرسة تاريخية جديدة تقول انه لا بد من التركيز على دور الشعب الهندي فكانت تدعى المدرسة القومية والتي جاءت بافكار مغايرة عما سبقها ،حيث ادعى مؤرخوا هذه المدرسة ان الهند اخذت تعاني اثناء الاستعمار ولم يكن الاستعمار سبب لازدهارها ، على النقيض من ذلك تقول القومية ان الاستعمار اثر سلبا على الثقافة والاقتصاد وعزز الطائفية وادى لتوتر العلاقات بين الاعراق والاديان. فبذلك رأى القوميون ان القومية الهندية لا تعد اختراع بريطاني بل هي نقيض للاستعمار ووسيلة لتوحيد شعوب الهند وتحريكها تحت راية واحدة الا وهي راية ضد الحكم الاجنبي ، فالمؤرخون القوميون الهنود مثل بيبان شتندرى لهم نظرة لتاريخ الاستعمار الا وهي ان هذا التاريخ صراع للوجود بين مفهوم القومية ومفهوم الاستعمار.
دراسات التابع تاريخ
فنعم هنالك اختلاف بين تلك المدرستين ولكن كلا منهما ايضا تجاهل مشاكل عديدة تاثر في حياة الهنود الفقراء اي ان هنالك تشابه شديد بينهما حيث ان كلاهما تناول تاريخ الصفوة فقط بدلا من من التاريخ الكامل لمعظم الشعب الهندي وايضا يشتركان في الحقل الخطابي نفسه . وجاءت مدرسة دراسات التابع  فيما بعد 1982 حيث ان صاحب الفضل الاول لهذه المدرسة هو رناجيت جحا والذي لاحظ افلاس كلتا المدرستين السابقتين في تفسير الجهود والاسهامات والتبرعات التي قام بها افراد الشعب العاديين اي الذين يوجدون بمنأى عن النخبة والسلطة في بلورة القومية الهندية واقامة الدولة الحديثة. فكانت دراسات التابع امتداد للمذهب التاريخي المنتشر في الجامعات البريطانية والذي يعرف باسم التاريخ من اسفل.
ألن ميخائيل( تاريخ دراسات التابع ونظريتان عن السلطة) في كتاب ثقافة النخبة وثقافة العامة في مصر في العصر العثماني (2008)
"دراسات التابع: اعادة كتابة التاريخ" مقال نشر جزء منه في مجلة "اخبار الأدب" عدد 587(10 /10/2004) ص 32-33.
دراسات التابع تاريخ
نشأت دراسات التابع في مطلع الثمانينيات من خلال مجموعة من الباحثين الهنود سعوا إلى قراءة نقدية للتاريخ الهندي من خلال دراسة أوضاع المهمشين أو التابعين. ورأوا أن التاريخ في الهند كتب من منظار النخبة التي تخرجت من النظام التعليمي البريطاني ويحمل في طياته حس قومي. المفكر الهندي راناجيت غوها هو أحد رائدي دراسات التابع، إن لم نقل الأب المؤسس، حيث قام بوضع أسس هذا المجال مع مجموعة من طلابه في جامعة ساسيكس البريطانية في سيتينايات القرن الماضي خاصة مع بروز مقال نشره في «دراسات التابع الجزء الأول» ومن ثم في كتابه «الجوانب المبدئية لتمرد الفلاحين في الهند تحت الحكم الكولونيالي». وفي منتصف التسيعينات بدأت دراسات التابع بدخول الدراسات الأنثوية، والأفريقية، والأميركية اللاتينية ما جعلها المقاربة للتاريخ قائمة بحد ذاتها لا تقتصر على منطقة جغرافية محددة.
دراسات التابع ركائز دراسات التابع
ينتقد باحثو دراسات التابع التحليل الماركسي للتاريخ الهندي ويتهمونه بالتركيز على دور النخبة المثقفة في تطوير الوعي السياسي لدى الشعب في مواجهة الاستعمار البريطاني. وعوضا ً عن ذلك يسعون إلى التركيز على دور غير المثقفين والهامشيين كوكلاء أساسيين في عملية التغيير السياسي والاجتماعي في الهند. ويركزون على ثلاثة محاور أساسية وهي: صوت المهمشين، الوكالة في إحداث التغيير، والتاريخ المجزء. الفئات المهمشة بحكم موقعها غير قادرة على إيصال صوتها أو التعبير عن نفسها، غير أنه مما لا شك فيه تلعب دورا هاما ً في التغيير التي تشهده المجتمعات. ومن هذا المنطلق يرى مثقفو دراسات التابع أن المؤرخين لم يلتفتوا إلى هذه الفئات ولم يوكلوا لها دوراً في صيرورة المجتمع. أما الركيزة الأخيرة فهي أن كتابة التاريخ لا يمكن أن يكون وفق رواية واحدة موحدة بل هو عبارة عن مجموعة من الروايات التي تجتمع لتعطي صورة أشمل عن التاريخ.
دراسات التابع هل يمكن للتابع أن يتكلم
غاياتري شاكرافورتي سبيفاك أحد أبرز وجوه دراسات التابع قدمت عام 1988 نقدا ً لهذا المشروع، رغم أنها كانت تعمل ضمن إطاره، في مقالتها «هل يمكن للتابع أن يتكلم؟» المقالة شكلت منعطفا ً هاما ً في هذا التخصص وحاججت فيها سبيفاك أن التابع يتكلم «بلغة» قد لا يفهمها المنخرط في مشروع دراسات التابع الذي يعمل وفق منظومة فكرية مختلفة عن تلك التي يتمتع بها المهمشون. وتستخدم سبيفاك مثال النساء في الهند اللواتي يقمن بالساتي وهو طقس ديني عند الهندوس، تقوم فيه الأرملة بحرق نفسها مع جثة زوجها المتوفي. وقامت بريطانيا خلال انتدابها للهند بمنع هذا الطقس عام 1829، الأمر الذي يبدو لنا الآن قراراً صائباً. غير أن سبيفاك تقول إنه ومن خلال قيامهن بهذا الطقس، تعبر النساء المهمشات من الهندوس عن «صوتهن»، صوت نعتبره اليوم غير مفهوم أو غير منطقي.
دراسات التابع أبرز المفكرين
رانجيت غوها، غيان باركاش، غياتري سبيفاك،هومي بابا، سوميت ساركار، فيناياك شاتورفيدي.
تغطية الكود
تغطية الكود هي مقياس يستخدم في فحص البرمجيات ويقوم بوصف المرحلة التي وصل إليها فحص الكود المصدري للبرنامج. وهي إحدى صور الفحص التي يتم فيها فحص الكود بشكل مباشر وبذلك تكون إحدى صور فحص الصندوق الأبيض. بمرور الوقت، توسع استخدام تغطية الكود ليشمل مجال الالكترونيات الرقمية، والتي تعتمد منهجية تصميمها المعاصر على لغات وصف الإلكترونيات
كانت تغطية الكود من بين أولى الطرق التي تم اختراعها من أجل الفحص المنهجي للبرمجيات. قام ميلر وماوني بنشر أول مرجع في اتصالات رابطة مكائن الحوسبة عام 1963.
تغطية الكود هي إحدى الاعتبارات في شهادة أمان معدات إلكترونيات الطيران. تم توثيق المعيار الذي تم من خلاله اعتماد معدات إلكترونيات الطيران بواسطة وكالة الطيران الفدرالية في DO-178B 2
تغطية الكود معايير التغطية
يتم استخدام واحد أو أكثر من معايير التغطية لقياس مدى استخدام البرنامج بواسطة حزمة فحص
هناك العديد من معايير التغطية، المعايير الرئيسية هي:
على سبيل المثال، نفترض دالة سي++ التالية:
بافتراض أن هذه الدالة جزء من برنامج أكبر وأن هذا البرنامج يتم تشغيله بواسطة حزمة فحص ما.
تستوفي فحوصات استدعاء foo(1,1) و foo (0,1) تغطية التقرير كما في الحالة الأولى عند استيفاء شرطية if وشرطية التقييم بالقصر وتنفيذ z=x; وفي الحالة الثانية لم يتم استيفاء أي من الجملتين الشرطيتين ولم يتم إقران x ب z.
يمكن استيفاء تغطية الشرط من خلال فحوصات تستدعي foo(1,1) و foo (1,0) و foo (0,0). وتعتبر ضرورية حيث تُفيّم (x>0) في أول حالتين true بينما تُفيّم false في الحالة الثالثة. وفي نفس الوقت تجعل الحالة الأولى (y>0) true بينما تجعلها الحالتين الثانية والثالثة false
في اللغات، كلغة باسكال حيث لايتم تقييم العمليات البوليانية القياسية بالقصر، ليس من الضروري أن تعني تغطية الشرط تغطية التقرير. على سبيل المثال، نفترض القطعة التالية من الكود:
تغطية الكود معايير التغطية
ومع ذلك، فإن مجموعة الفحوصات تلك لاتستوفي تغطية التقرير حيث لن يتم استيفاء شرط if في أي من الحالات
قد يكون إدخال العيوب ضروريا من أجل ضمان تغطية كافية لشروط وفروع كود إدارة الاستثناء أثناء الفحص
في تطبيقات السلامة الحرجة (على سبيل المثال. برمجيات إلكترونيات الطيران) غالبا ماتكون هناك حاجة إلى استيفاء تغطية شرط/تقرير معدلة C/DCهذه المعايير هي امتداد لمعايير شرط/تقرير مع تطلب قيام كل شرط بالتأثير على ناتج التقرير بشكل مستقل. على سبيل المثال، نفترض الكود التالي:
يتم استيفاء معايير شرط/تقرير من خلال مجموعة الفحوصات التالية:
ومع ذلك، لن تستوفي مجموعة الفحوصات الموجودة بالأعلى تغطية شرط/تقرير المعدّلة، حيث لن تؤثر القيمة"b" في الفحص الأول والقيمة "c" في الفحص الثاني على الناتج. وبذلك نحتاج إلى مجموعة الفحص التالية لاستيفاء MC/DC
تؤثر القيم بالخط البارز على الناتج، ينبغي أن يتواجد كل متغير كقيمة مؤثرة مرة واحدة على الأقل مع false ومرة مع true
تتطلب هذه المعايير فحص كل التركيبات الشرطية داخل كل تقرير. على سبيل المثال، تحتاج قطعة الكود من القسم السابق إلى ثمانية فحوصات:
تغطية الكود معايير التغطية
تحتاج تطبيقات السلامة الحرجة غالبا إلى برهنة أن الفحص يحقق 100% من بعض صور تغطية الكود.
تتصل بعض معايير التغطية بالأعلى. على سبيل المثال، تعني تغطية المسار تغطية التقرير والجملة ودخول/خروج. تعني تغطية التقرير تغطية الجملة لأن كل جملة جزء من فرع ما.
تغطية المسار الكامل، النوع المذكور بالأعلى يكون عادة غير عملي أو غير ممكن.أي وحدة تحتوي على تتابع ن تقرير داخلها يمكن أن يكون ضمنها عدد مسارات حتى 2n ؛ يمكن أن ينتج عن تركيبات الحلقات عدد لانهائي من المسارات. قد يكون العديد من المسارات أيضا غير قابل للتطبيق، والتي لايكون فيها دخل للبرنامج ضمن الفحص الذي يمكن أن يتسبب في تنفيذ هذا المسار المحدد. ومع ذلك تم برهنة إمكانية ايجاد خوارزمية غرض عام للتعرف على المسارات غير القابلة للتطبيق (يمكن استخدام مثل هذه الخوارزمية لحل مشكلة التوقف.
تحاول طرق تغطية المسار العملية بدلا من ذلك التعرف على درجات مسارات الكود التي تختلف فقط في عدد تنفيذات الكود لتحقيق تغطية «المسار الأساسي». ينبغي على المختبر تغطية كل درجات المسار.
تغطية الكود في الممارسة
يتم بناء البرمجية المستهدفة بخيارات خاصة و/أو يتم تشغيلها من خلال بيئة خاصة بحيث يتم تعيين ممارسة (تنفيذ) كل دالة على نقاط الدالة في كود المصدر. تساعد هذه العملية المطورين وموظفي ضمان الجودة على البحث عن أجزاء المنظومة التي يتم الدخول إليها نادرا أو لم يتم الدخول إليها مطلقا في الحالات العادية (معالجة الخطأ وماشابه) وتساعد على طمأنة مهندسي الفحص على أن معظم الشروط المهمة (نقاط الدالة) قد تم فحصها. يتم تحليل الخرج الناتج لمعرفة أي من أجزاء الكود لم يتم ممارسته ويتم تحديث الفحوصات بحيث تتضمن هذه الأجزاء كلما اقتضت الضرورة. وبالترافق مع باقي طرق تغطية الكود، يكون الهدف تطوير فحوصات تراجعية دقيقة لكن يمكن التحكم فيها.
عند تنفيذ سياسات تغطية الكود ضمن بيئة تطوير برمجية ما، يجب مراعاة الآتي:
ماهي متطلبات التغطية من أجل الحصول على اعتماد المنتج النهائي، وإذا كان الأمر كذلك فماهو مستوى تغطية الكود المطلوب؟ المستوى النموذجي لتقدم الدقة هو كالتالي: الجملة، الفرع/التقرير، تغطية شرط/تقرير معدّلة (MC/DC)،LCSAJ تتابع وانتقال الكود الخطي
تغطية الكود في الممارسة
هل يمكن إرجاع الكود المستهدف بشكل مباشر إلى جمل كود المصدر؟ تحتاج شهادات محدده (DO-178B مستوىA على سبيل المثال) إلى تغطية على مستوى التجميع وإذا لم يكن الحال كذلك: «يتعين القيام بتحقق إضافي من الكود المستهدف من أجل إنشاء تصحيح لتتابعات الأكواد المتولدة تلك» (DO-178B) para-6.4.4.2.
يمكن لمهندسي الفحص أن يقوموا بإلقاء نظرة على نتائج فحص تغطية الكود بحيث تساعدهم على استنباط حالات الفحص والدخل أو مجموعات التكوين والتي ستقوم بزيادة تغطية الكود على الدوال الحيوية. هناك صورتان شائعتان لتغطية الكود يتم استخدامهما من قِبل المُختبرين وهما تغطية الجملة (أو الخط) وتغطية المسار (أو الحافة). تقوم تغطية الخط بالتبليغ على بصمة تنفيذ الفحص من حيث أي من خطوط الكود تم تنفيذها لاكمال الفحص.تقوم تغطية الحافة بالتبليغ عن أي من الفروع أونقاط تقرير الكود تم تنفيذها لاكمال الفحص. تقوم كلتا التغطيتين بالتبليغ عن ميزان التغطية والذي يقاس كنسبة مئوية. معني ذلك يعتمد على أي من صور تغطية الكود تم استخدامها حيث أن تغطية مسار 67% أكثر شمولا من تغطية جملة 67%
تغطية الكود في الممارسة
وبشكل عام، تتطلب أدوات تغطية الكود ومكتباتها البرمجية تكلفة آداء و/أو ذاكرة أو موارد أخرى غير مقبولة لعمليات البرمجيات المعتادة. ولذلك، يتم استخدامها فقط في المختبر. وكما يجب أن يتوقع المرء، فإن هناك درجات من البرمجيات لا يمكن اخضاعها عمليا لفحوصات التغطية تلك، ومع ذلك يمكن الوصول إلى تقريب لتعيين درجة التغطية عبر التحليل أكثر من الفحص المباشر.
هناك أيضاً بعض العيوب التي يتم التأثير عليها من خلال تلك الأدوات. وعلى وجه الخصوص قد لاتظهر بعض حالات التعرض أو العمليات الحساسة للوقت الحقيقي المشابهة عند تشغيلها في بيئات تغطية الكود؛ وعلى العكس قد يصبح اكتشاف بعض تلك العيوب أسهل كنتيجة للأحمال الإضافية على الكود الفحصي.
إي إس إي إم في
ES EVM (وتعني "النظام الموحّد للحاسبات الإليكترونية") كانت سلسلة من استنساخات نظام أي بي أم /360 ونظام الحاسبات الكبيرة/370، المنتشر في دول مجلس التعاون الاقتصادي كوميكون تحت مبادرة الاتحاد السوفيتي منذ الستينيات. واستمر الإنتاج حتى عام 1998. وزاد العدد الكلي المنتج للحاسبات الكبيرة من نوع ES EVM عن 15000.
في الفترة من عام 1986 وحتى عام 1997، أُنتجت أيضًا سلسلة من حاسبات سطح المكتب المتوافقة مع الحاسب الشخصي، تسمى ПЭВМ ЕС ЭВМ (حاسبات شخصية من سلسلة ES EVM); ولا تزال تنتَج النسخ الأحدث لتلك الحاسبات تحت اسم مختلف في نطاق محدود جدا في مينسك.
إي إس إي إم في التطوير
اقترح الاقتصاديون السوفيت في سنة 1966 خلق سلسلة موحدة من أجهزة الكمبيوتر متنوعة ومتوافقة نظراً لنجاح هذا النظام في الولايات المتحدة وقرر المخططين الاقتصاديين استخدام تصميم آي بي إم 360 ورغم أن بعض أبرز علماء الكمبيوتر السوفيت انتقدوا الفكرة واقترحوا بدلا من ذلك اختيار واحد من التصاميم السوفيتية الأصلية بي إي أس إم وهو اسم سلسلة من أجهزة الكمبيوتر المركزية السوفيتية التي بنيت في 1950/ 1960 أو منسك وهي عائلة أجهزة الكمبيوتر المركزية المتقدمة والمنتجة في جمهورية بيلاروسيا الاشتراكية السوفيتية --- بدأ العمل أولا في الاستنساخ عام 1968 ثم بدأ الإنتاج عام 1972 وبعدها انضمت بلدان أخرى إلي المشروع.
إي إس إي إم في التطوير
خلافا للأسطورة الشعبية لم يستخدم المهندسين السوفيت تقنية آ بى أم بل سرقت من قبل الكي جي بى خلال الفترة من 1960 حتى 1970. وشركات أخرى عديدة مثل إمدال – سيمنس – هيتاشي. استنسخوا أيضا آي بي إم ومن ثم البناء الأساسي دون الحصول على موافقة شركة آي بي إم ولم يكن هناك حاجة للمصدر باستثناء قطع قليلة في الأجهزة وقد تم التعرف على الآلات من خلال البلدان الغربية كما تم تصميمها بشكل مستقل وأعطاها السوفيت الشرعية عن طريق تسجيل براءات الاختراع وعلى عكس الأجهزة الأصلية تماما، أنشئت أخرى بطريقة الهندسة العكسية وأعتمد الكثير من العلماء في إكمال المشروع علي تعديل طفيف في البرنامج وترجمة رموز آي بى أم .
إي إس إي إم في التطوير
في عام 1974، 1976 قامت شركة آي بي آم بالاتصال بالسلطات السوفيتية لتطوير العلاقة علي مراقبة الخط القاعدي الكامل ولكن انقطعت تلك الاتصالات بين مسئولي أي بي أم والمجموعة المطورة للنظام الخاص بالولايات المتحدة بعد أن دخل الجيش السوفيتي أفغانستان في عام 1979 وذلك بسبب الحظر المفروض على الولايات المتحدة بشأن التعاون التكنولوجي مع الاتحاد السوفيتي بسبب القيود الخاصة بالحصول علي معلومات عن الولايات المتحدة المقاتلة وتمكن العلماء من تعريب البرمجيات وذلك عن طريق تفكيك برنامج آي بي إم، مع بعض التعديلات الضئيلة. وكان نظام التشغيل الأكثر شيوعا هو نسخة معدلة من نظام 360 وأحدث إصدارات نظام التشغيل الأصلي مختلف عن أنظمة التشغيل ولكنها شملت أيضا الكثير من رموز آي بي إم الأصلي وكانت هناك شائعات غير مؤكدة حتى بين المبرمجين السوفيت أن نظام التشغيل هذا يفترض أنه يتضمن بعض أوامر ليست في مصلحة الأسرار السوفيتية نتيجة لوجود النشيد الوطني الأميركي واليوم بعض المعاهد الروسية عملت على مراقبة الخط القاعدي الكامل بالاتفاق والتعاون مع شركة آي بي إم في مواصلة تقديم الدعم على حد سواء ونظم مراقبة الخط القاعدي الكامل أصبحت حقيقية ثابتة وكانت مراقبة الخط القاعدي الكامل قد وضعت في موسكو في مركز للأبحاث العلمية لآلات الحاسوب الإلكترونية في يريفان وفيما بعد في مينسك وروسيا البيضاء
في معهد البحوث العلمية لأجهزة الحاسوب إلكتروني بالرغم من المراقبة فانه قد تم إنتاج الأجهزة في كثير من البلدان الغربية وبلدان الكتلة الشرقية أيضا كبلغاريا والمجر وبولندا وتشيكوسلوفاكيا ورومانيا وألمانيا الشرقية، وأنتجت أيضا بعض الأجهزة الطرفية في كوبا.
أنتجت أجهزة الكمبيوتر في سلسلة فرعية، والمعروفة باسم بي1 – بي 2 – بي 3 – بي 4 (تعني سلسلة ر ي ا د).
إي إس إي إم في نماذج الأجهزة والتفاصيل التقنية
السلسلة الفرعية الأولي أحيطت أيضا بمراقبة الخط القاعدي الكامل، الذي صدر في 1969-1978، ونماذج 1010، 1020، 1030، 1040 و 1050، والتي كانت مشابهة لنظام 360وتشغيله في كيبز 10-450، ومزيد من الإصدارات النادرة والمتقدمة لكنها غير متوافقة مع إصدارات آي بي إم : 1022، 1032، 1033 و 1052.
النماذج الأولية للإلكترونيات تستند في دوائرها علي منطق البقاء علي الاتصال
والآلات التي استخدمت في وقت لاحق تصميم—أي سي ال—كانت متوافقة مع إصدار 1050 وتصل ذاكرة الوصول العشوائي لها الي 1 ميجا بيت و 64 بيت عند تسجيل النقطة العائمة وأسرع جهاز من هذه السلسلة توافق مع إصدار 1052 ووضع في عام 1978، تعمل عند 700 كيبز.
إي إس إي إم في نماذج الأجهزة والتفاصيل التقنية
وتضمنت السلسلة الفرعية الثانية التي صدرت في 1977-1978، ونماذج 1015، 1025، 1035، 1045، 1055 و 1060، قياسا على نظام / 370 تعمل في 33 كيبز—1,050 كخطط تنفيذ البعثات. وكان توافق 1060 حتى 8M ذاكرة الوصول العشوائي.
وكانت السلسلة الفرعية الثالثة التي صدرت في 1984، قياسا إلى 370 / النظام الأصلي مع بعض التحسينات، شملت نماذج1016، 1026، 1036، 1046 و 1066. وكان توافق 1066 حتى 16M ذاكرة الوصول العشوائي وتعمل على 5,5 كخطط تنفيذ البعثات. وكانت السلسلة الفرعية الرابعة ليست مع نظيرتها في آي بي إم وشملت 1130، 1181 و 1220. وأيد الجهاز الأخير في السلسلة التوافق مع نموذج 1220 الذي صدر في عام 1995 عددا من الأوامر لوحدة المعالجة المركزية 64 بت وذاكرة الوصول العشوائي 256M وتعمل في 7 خطط تنفيذية ولكن لم يكن ناجحا، وأنتجت من أي وقت مضى فقط 20 أجهزة من هذا القبيل، وكلها في 1998 أوقفت إنتاجها الكبير لعدم التوافق.
كليز (دودة حاسوب)
دودة الكمبيوتر الفيروسية (Klez) هي دودة كمبيوتر، انتشرت عبر البريد الإلكتروني وظهرت للمرة الأولى في أكتوبر 2001.
وهناك العديد من البدائل الفيروسية لتلك الدودة الموجودة بالفعل والتي تؤثر علي سلامة أجهزة الكمبيوتر.
كليز (دودة حاسوب) طريقة الانتشار
وهذه الدودة الفيروسية تصيب أنظمة التشغيل - النوافذ الخاصة بشركة مايكروسوفت من خلال استغلاها ثغرة أمنية في مستكشف شبكة المعلومات والخاص بتصميم نظام مخطط ترايدنت وهذا المخطط يستخدم من قبل كل من برنامج المتطلع الخاص أيضا بشركة مايكروسوفت وبرنامج التعبير عن التوقعات المستخدم في شكل التواصل بين عملاء البريد الالكتروني عن طريق برنامج لغة للتعبير عن النصوص المتشعبة.
كليز (دودة حاسوب) الانتشار بالبريد الإلكتروني
الدودة تنتشر دائماً من خلال البريد الإلكتروني لما يتضمنه من جزء من النص لواحد أو أكثر من مرفقاته وهي تلتصق بتلك النصوص أو جزء من النص ودائماً ما يحتوي البريد علي ذلك حيث انه الإطار الداخلي الذي يعتبر كالدواب التي تجر العربات لتحمل البريد الإلكتروني إلى العملاء فينفذ أوامر الدودة تلقائياً بمجرد فتح البريد دون سابق إنذار.
ويحدث ذلك ولو كانت الرسالة مجرد بضعة اسطر من النص فهي تحاول دائماً حث المتلقي علي تنفيذ طلبتها وإغراءه عن طريق فتح الملف المرفق من خلال الزعم في بعض الأحيان بأن الملف المرفق هو تصحيح من مايكروسوفت والمرفق الأول دائما يكون ملتصق بالدودة التي تتنوع داخلياً حسب الاحتياج فهي تمتطي الدواب التي تجر العربات فتؤثر علي الجهاز عن طريق المستخدم بطلب البريد بشكل يدوي.
كليز (دودة حاسوب) الانتشار بالبريد الإلكتروني
ويمكن أن يتم تنفيذ طلب الدودة بشكل تلقائي عن طريق أنها تبحث عن عناوين لإرسال نفسها وعندما ترسل نفسها بنفسها فإنها ترفق ملف من الجهاز المصاب مما يؤدي إلى إمكانية انتهاك خصوصيته. وفي نهاية المطاف فلها الحرية التامة في استخدام عناوين كاذبة تلتقطها بطريقة عشوائية من البريد الإلكتروني للجهاز المصاب سواء من دفتر العناوين أو برنامج المتطلع.
مما يجعل من المستحيل بالنسبة للمراقبين العرضيين تحديد الجهاز المصاب ويجعل من الصعب على الخبراء تحديد أي شيء أكثر من خدمة الجهاز المصاب المرتبط بالإنترنت.