นี่คือแอป Linux ชื่อ Concurrency Workbench NC ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น cwb-nc.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ Concurrency Workbench NC พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
โต๊ะทำงานพร้อมกัน NC
Ad
DESCRIPTION
Concurrency Workbench of the New Century (CWB-NC) ให้การสนับสนุนการตรวจสอบระบบซอฟต์แวร์ที่ทำงานพร้อมกันโดยอัตโนมัติ เครื่องมือนี้อนุญาตให้ผู้ใช้เขียนคำอธิบายของระบบในมือในภาษาการออกแบบหลายภาษา (CCS, CSP, LOTOS, PCCS, SCCS, TCCS) นอกจากนี้ยังสนับสนุนเทคนิคการตรวจสอบและวิเคราะห์อัตโนมัติที่หลากหลายเพื่อตรวจสอบว่าระบบปฏิบัติตามข้อกำหนดหรือไม่ท่ามกลางเทคนิคการตรวจสอบและวิเคราะห์คือ:
- การตรวจสอบตามพฤติกรรมและความสัมพันธ์
- การตรวจสอบตามลอจิกชั่วคราว
- การจำลองแบบโต้ตอบ
- การวิเคราะห์การเข้าถึง
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/cwb-nc/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
