ນີ້ແມ່ນແອັບ Linux ທີ່ມີຊື່ວ່າ XJML ເຊິ່ງລຸ້ນຫຼ້າສຸດສາມາດດາວໂຫຼດໄດ້ເປັນ XJML1.0.zip. ມັນສາມາດດໍາເນີນການອອນໄລນ໌ຢູ່ໃນຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີ OnWorks ສໍາລັບສະຖານີເຮັດວຽກ.
ດາວນ໌ໂຫລດແລະດໍາເນີນການອອນໄລນ໌ app ນີ້ມີຊື່ XJML ກັບ OnWorks ໄດ້ຟຣີ.
ປະຕິບັດຕາມຄໍາແນະນໍາເຫຼົ່ານີ້ເພື່ອດໍາເນີນການ app ນີ້:
- 1. ດາວໂຫຼດຄໍາຮ້ອງສະຫມັກນີ້ໃນ PC ຂອງທ່ານ.
- 2. ໃສ່ໃນຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 3. ອັບໂຫລດແອັບພລິເຄຊັນນີ້ຢູ່ໃນຕົວຈັດການໄຟລ໌ດັ່ງກ່າວ.
- 4. ເລີ່ມ OnWorks Linux ອອນລາຍ ຫຼື Windows online emulator ຫຼື MACOS online emulator ຈາກເວັບໄຊທ໌ນີ້.
- 5. ຈາກ OnWorks Linux OS ທີ່ເຈົ້າຫາກໍ່ເລີ່ມຕົ້ນ, ໄປທີ່ຕົວຈັດການໄຟລ໌ຂອງພວກເຮົາ https://www.onworks.net/myfiles.php?username=XXXXX ດ້ວຍຊື່ຜູ້ໃຊ້ທີ່ທ່ານຕ້ອງການ.
- 6. ດາວນ໌ໂຫລດຄໍາຮ້ອງສະຫມັກ, ຕິດຕັ້ງມັນແລະດໍາເນີນການ.
XJML
Ad
ລາຍລະອຽດ
ຕົວຈິງແລ້ວ XJML 1.0 ສາມາດອ່ານ Java class ແລະສັນຍາຂອງມັນ (ຂຽນໃນ XML) ແລະຫຼັງຈາກນັ້ນປະຕິບັດເຕັກນິກການຢັ້ງຢືນຕໍ່ໄປ:
1. Runtime Assertion Checking (RAC). ການນໍາໃຊ້ເຄື່ອງມື JML4c ແລະ JML4rt.
2. Extended Static Checking (ESC). ໃຊ້ ESC/Java2.
3. ການກວດສອບໂຄງການຄົງທີ່ເຕັມຮູບແບບ (FSPV). ການນໍາໃຊ້ເວທີ Why (ທົດສອບດ້ວຍ Why 2.30 ແລະ Why3 0.71)
Audience
ວິທະຍາສາດ/ການຄົ້ນຄວ້າ, ການສຶກສາ, ຜູ້ໃຊ້ຂັ້ນສູງ, ຜູ້ເບິ່ງແຍງລະບົບ, ຜູ້ພັດທະນາ, ຜູ້ທົດສອບ
ໃນການໂຕ້ຕອບຜູ້ໃຊ້
Console/Terminal, Command-line, Eclipse
ພາສາການຂຽນໂປຣແກຣມ
Java
ນີ້ແມ່ນແອັບພລິເຄຊັນທີ່ຍັງສາມາດເອົາມາຈາກ https://sourceforge.net/projects/xjml/. ມັນໄດ້ຖືກຈັດຢູ່ໃນ OnWorks ເພື່ອໃຫ້ດໍາເນີນການອອນໄລນ໌ໃນວິທີທີ່ງ່າຍທີ່ສຸດຈາກຫນຶ່ງໃນລະບົບປະຕິບັດງານຟຣີຂອງພວກເຮົາ.