উদ্বোধনী মন্তব্য
সোনাল শাহ (গুগল)
ওপেনিং কিনোট - দ্রুত সরান এবং জিনিস ভাঙবেন না
অঙ্কিত মেহতা (গুগল)
একটি ভাল ওয়েবের জন্য অটোমেশন
জেমস গ্রাহাম (মোজিলা)
ওয়েব হল বিশ্বের সবচেয়ে জনপ্রিয় অ্যাপ্লিকেশন প্ল্যাটফর্ম, তবুও দুর্বল ব্রাউজার ইন্টারঅপারেবিলিটি ওয়েব ডেভেলপারদের মধ্যে হতাশা এবং হতাশার একটি অতি সাধারণ কারণ। এই পরিস্থিতির উন্নতির চেষ্টা করার জন্য W3C উন্মুক্ত ওয়েবের জন্য ক্রমাগত আপডেট করা, ক্রস-ব্রাউজার, টেস্টসুইট তৈরি করার জন্য একটি সম্প্রদায়ের প্রচেষ্টাকে সহজতর করছে; ওয়েব-প্ল্যাটফর্ম-পরীক্ষা। এই আলোচনায় জেমস ওয়েব-প্ল্যাটফর্ম-পরীক্ষার সাথে পরিচয় করিয়ে দেবেন এবং বিভিন্ন ডেস্কটপ ব্রাউজারে এবং Firefox OS চালিত মোবাইল ডিভাইসগুলিতে পরীক্ষার অটোমেশন চালানোর জন্য আমরা যে সরঞ্জামগুলি তৈরি করেছি তার বর্ণনা দেবেন। তিনি দেখাবেন কিভাবে এই সফ্টওয়্যারটি Mozilla-এর ক্রমাগত ইন্টিগ্রেশন সিস্টেমে দিনে শত শত প্রতিশ্রুতিতে একটি বাহ্যিক-উৎসিত, ঘন ঘন আপডেট করা, টেস্টসুইট চালানোর চ্যালেঞ্জ মোকাবেলা করার জন্য ডিজাইন করা হয়েছে।
Chrome কে সেরা মোবাইল ব্রাউজার করুন
কারিন লুন্ডবার্গ (গুগল)
ক্রোমের সাফল্যের অন্যতম কারণ হল এর গতি, স্থিতিশীলতা, সরলতা এবং নিরাপত্তার মূল নীতিগুলি (4 এস)। যখন আমরা Android এবং iOS-এর জন্য Chrome প্রকাশ করি, তখন আমরা শুধুমাত্র ব্রাউজারেই 4 S প্রয়োগ করি না বরং আমরা কীভাবে স্বয়ংক্রিয় পরীক্ষা করি এবং আমরা যে ধরনের পরীক্ষা চালাই তাও:
- গতি কার্যক্ষমতা পরীক্ষা এবং দ্রুত পরীক্ষার জন্য।
- স্থিতিশীলতা স্থিতিশীলতা পরীক্ষা এবং স্থিতিশীল পরীক্ষার জন্য।
- সরলতা হল Chrome-এর একটি সাধারণ ব্যবহারকারীর অভিজ্ঞতা আছে কিনা তা পরীক্ষা করার জন্য এবং পরীক্ষাগুলি যোগ করা এবং চালানো সহজ করার জন্য।
- নিরাপত্তা নিরাপত্তা পরীক্ষার জন্য.
আচরণগত মডেলের জন্য একটি পরীক্ষা অটোমেশন ভাষা
নান লি (মেডিডাটা সলিউশন)
মডেল-ভিত্তিক পরীক্ষকরা মডেলের পরিপ্রেক্ষিতে বিমূর্ত পরীক্ষা ডিজাইন করে যেমন গ্রাফে পাথ। তারপরে বিমূর্ত পরীক্ষাগুলিকে কংক্রিট পরীক্ষায় রূপান্তর করতে হবে, যা বাস্তবায়নের ক্ষেত্রে সংজ্ঞায়িত করা হয়েছে। বিমূর্ত পরীক্ষা থেকে কংক্রিট পরীক্ষায় রূপান্তর স্বয়ংক্রিয় হতে হবে। আচরণগত মডেলগুলির জন্য বিদ্যমান মডেল-ভিত্তিক পরীক্ষার কৌশলগুলি অনেকগুলি অতিরিক্ত চিত্র যেমন ক্লাস ডায়াগ্রাম ব্যবহার করে এবং পরীক্ষার রূপান্তর এবং প্রজন্মের জন্য কেস ডায়াগ্রাম ব্যবহার করে। এগুলি অনুশীলনে ব্যবহার করা খুব জটিল কারণ পরীক্ষকদের সমস্ত সম্পর্কিত ডায়াগ্রামগুলিকে সব সময় সামঞ্জস্যপূর্ণ করতে হয় এমনকি প্রয়োজনীয়তাগুলি ঘন ঘন পরিবর্তিত হলেও।
এই আলোচনা একটি পরীক্ষা অটোমেশন ভাষা প্রবর্তন করে যাতে পরীক্ষকদের শুধুমাত্র একটি আচরণগত মডেল যেমন একটি স্টেট মেশিন ডায়াগ্রাম ব্যবহার করে পরীক্ষা তৈরি করতে দেয়। তিনটি সমস্যা সমাধান করা হবে: (1) মডেল থেকে এক্সিকিউটেবল টেস্ট কোডে ম্যাপিং তৈরি করা এবং পরীক্ষার মান তৈরি করা, (2) গ্রাফ রূপান্তর করা এবং পরীক্ষার পথ তৈরি করতে কভারেজ মানদণ্ড ব্যবহার করা এবং (3) সীমাবদ্ধতাগুলি সমাধান করা এবং কংক্রিট পরীক্ষা তৈরি করা।
Google এ পরীক্ষা কভারেজ
আন্দ্রেই চিরিলা (গুগল)
আপনি কি কখনও ভেবে দেখেছেন যে Google-এ পরীক্ষা কেমন দেখায়? আমাদের সাহায্য করার জন্য আমরা কোন সরঞ্জামগুলি ব্যবহার করি এবং কীভাবে আমরা পরীক্ষা কভারেজ পরিমাপ করি এবং কাজ করি? আমরা সংক্ষেপে Google-এ উন্নয়ন প্রক্রিয়া বর্ণনা করব, তারপর কোড কভারেজ পরিমাপের ব্যবহার এবং কোডের গুণমান এবং প্রকৌশল উৎপাদনশীলতা উন্নত করতে আমরা কীভাবে কোড কভারেজ ব্যবহার করি তার উপর ফোকাস করব। শেষ পর্যন্ত, আমরা 100.000 টিরও বেশি কমিট জুড়ে বিস্তৃত কভারেজ ডেটা উপস্থাপন করব, আমরা সংগ্রহ করেছি এবং আরও কিছু ব্যাপকভাবে প্রযোজ্য সিদ্ধান্তে পৌঁছেছি।
CATJS: অ্যাপ্লিকেশন যা নিজেদের পরীক্ষা করে
Ran Snir (HP) এবং Lior Reuven (HP)
বিগত বছরগুলিতে আমরা অনেক অসঙ্গতি দেখেছি যা কম্পিউটিং বিশ্ব সম্পর্কে আমাদের চিন্তাভাবনা পরিবর্তন করেছে। 3d প্রিন্টার আছে যা 3d প্রিন্টার প্রিন্ট করে, রোবট যেগুলি নিজেরাই চিন্তা করে এবং তারপরে আমাদের catjs আছে।
catjs হল একটি ওপেন সোর্স ফ্রেমওয়ার্ক যা মোবাইল-ওয়েব অ্যাপের নিজেদের পরীক্ষা করার ক্ষমতা যোগ করে। আপনার HTML5 কোডের সহজ টীকাগুলি অ্যাপ্লিকেশনের জীবনচক্রের মধ্যে এমবেডেড টেস্ট স্ক্রিপ্টগুলিতে অনুবাদ করা হবে৷ এই মোবাইল-ওয়েব পরীক্ষাগুলি যে কোনও ডিভাইস, অপারেটিং সিস্টেম এবং ব্রাউজারে চালানো যেতে পারে। catjs হল আপনার অ্যাপ্লিকেশনের পরীক্ষার প্রবাহের যত্ন নেওয়ার একটি দ্রুত এবং সহজ উপায়।
স্কেলেবল ক্রমাগত একীকরণ - ওপেন সোর্স ব্যবহার করে
বিশাল অরোরা (ড্রপবক্স)
একটানা ইন্টিগ্রেশন (CI) এর জন্য অনেক ওপেন সোর্স টুল উপলব্ধ। মাত্র কয়েকজন বড় পরিসরে ভাল কাজ করে। এবং প্রায় কেউই বিতরণ করা পরিবেশে স্কেল করার জন্য নির্মিত হয় না। স্কেল এ CI বাস্তবায়নের চ্যালেঞ্জগুলি খুঁজে বের করুন, এবং আপনার নিজস্ব বিতরণ করা, স্কেলযোগ্য CI সিস্টেম দ্রুত তৈরি করতে ওপেন সোর্স অংশগুলিকে একত্রিত করার একটি উপায়।
আমি প্রায়শই পরীক্ষা করি না ... কিন্তু যখন আমি করি, আমি উৎপাদনে পরীক্ষা করি
গ্যারেথ বোলস (নেটফ্লিক্স)
প্রতিদিন, Netflix-এর ক্রমবর্ধমান সংখ্যক ক্লায়েন্ট ডিভাইসে আরও বেশি সংখ্যক গ্রাহকরা আরও সামগ্রী ব্যবহার করছেন। আমরা আমাদের গ্রাহকদের অভিজ্ঞতা উন্নত করতে ক্রমাগত উদ্ভাবন করছি। এই ধরনের দ্রুত পরিবর্তিত পরিবেশে পরীক্ষা করা একটি বিশাল চ্যালেঞ্জ, এবং আমরা উপসংহারে পৌঁছেছি যে আমাদের উত্পাদন পরিবেশে পরীক্ষা চালানো প্রায়শই সেই পরিবর্তনগুলিকে যাচাই করার সবচেয়ে কার্যকর উপায় হতে পারে। এই আলোচনা তিনটি পরীক্ষা পদ্ধতি কভার করবে যা আমরা উত্পাদনে ব্যবহার করি: সিমিয়ান আর্মির সাথে সমস্ত ধরণের বিভ্রাটের অনুকরণ করা, ক্যানারি ব্যবহার করে রিগ্রেশনের সন্ধান করা এবং উত্পাদন থেকে কোড কভারেজ বিশ্লেষণের মাধ্যমে পরীক্ষার কার্যকারিতা পরিমাপ করা।
বাস্তব এবং ভার্চুয়াল মোবাইল ডিভাইসে স্বয়ংক্রিয় পরীক্ষার গুরুত্ব
জয় শ্রীনিবাসন (গুগল) এবং মনীশ লাচওয়ানি (গুগল)
ওয়েব জগতের তুলনায়, মোবাইল টেস্টিং একটি মাইনফিল্ড। বিভিন্ন ডিভাইস, অপারেটিং সিস্টেম, নেটওয়ার্ক এবং অবস্থান থেকে, আপাতদৃষ্টিতে অসীম সংখ্যক ভেরিয়েবল রয়েছে যা ডেভেলপারদের অবশ্যই অ্যাকাউন্ট করতে হবে। এই শিক্ষামূলক অধিবেশনে, আমরা মোবাইল অ্যাপের কার্যকারিতা এবং গুণমান অপ্টিমাইজ করার সাথে আসা কিছু অনন্য চ্যালেঞ্জ এবং অটোমেশনের প্রয়োজনীয়তা, বাস্তব ডিভাইস এবং প্রকৃত ব্যবহারকারীর অবস্থা সহ তাদের মোকাবেলার কৌশল নিয়ে আলোচনা করব।
বিনামূল্যে পরীক্ষাগুলি বিনামূল্যে কলার চেয়ে ভাল: রিয়েল-টাইম উত্পাদন পর্যবেক্ষণ স্বয়ংক্রিয় করতে ডেটা মাইনিং এবং মেশিন লার্নিং ব্যবহার করা
Celal Ziftci (Google)
সফ্টওয়্যার সিস্টেমের বিশ্লেষণ, রক্ষণাবেক্ষণ এবং পরীক্ষায় ডেটা মাইনিং এবং মেশিন লার্নিং কৌশলগুলিকে কাজে লাগাতে আগ্রহ বাড়ছে। এই আলোচনায়, সেলাল আলোচনা করবে কীভাবে আমরা সিস্টেম ইনভেরিয়েন্টগুলিকে স্বয়ংক্রিয়ভাবে মাইন করার জন্য এই ধরনের কৌশলগুলি ব্যবহার করি, রিয়েল-টাইমে আমাদের সিস্টেমগুলি পর্যবেক্ষণ করতে এবং মিনিটের মধ্যে যেকোন সম্ভাব্য উত্পাদন সমস্যা সম্পর্কে ইঞ্জিনিয়ারদের সতর্ক করতে সেই ইনভেরিয়েন্টগুলি ব্যবহার করি।
আলোচনায় দুটি টুল থাকবে যা আমরা অভ্যন্তরীণভাবে ব্যবহার করি এবং কীভাবে আমরা সেগুলিকে একত্রিত করি প্রকৌশলীদের জন্য প্রায় বিনামূল্যের জন্য রিয়েল-টাইম প্রোডাকশন মনিটরিং প্রদান করতে:
- একটি টুল যা সিস্টেম ইনভেরিয়েন্টকে খনি করতে পারে।
- একটি টুল যা উত্পাদন সিস্টেমগুলি নিরীক্ষণ করে এবং প্রথম টুলটি ব্যবহার করে স্বয়ংক্রিয়ভাবে যুক্তির অংশ তৈরি করতে যা এটি রিয়েল-টাইমে সম্ভাব্য সমস্যাগুলি সনাক্ত করতে ব্যবহার করে।
একটি ইনফ্রারেড সেট-টপ বক্সে অটোমেশন পরীক্ষা করুন
অলিভিয়ার এতিয়েন (কমলা)
এই আলোচনাটি ব্যাখ্যা করবে যে একটি টিভি অ্যাপের প্রসঙ্গ কী এবং জিনিসগুলিকে স্বয়ংক্রিয় করার চেষ্টা করার সময় আমরা কী ধরনের সমস্যার সম্মুখীন হতে পারি। অলিভিয়ার পূর্ববর্তী ব্যর্থতা, তাদের পদ্ধতি এবং একটি স্বয়ংক্রিয় পরীক্ষার সরঞ্জাম তৈরির মূল পয়েন্টগুলি কী ছিল তার মধ্য দিয়ে যাবেন। যদি সময় অনুমতি দেয়, তিনি বাস্তবায়নের বিশদে আরও গভীরে যাবেন।
আসুন শুনুন কিভাবে কয়েকটি সোল্ডার এবং কোডের কিছু লাইন একটি সেট-টপ বক্সে ওয়েব পরীক্ষার সমৃদ্ধ বিশ্ব খুলে দিয়েছে।
ক্লাউড প্রদানকারীদের মোটামুটি তুলনা করার চ্যালেঞ্জ এবং আমরা এটি সম্পর্কে কী করছি
অ্যান্টনি ভয়েলম (গুগল)
এই আলোচনাটি মেইনফ্রেম থেকে ক্লাউড পর্যন্ত বেঞ্চমার্কিংয়ের ইতিহাস কভার করবে। লক্ষ্য হল বেঞ্চমার্কগুলি কোথা থেকে শুরু হয়েছিল এবং কীভাবে তারা যেখানে সেখানে পৌঁছেছে তার চারপাশে ভিত্তি স্থাপন করা। বেঞ্চমার্কিং ক্লাউডের ভবিষ্যত এবং কীভাবে আমরা এটি ব্যবহারিকভাবে করতে পারি তার জন্য ধারণাগুলি তৈরি করা হবে।
মেশিনের কাজ করার জন্য একজন মানুষকে কখনই পাঠাবেন না: পরীক্ষাগুলি পরিচালনা করতে ফেসবুক কীভাবে বট ব্যবহার করে
রয় উইলিয়ামস (ফেসবুক)
Facebook-এর কোনো পরীক্ষামূলক সংস্থা নেই, ডেভেলপাররা তাদের কোড লেখা থেকে পরীক্ষা করা থেকে শুরু করে উৎপাদনে রাখা পর্যন্ত সবকিছুর মালিক। তার মানে এই নয় যে আমরা পরীক্ষা দিই না! আমরা যেভাবে এই স্কেলটি তৈরি করেছি তা হল সংকেত উচ্চ এবং শব্দ কম রাখার জন্য পরীক্ষার জীবনচক্র স্বয়ংক্রিয় করার মাধ্যমে। নতুন পরীক্ষাগুলি অবিশ্বস্ত বলে বিবেচিত হয় এবং ফ্লাকিনেস দ্রুত গাছ থেকে বেরিয়ে যায়। আমরা পরীক্ষায় আস্থা তৈরি করতে কী কাজ করেছে এবং কী নয় সে সম্পর্কে কথা বলব।
এসপ্রেসো, চামচ, ওয়্যারমক, ওহ আমার! (অথবা আমি কীভাবে উদ্বেগ বন্ধ করতে এবং অ্যান্ড্রয়েড পরীক্ষাকে ভালবাসতে শিখেছি)
মাইকেল বেইলি (আমেরিকান এক্সপ্রেস)
দ্রুত এবং নির্ভরযোগ্য স্বয়ংক্রিয় অ্যান্ড্রয়েড UI পরীক্ষা তৈরি এবং সম্পাদন সম্পর্কে জানুন। সরঞ্জামগুলির মধ্যে এসপ্রেসো, চামচ, ওয়্যারমক এবং জেনকিন্স অন্তর্ভুক্ত থাকবে। বেসিক অ্যান্ড্রয়েড এবং জাভা ডেভেলপমেন্ট জ্ঞান অনুমান করা হয়।
Google BigQuery বিশ্লেষণ
ব্রায়ান ভ্যান্স (গুগল)
BigQuery হল Google ক্লাউডের ইন্টারেক্টিভ বিগ ডেটা পরিষেবা। ব্যবহারকারীরা এসকিউএল-এর মতো প্রশ্নের মাধ্যমে কয়েক সেকেন্ডের মধ্যে টেরাবাইট ডেটা বিশ্লেষণ করতে পারে। এটি ড্রেমেলের উপরে নির্মিত, যা গুগল পরীক্ষকরা অভ্যন্তরীণভাবে বছরের পর বছর ধরে ব্যবহার করে আসছে। আমরা কয়েকটি উদাহরণ দিয়ে হেঁটে যাবো, এবং দেখাবো কিভাবে আপনি BigQuery দিয়ে শুরু করতে পারেন।
সেলেন্ড্রয়েড - অ্যান্ড্রয়েডের জন্য সেলেনিয়াম
ডমিনিক ড্যারি (অ্যাডোবি)
Selendroid হল একটি ওপেন সোর্স টেস্ট অটোমেশন ফ্রেমওয়ার্ক যা Android নেটিভ এবং হাইব্রিড অ্যাপ্লিকেশন এবং মোবাইল ওয়েবের UI বন্ধ করে দেয়। সেলেনিয়াম 2 ক্লায়েন্ট API ব্যবহার করে পরীক্ষা লেখা হয়। পরীক্ষার জন্য এটি স্বয়ংক্রিয় করার জন্য পরীক্ষার অধীনে অ্যাপের কোনো পরিবর্তনের প্রয়োজন নেই।
এই উপস্থাপনাটি দর্শকদের কাছে প্রদর্শন করে যে মোবাইল টেস্ট অটোমেশন করা কতটা সহজ। এটি দেখায় যে কীভাবে সেলেন্ড্রয়েড নেটিভ এবং হাইব্রিড অ্যান্ড্রয়েড অ্যাপগুলি পরীক্ষা করতে ব্যবহার করা যেতে পারে এবং কীভাবে সেলেনিয়াম গ্রিড একাধিক ডিভাইসে সমান্তরাল পরীক্ষার জন্য ব্যবহার করা যেতে পারে। রানটাইমে সেলেন্ড্রয়েড নিজেই প্রসারিত করা এবং ক্রস প্ল্যাটফর্ম পরীক্ষা করার মতো অগ্রিম বিষয়গুলিও কভার করা হবে।
একটি হাইপারমিডিয়া ওয়ার্ল্ডে বিচক্ষণতা বজায় রাখা
অমিত ইসো (কমকাস্ট)
কমকাস্ট একটি কেবল কোম্পানি থেকে মিডিয়া এবং প্রযুক্তি নেতা হিসাবে বিবর্তিত হয়েছে, ইঞ্জিনিয়ারিং দলগুলিও আরও স্মার্ট হয়েছে। অমিত যখন 2006 সালে কমকাস্ট ইন্টারেক্টিভ মিডিয়া (সিআইএম)-এ যোগ দেন, তখন তারা একটি ম্যানুয়াল-টেস্টিং শপ ছিল। 2007 সালে তারা তাদের প্রথম ওয়েবসাইট পাঠানোর পর, তিনি একটি স্বয়ংক্রিয় UI-পরীক্ষা পরিকাঠামোর জন্য প্রোটোটাইপ তৈরি করতে শুরু করেন। GTAC 2008-এ তিনি সেলেনিয়ামের সাথে পরিচিত হন এবং তারপরে সেলেনিয়াম গ্রিড, হাডসন এবং সাবভারশন সহ একটি স্বয়ংক্রিয় পরীক্ষার পরিকাঠামো তৈরি করতে কমকাস্টে ফিরে আসেন। আজ, তিনি প্রতি সপ্তাহের দিনে উত্পাদনে স্থাপনার সাথে API পরীক্ষার কাজ করেন। এটি পাইথন, গিট, গেরিট এবং অ্যান্থিল দিয়ে সম্ভব হয়েছে।
MSL দিয়ে তাড়াতাড়ি এবং দ্রুত ফায়ার অ্যাওয়ে!
ব্রায়ান রবিনস (এফআইএনআরএ) এবং ড্যানিয়েল কু (এফআইএনআরএ)
গুণমানের সাথে আপস না করে দ্রুত সফ্টওয়্যার সরবরাহ করা একটি তুচ্ছ কাজ নয়। আমরা সকলেই ন্যূনতম রক্ষণাবেক্ষণের পদচিহ্ন সহ দ্রুত পরীক্ষাগুলি তৈরি করে এবং দ্রুত পরীক্ষাগুলি সম্পাদন করে দ্রুত গতিতে যেতে চাই। FINRA-তে, আমরা এমএসএল (উচ্চারিত "মিসাইল") তৈরি করেছি যাতে এমভিসি-এর মতো স্তরযুক্ত আর্কিটেকচারগুলিকে কাজে লাগানো অ্যাজিল দলগুলিকে তাদের UI কোড দ্রুত এবং দ্রুত বিচ্ছিন্নভাবে পরীক্ষা করতে সক্ষম করে।
MSL একটি Node.js সার্ভারে স্থানীয়ভাবে স্থাপন করে এবং আমাদের ক্লায়েন্ট (জাভা, জাভাস্ক্রিপ্ট, বা Node.js) ব্যবহার করে টেস্ট কোড থেকে মক HTTP প্রতিক্রিয়া কনফিগার করে UI কোডের (যেমন Javascript, HTML, CSS) ইন্টিগ্রেশন টেস্টিং সমর্থন করে। এই আলোচনা কয়েকটি উদাহরণ সহ MSL এর মূল বৈশিষ্ট্যগুলিকে পরিচয় করিয়ে দেবে।
টেস্টিং ব্যবহারকারীর অভিজ্ঞতা
অ্যালেক্স ঈগল (গুগল)
Google-এর পণ্যগুলি প্রায়শই মুক্তি পায়, এবং এর জন্য উল্লেখযোগ্য স্বয়ংক্রিয় পরীক্ষা এবং "বিল্ড-কপিং" প্রয়োজন। আমরা এখন Google ক্লাউড প্ল্যাটফর্মের অংশ হিসাবে আমাদের পরীক্ষার পরিকাঠামো অফার করার জন্য কাজ করছি। আমাদের বিল্ডগুলিকে সবুজ রাখতে এবং আমাদের পণ্যগুলিকে ত্রুটিমুক্ত রাখতে আমরা যে পদ্ধতিগুলি ব্যবহার করি তার কিছু এই আলোচনা আলোচনা করবে এবং আমরা কীভাবে এটিকে বিশ্বের সামনে তুলে ধরছি তার একটি পূর্বরূপ দেবে৷
গোল টেবিল টক 1 - মোবাইল ক্রস-প্ল্যাটফর্ম পরীক্ষা
রাউন্ড টেবিল টক 2 - ডকুমেন্ট অটোমেশন কভারেজ
স্যাট সলভার পারফরম্যান্সের উপর সম্প্রদায়ের কাঠামোর প্রভাব
জ্যাক নিউশাম (ওয়াটারলু বিশ্ববিদ্যালয়)
আধুনিক CDCL SAT সমাধানকারীরা নিয়মিতভাবে তুলনামূলকভাবে অল্প সময়ের মধ্যে খুব বড় শিল্প স্যাট উদাহরণগুলি সমাধান করে। এটা স্পষ্ট যে এই সমাধানকারীরা কোনো না কোনোভাবে বাস্তব-বিশ্বের দৃষ্টান্তের কাঠামো শোষণ করে। যাইহোক, আজ অবধি এমন কিছু ফলাফল পাওয়া গেছে যা এই কাঠামোটিকে সুনির্দিষ্টভাবে চিহ্নিত করে। এই কাগজে, আমরা প্রমাণ প্রদান করি যে বাস্তব-বিশ্বের SAT দৃষ্টান্তগুলির সম্প্রদায়ের কাঠামো CDCL SAT সমাধানকারীদের চলমান সময়ের সাথে সম্পর্কিত। এটি কিছু সময়ের জন্য পরিচিত যে বাস্তব-বিশ্বের SAT দৃষ্টান্ত, গ্রাফ হিসাবে দেখা হয়, তাদের মধ্যে প্রাকৃতিক সম্প্রদায় রয়েছে। একটি সম্প্রদায় হল একটি SAT দৃষ্টান্তের গ্রাফের একটি সাব-গ্রাফ, যেমন এই সাব-গ্রাফের বাকি গ্রাফের বাইরে যাওয়ার চেয়ে বেশি অভ্যন্তরীণ প্রান্ত রয়েছে। একটি গ্রাফের সম্প্রদায় কাঠামো প্রায়শই Q নামক একটি গুণমান মেট্রিক দ্বারা চিহ্নিত করা হয়। স্বজ্ঞাতভাবে, উচ্চ-মানের সম্প্রদায় কাঠামো (উচ্চ Q) সহ একটি গ্রাফ সহজে ছোট সম্প্রদায়ের মধ্যে পৃথক করা যায়, যখন নিম্ন Q সহ নয়। আমরা পরীক্ষামূলক তথ্যের উপর ভিত্তি করে তিনটি ফলাফল প্রদান করি যা দেখায় যে বাস্তব-বিশ্বের শিল্প দৃষ্টান্তের সম্প্রদায় কাঠামো CDCL সমাধানকারীর চলমান সময়ের জন্য একটি ভাল ভবিষ্যদ্বাণীকারী অন্যান্য সাধারণভাবে বিবেচিত কারণ যেমন ভেরিয়েবল এবং ক্লজ। প্রথমত, আমরা দেখাই যে গ্লুকোজ-সদৃশ সলভারগুলিতে ক্লজ-মোছার নীতিতে ব্যবহৃত বিরোধের ধারাগুলির গুণমানের Q মান এবং আক্ষরিক ব্লক দূরত্ব মেট্রিকের মধ্যে একটি শক্তিশালী সম্পর্ক রয়েছে। দ্বিতীয়ত, রিগ্রেশন বিশ্লেষণ ব্যবহার করে, আমরা দেখাই যে সম্প্রদায়ের সংখ্যা এবং বাস্তব-বিশ্বের SAT দৃষ্টান্তের গ্রাফের Q মান CDCL সমাধানকারীদের চলমান সময়ের জন্য ভেরিয়েবল বা ক্লজের সংখ্যার মতো প্রচলিত মেট্রিকগুলির চেয়ে বেশি ভবিষ্যদ্বাণী করে। অবশেষে, আমরা দেখাই যে 0.05 ≤ Q ≤ 0.13 সহ এলোমেলোভাবে জেনারেট করা SAT দৃষ্টান্তগুলি অন্যথার চেয়ে CDCL সমাধানকারীদের জন্য সমাধান করা নাটকীয়ভাবে কঠিন।
কভারেজের বাইরে: টেস্ট স্যুটগুলিতে কী লুকিয়ে আছে?
প্যাট্রিক লাম (ওয়াটারলু বিশ্ববিদ্যালয়)
আমরা সবাই "ভালো" টেস্ট স্যুট চাই। কিন্তু কি একটি ভাল পরীক্ষা স্যুট জন্য তোলে? অবশ্যই, টেস্ট স্যুটগুলি অন্তত বিবৃতি কভারেজ স্তরে ভাল কভারেজের জন্য লক্ষ্য করা উচিত। উপযোগী হতে, পরীক্ষার স্যুটগুলি সময়মত প্রতিক্রিয়া প্রদানের জন্য যথেষ্ট দ্রুত চালানো উচিত।
এই আলোচনাটি পরীক্ষা স্যুটগুলির মূল্যায়ন করার জন্য অন্যান্য মাত্রার একটি সংখ্যা তদন্ত করবে। টক দাবি করে যে আরও ভাল টেস্ট স্যুটগুলি আরও রক্ষণাবেক্ষণযোগ্য, আরও ব্যবহারযোগ্য (উদাহরণস্বরূপ, কারণ তারা দ্রুত চালায়, বা কম সংস্থান ব্যবহার করে), এবং কম অযৌক্তিক ব্যর্থতা রয়েছে। এই আলোচনায়, আমি 10টি ওপেন-সোর্স টেস্ট স্যুট (কোডের 8,000 থেকে 246,000 লাইন পর্যন্ত) সম্পর্কে তথ্য উপস্থাপন এবং সংশ্লেষ করব এবং তারা কীভাবে কাজ করছে তা মূল্যায়ন করব।
সবুজ হওয়া: বিষাক্ত মোবাইল পরিবেশ পরিষ্কার করা
টমাস নিচ (গুগল), স্টেফান রামসাউয়ার (গুগল), ভ্যালেরা জাখারভ (গুগল) এবং বিশাল সেথিয়া (গুগল)
আমরা ইন্টারেক্টিভ ডেভেলপমেন্ট এবং ক্রমাগত ইন্টিগ্রেশন মোড উভয় ক্ষেত্রে অ্যান্ড্রয়েড পরীক্ষা চালানোর জন্য দ্রুত, স্থিতিশীল, হারমেটিক পরীক্ষার পরিবেশ তৈরি করার জন্য সরঞ্জাম এবং কৌশল উপস্থাপন করব। এটি আমরা গত GTAC-তে উপস্থাপন করা উচ্চ স্তরের আলোচনার উপর ভিত্তি করে তৈরি করে।