Uppaal סביבת כלי משולבת עבור דוגמנות, אימות ואימות של מערכות בזמן אמת
הורד עכשיו

Uppaal דירוג וסיכום

Uppaal תגים

דֶגֶם לְאַמֵת תאשר תהליך הדוגמנות הסביבה כלי אימות כלי אימות תוכנה מערכת בזמן אמת אימות מערכת בזמן אמת אימות בזמן אמת אימות מערכות מידע דוגמנות סביבה

Uppaal תיאור

Uppaal הוא יישום תוכנה מקיף המאפשר לך לעצב, לאמת ולאמת מערכות בזמן אמת מודל כמו רשתות של timed automata. הוא פותח ב- Java ועטוף בהתקנה ידידותית למשתמש. לא הצורך, מלבד ג 'אווה אין חבילת הגדרת מעורב, מה שהופך uppaal כמעט נייד. בתנאי שיש לך Java מותקן במחשב שלך, אתה יכול לשמור את קבצי התוכנית לכל חלק של הדיסק ולחץ על קובץ צנצנת כדי להפעיל את הכלי. אפשרות נוספת היא לשמור אותו כונן עט כדי להפעיל אותו ישירות על כל מחשב עם Java מותקן. היבט חשוב שראוי לקחת בחשבון הוא שהוא אינו משנה את הגדרות הרישום של Windows או ליצור קבצים נוספים בדיסק ללא רשותך. עריכה, סימולציה וכלי אימות GUI עשוי מחלון יחיד לחלק לשלוש כרטיסיות לעריכה, הדמיה ואימות הפרויקט. העורך מחולק לשני מסגרות לניווט חלקי פרוייקט (לדוגמה, הצהרות, תבניות) וכתיבת קוד, סימולטור חוקר ומאמת הוצאות להורג דינמיות אפשריות של מערכת במהלך הדוגמנות, ואילו כלי האימות מאפשר סקירה כללית על הפרויקט, ובכך מאפשר לך כתוב שאילתות והערות. הגדרת הגדרות תוכנית אפשרית כדי להתקרב ולצאת, להסתיר תוויות, לטעון מחדש את הסימולטור, הצמד לרשת, לבדוק ולהמיר את התחביר, לשנות את סדר החיפוש (רוחב הראשון, עומק הראשון, הראשון), לבחור את הפחתת שטח המדינה ו ייצוג, בחר את עקבות האבחון, אקסטרפולציה וגודל שולחן חשיש, ועוד. הערכה וסיכום לא נתקל כל בעיות יציבות בבדיקות שלנו, שכן uppaal לא לתלות, לקרוס או קופץ הודעות שגיאה. יש לו זמן תגובה טוב השפעה מינימלית על ביצועי המערכת, ולכן זה לא hog cpu ו RAM. בסך הכל, uppaal מגיע שימושי לסטודנטים שרוצים לעבוד בסביבה משולבת עבור דוגמנות, אימות ואימות מערכות בזמן אמת. נבדקו על ידי אלנה Opris, עודכן לאחרונה ב -4 בינואר 2015

Uppaal תוכנה קשורה