HOL

HOL 7

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

openstack.nose_plugin OpenStack এর run_tests.py আউটপুট অনুকরণমূলক nosetests আউটপুট প্রদান করে একটি নাক প্লাগ হয়. সংস্থাপনা & Nbsp; openstack.nose_plugin ইনস্টল পিপ ব্যবহারের নিম্নলিখিত অপশন availible হয়:& Nbsp; --OpenStack সঙ্গে& Nbsp; প্লাগইন সক্রিয়...

expecter

expecter 0.2.2

expecter আপনি গবেষকেরা লিখতে সাহায্য করে. কখনও আবার আপনি প্রত্যাশিত এবং যা প্রকৃত করা হয়, যা ভুলবেন হবে!মৌলিক প্রত্যাশা সহজ:& Nbsp; >>> expecter আমদানি আশা থেকে& Nbsp; >>> ('কিছু' + + 'জিনিস') == 'কিছু' আশা& Nbsp; ('কিছু')...

noseenv ফর্ম "--env ENVIRONMENT_VARIABLE = মান" অপশন যোগ করার জন্য একটি নাক প্লাগ হয়.- PyPI: http://pypi.python.org/pypi/noseenv- ট্রাভিস CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...

proboscis

proboscis 1.2.5.3

হাতিশুঁড় উচ্চ স্তরের পরীক্ষার সমাধা একটি নাক এক্সটেনশন.পরীক্ষা ক্লাস যেমন কি গ্রুপ হিসাবে দরকারী মেটাডেটা থাকে যা আলোকচিত্রী মাধ্যমে নিবন্ধন করতে বাধ্য দ্বারা আবিষ্কৃত হয় কিভাবে পরিবর্তন তারা অন্যান্য পরীক্ষা উপর নির্ভরতা আছে, এবং তারা উপেক্ষা করা উচিত...

Pulse

Pulse 2.5.7

পালস প্রকল্প আপনার কোড সততা নিশ্চিত করার জন্য আপনার সঙ্গে কাজ করার পরিকল্পনা করা একটি স্বয়ংক্রিয় বিল্ড (বা একটানা ইন্টিগ্রেশন) সার্ভার.পালস নিয়মিত আপনার প্রকল্পের তৈরী করে, আপনার এস সি এম থেকে আপনার সোর্স কোড পরীক্ষা করা, এবং ফলাফল আপনাকে সূচিত করা হবে...

Testify

Testify 0.5.3

সাক্ষ্য দেওয়া পাইথন এর unittest মডিউল এবং নাক জন্য একটি প্রতিস্থাপন.Unittest পরে স্থাপিত হয় সাক্ষ্য দেওয়া, এবং পরীক্ষা unittest সমন্বয় একটি সর্বনিম্ন সঙ্গে সাক্ষ্য অধীনে চালানো হবে জন্য লিখিত, কিন্তু এটি উপরে এবং unittest অতিক্রম বৈশিষ্ট্য আছে:& Nbsp;...

pytest-মার্কার-Bugzilla Bugzilla- তে ইন্টিগ্রেশন জন্য একটি py.test প্লাগ হয় & nbsp; এই প্লাগ বর্তমানে নিম্নলিখিত কর্মপ্রবাহ অনুমান.:এ bug_status বাগ পরিচিত হয় এবং কাজ করা হচ্ছে এবং এর ফলে পরীক্ষা এড়ানো হবে এবং হতে হবে [, 'নিয়োগ'...

ম্যারাথন মান স্ক্রিপ্টিং ভাষা & ndash সহ সব জাভা / সুইং উপাদান জন্য সমর্থন উপলব্ধ করা হয় যে একটি কাঠামো হয়; রুবি এবং পাইথন.ম্যারাথন স্ক্রিপ্ট এবং রেকর্ড পরীক্ষা করার জন্য ব্যবহার করা এবং বরং কাঁচা কর্ম চেয়ে উপাদান শব্দার্থিক কর্ম রেকর্ড করা যাবে? ...

TestLink

TestLink 1.9.9

TestLink ওয়েব ভিত্তিক testcase ব্যবস্থাপনা ও মৃত্যুদন্ড ট্র্যাকিং সিস্টেম পিএইচপি, মাইএসকিউএল, এবং একাধিক অন্যান্য ওপেন সোর্স প্রযুক্তি ব্যবহার করে তৈরি একটি ওপেন সোর্স.অনায়াসে পরিচালনা এবং তাদের পরীক্ষা ক্ষেত্রে তৈরি, যেমন দলের সদস্যদের পরীক্ষার...

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