ভিডিএমজে ভিডিএম-এসএল, ভিডিএম ++ এবং ভিডিএম-আরটি এর জন্য সমর্থন সহ একটি উন্নয়ন অ্যাপ্লিকেশন।
এখনই ডাউনলোড করুন

ভিডিএমজে র‌্যাঙ্কিং ও সারাংশ

ভিডিএমজে ট্যাগ

জেনারেট করুন ডাইনামিক্স SL বিভাগ: পার্সার পার্স VDM কোড পার্সার প্রমাণ বাধ্যবাধকতা জেনারেটর সোর্স কোড টাইপ চেকার আরটি

ভিডিএমজে বর্ণনা

ভিডিএমজে একটি সহজ, সহজে ব্যবহার করা সহজ সরঞ্জামটি বিশেষভাবে জাভা-তে লিখিত ভিডিএম-এসএল, ভিডিএম ++ এবং ভিডিএম-আরটি স্পেসিফিকেশন ভাষাগুলিকে সমর্থন করে এমন একটি মৌলিক হাতিয়ার অফার করার জন্য ডিজাইন করা হয়েছে। এটি একটি পার্সার, একটি টাইপ চেকার, একটি ইন্টারপ্রেটার, একটি ডিবাগার এবং একটি প্রমাণ বাধ্যবাধকতা জেনারেটর রয়েছে। এটি overture ercipse প্রকল্প দ্বারা ব্যবহৃত হয়। প্রধান বৈশিষ্ট্য: পার্স, চেক টাইপ করুন, Execute এবং ডিবাগ VDM বিশেষ উল্লেখ প্রমাণ বাধ্যবাধকতা তৈরি করুন পরীক্ষার জন্য বিস্তারিত কোড কভারেজ তৈরি করুন combinatorial পরীক্ষা সঞ্চালন সমস্ত তিনটি ভিডিএম উপভাষার জন্য সমর্থন বিশেষ উল্লেখ আন্তর্জাতিক চরিত্র সেটের জন্য সমর্থন বাইরের লাইব্রেরি এবং রিমোট কন্ট্রোলের জন্য সমর্থন

ভিডিএমজে সম্পর্কিত সফটওয়্যার