Gator-পরীক্ষা Linaro উপর Gator মডিউল এবং Gator ডেমন রিলিজ চেক করতে পরীক্ষা প্রদান করে একটি অ্যাপ্লিকেশন আবশ্যক :. ...

GCViewer

GCViewer 1.29

(: GC / -Xloggc: -flags -verbose) GCViewer আইবিএম এবং সান জাভা ভার্চুয়াল মেশিনের দ্বারা উত্পন্ন ভার্বোস আবর্জনা সংগ্রহ আউটপুট visualizes যে একটি সুইং-ভিত্তিক অ্যাপ্লিকেশন.তথ্য একটি স্প্রেডশীট অ্যাপ্লিকেশন সঙ্গে forther প্রক্রিয়াকরণের জন্য CSV হিসাবে...

gprof2dot.py স্ক্রিপ্ট চালানোর ফলে কোন বিন্দু গ্রাফ মধ্যে gprof থেকে আউটপুট রূপান্তর করতে পারেন. এটা সঠিকভাবে, আপনি একটি নির্দিষ্ট থ্রেশহোল্ড নীচের নোড এবং প্রান্ত আলুবোখারা বিশেষ স্বরলিপি gprof পারস্পরিক রিকার্সিভ ফাংশন জন্য ব্যবহার বিশ্লেষণ করতে পারবেন...

grandma

grandma 0.1 Alpha 2

ঠাকুরমা সংযুক্তিকরণ পরীক্ষার জন্য ইউটিলিটি একটি সেট.ডেভেলপার মন্তব্যআমি এখন পাঁচ বছরের বেশী সময়ের জন্য টেস্টিং সফ্টওয়্যার উপর একচেটিয়াভাবে কাজ হয়েছে ...বর্তমানে আমি একটি ভালো প্রচেষ্টা ভিত্তিতে সমর্থন প্রদান করার চেষ্টা করুন. আপনি যদি আলোচনা ফোরামে...

gunit-hildon

gunit-hildon 0.1.2

GUnit প্রোগ্রামিং ভাষা আত্মা একটি সি ইউনিট টেস্টিং কাঠামো হয়. GUnit কাঠামো Hildon UI 'তে (maemo.org) জন্য একটি সহজ-থেকে-ব্যবহার জিনোম লাইব্রেরি উপর ভিত্তি করে গ্রাফিক্যাল ইউজার ইন্টারফেস, সেইসাথে সমর্থন অন্তর্ভুক্ত.ইনস্টলেশন:'প্যাকেজ এর সোর্স কোড...

HOL

HOL 7

Hol সংক্ষিপ্ত উচ্চ আদেশ যুক্তিবিজ্ঞান থেকে উপপাদ্য প্রমাণ এবং প্রমাণ সরঞ্জাম প্রয়োগ করা যেতে পারে, যা একটি প্রোগ্রামিং পরিবেশ.অন্তর্নির্মিত সিদ্ধান্ত পদ্ধতি এবং উপপাদ্য provers স্বয়ংক্রিয়ভাবে অনেক সহজ উপপাদ্য স্থাপন করতে পারেন. একটি ওরাকল প্রক্রিয়া...

HOL-TestGen

HOL-TestGen 1.7.0

Hol-TestGen (Hol) এক উচ্চ-অর্ডার ন্যায়শাস্ত্র পরীক্ষা উল্লেখ লিখতে পারবেন. এটা (আধা) স্বয়ংক্রিয়ভাবে বিমূর্ত পরীক্ষার ক্ষেত্রে, ফলে ইনপুট স্থান পার্টিশন, এবং স্বয়ংক্রিয়ভাবে কংক্রিট পরীক্ষা তথ্য নির্বাচন করতে পারেন.(SML মধ্যে) পরীক্ষা harnesses...

importchecker পাইথন মডিউল অব্যবহৃত আমদানি এটি একটি কমান্ড লাইন ইউটিলিটি.তার আউটপুট ", grep মত" হয় (এবং এইভাবে "Emacs-বন্ধুত্বপূর্ণ"), মডিউল এর ফাইলের নাম এবং acually মডিউল ব্যবহার করা হয় না যে নাম আমদানি করা হয় যেখানে লাইন নম্বর উভয়...

inFusion

inFusion 1.7.2

আধান ডেভেলপারদের সম্পূর্ণরূপে সফটওয়্যার আর্কিটেকচার মানের, সেইসাথে নকশা মান নিয়ন্ত্রণ করতে দেয় জাভা লেখা একটি বাণিজ্যিক, অন্ধকার-ভিত্তিক অ্যাপ্লিকেশন, না.জাভা, সি ++ & nbsp সব ব্যবস্থা করতে সক্ষম হয় এবং সি প্রকল্প, আধান প্রধান লক্ষ্য আগের চেয়ে জটিল...

বিভাগ দ্বারা অনুসন্ধান