api-sanity-checker - מקוון בענן

תָכְנִית:

שֵׁם

api-sanity-checker - מחולל אוטומטי של בדיקות יחידות בסיסיות עבור API של ספריית C/C++.

תיאור

שם:
API Sanity Checker (api-sanity-checker) צור בדיקות יחידות בסיסיות עבור C/C++
API של הספרייה

תיאור:
API Sanity Checker הוא מחולל אוטומטי של בדיקות יחידות בסיסיות עבור C/C++
סִפְרִיָה. זה עוזר ליצור במהירות בדיקות פשוטות ("שפיות" או "רדודה")
עבור כל פונקציה ב-API באמצעות החתימות, הגדרות סוגי הנתונים שלהם ו
קשרים בין פונקציות ישירות מקבצי הכותרות של הספרייה
("דור מונחה כותרות"). כל מקרה בדיקה מכיל קריאת פונקציה עם
פרמטרי קלט סבירים (ברוב, אך למרבה הצער לא בכל, המקרים). ה
איכות הבדיקות שנוצרו מאפשרת לבדוק היעדר שגיאות קריטיות בפשטות
מקרי שימוש וניתן לשפר אותו במידה ניכרת על ידי מעורבות של מומחים לשימוש חוזר ביותר
סוגים לספרייה.

הכלי יכול לבצע בדיקות שנוצרו ולזהות קריסות, הפסקות, כל מיני
אותות הנפלטים, קוד החזרת תוכנית שאינו אפס, תליית תוכנית ודרישה
כשלים (אם צוין). הכלי יכול להיחשב ככלי ליציאה מהקופסה
בדיקת שפיות בעלות נמוכה של ספריית API או כמסגרת פיתוח בדיקה עבור
הדור ראשוני של תבניות לבדיקות מתקדמות. זה גם תומך אוניברסלי
פורמט Template2Code של בדיקות, מפרטי סד, מצב יצירת בדיקה אקראית
ותכונות שימושיות אחרות.

הכלי הזה הוא תוכנה חופשית: אתה יכול להפיץ אותו מחדש ו/או לשנות אותו תחת
התנאים של GNU LGPL או GNU GPL.

נוֹהָג:
api-sanity-checker [אפשרויות]

דוגמא:
אפי-שפיות-בודק -לב שֵׁם -d VER.xml - Gen -לִבנוֹת -רץ

VERSION.xml הוא XML-descriptor:



1.0





/path1/to/header(s)/ /path2/to/header(s)/

...





/path1/to/library(ies)/ /path2/to/library(ies)/

...



מידע אפשרויות:
-h|-עזרה

הדפס עזרה זו.

מידע

הדפס את המידע המלא.

-v|-גרסה

מידע על גרסת הדפסה.

-גרסת dump

הדפס את גרסת הכלי (1.98.7) ואל תעשה שום דבר אחר.

כללי אפשרויות:
-l|-lib|-ספריית NAME

שם הספרייה (ללא גרסה).

-d|-descriptor PATH

נתיב אל מתאר הספרייה (קובץ VER.xml):



1.0





/path1/to/header(s)/ /path2/to/header(s)/ ...





/path1/to/library(ies)/ /path2/to/library(ies)/ ...



לקבלת מידע נוסף, ראה:

http://lvc.github.com/api-sanity-checker/Xml-Descriptor.html

- Gen|-ליצור

צור בדיקות. אפשרויות -l ו -d יש לציין. כדי ליצור מבחן עבור
פונקציה מסוימת להשתמש בה עם -f אוֹפְּצִיָה. קוד יציאה: מספר מקרי הבדיקה נכשלו
לבנות.

-לִבנוֹת|-לעשות

בניית מבחנים. אפשרויות -l ו -d יש לציין. כדי לבנות מבחן עבור
פונקציה מסוימת להשתמש בה עם -f אוֹפְּצִיָה. קוד יציאה: מספר מקרי הבדיקה נכשלו
לייצר.

-רץ

הפעל בדיקות, צור דוח בדיקה. אפשרויות -l ו -d יש לציין. לרוץ
מבחן עבור הפונקציה הספציפית השתמש בו עם -f אוֹפְּצִיָה. קוד יציאה: מספר של
מקרי מבחן שנכשלו.

-לְנַקוֹת

בדיקות נקיות. אפשרויות -l ו -d יש לציין. כדי לנקות בדיקה עבור
פונקציה מסוימת להשתמש בה עם -f אוֹפְּצִיָה.

תוֹסֶפֶת אפשרויות:
-vnum NUM

ציין את גרסת הספרייה מחוץ לתיאור.

-s|-סמל NAME

צור/בנה/הפעל בדיקה עבור הפונקציה שצוינה (שם מעוות ב-C++).

-סמלים-רשימת נתיב

אפשרות זו מאפשרת לציין קובץ עם רשימת פונקציות (אחת בכל שורה,
שם מעוות ב-C++) שאמור להיבדק, פונקציות ספרייה אחרות לא יהיו
בָּדוּק.

-כּוֹתֶרֶת שֵׁם

אפשרות זו מאפשרת להגביל רשימה של פונקציות שעל ידם יש לבדוק
מתן שם קובץ כותרת שבו הם מוצהרים. אפשרות זו מיועדת
לפיתוח בדיקות שלב אחר שלב.

-את כל

צור בדיקות עבור כל הסמלים הכלולים באופן רקורסיבי בקבצי הכותרות.

-xvfb

השתמש ב-Xvfb-server במקום ב-X-server הנוכחי (ברירת מחדל) להפעלת בדיקות.

-t2c|-template2code

צור בדיקות בפורמט Template2Code האוניברסלי. למידע נוסף, בבקשה
ראה:

http://sourceforge.net/projects/template2code/

-מחמיר-gen

סיים את תהליך יצירת הבדיקות והחזר את קוד השגיאה '1' אם לא ניתן
ליצור מקרה מבחן אחד לפחות.

-קפדן-בנייה

סיים את תהליך בדיקת הבנייה והחזר את קוד השגיאה '1' אם לא ניתן לבנות
מקרה מבחן אחד לפחות.

-רוץ קפדני

סיים את תהליך הפעלת הבדיקות והחזר קוד שגיאה '1' אם לפחות אחד
מקרה המבחן נכשל.

-קַפְּדָנִי

אפשרות זו מאפשרת הכל -קַפְּדָנִי-* אפשרויות.

-r|-אקראי

מצב יצירת בדיקה אקראית.

-מיני

צור קוד מינימלי, התקשר לפונקציות עם מספר מינימלי של פרמטרים
אתחול פרמטרים של פונקציות אחרות.

-מקסימום

צור קוד מקסימלי, התקשר לפונקציות עם מספר מקסימלי של פרמטרים
אתחול פרמטרים של פונקציות אחרות.

-show-reval

הצג את סוג החזרת הפונקציה בדוח.

בדיקה חוזרת

הכנס דרישות על ערכי החזרה (retval!=NULL) עבור כל פונקציה שנקראת.

-רחוב|-specialized-types PATH

נתיב לקובץ עם אוסף הסוגים המיוחדים. למידע נוסף,
בבקשה תראה:

http://lvc.github.com/api-sanity-checker/Specialized-Type.html

-td|-test-data PATH

נתיב לספרייה עם קבצי נתוני הבדיקה. למידע נוסף, ראה:

http://lvc.github.com/api-sanity-checker/Specialized-Type.html

-כותרות בלבד

אם הספרייה מורכבת מפונקציות מוטבעות בלבד ואין לה אובייקטים משותפים, אז אתה
צריך לציין אפשרות זו.

-אין מוטבע

אל תיצור בדיקות עבור פונקציות מוטבעות.

-לשמור-פנימי

צור בדיקות לסמלים פנימיים (פונקציות עם קידומת '__' ושיטות של
מחלקות שהוכרזו בתוך מחלקות אחרות).

-מְבוּדָד

אפשר להגביל את השימוש בפונקציות לפי הרשימות שצוינו על ידי -פונקציות-רשימת
אפשרות או לפי חלוקת הקבוצה במתאר.

-צפייה בלבד

הסר את כל הקבצים מחבילת הבדיקה מלבד קובצי *.html. אפשרות זו מאפשרת
צור אינדקס HTML קל משקל עבור כל הבדיקות.

-disable-default-values

השבת את השימוש בערכי ברירת המחדל עבור פרמטרים של פונקציות.

-אופטימיזציה-כוללת רמה

אפשר אופטימיזציה של רשימת הכותרות הכלולות בכל מקרה בדיקה. זמין
רמות:

גבוה (ברירת מחדל) בינוני נמוך אין - השבת

-p|-params PATH

נתיב לקובץ עם שמות פרמטרי הפונקציה. זה יכול לשמש לשיפור
בדיקות שנוצרו אם קבצי כותרות הספרייה אינם מכילים שמות פרמטרים. קוֹבֶץ
פורמט:

func1;param1;param2;param3 ... func2;param1;param2;param3 ... ...

-כותרת שֵׁם

שם הספרייה בכותרת הדוח.

- relpath|-reldir PATH

החלף את {RELPATH} במתאר הספרייה ב-PATH.

-לאנג שפה

הגדר שפת ספרייה (C או C++). אתה יכול להשתמש באפשרות זו אם הכלי אינו יכול
זיהוי אוטומטי של שפה.

-יַעַד מַהְדֵר

המהדר שאמור לשמש לבניית בדיקות שנוצרו תחת Windows.
נתמך:

gcc - מהדר GNU cl - מהדר MS (ברירת מחדל)

-לנפות

כתוב יומן מורחב עבור ניפוי באגים.

-מטמון

שמור את ה-ABI dump והשתמש בו בריצה הבאה.

אחר אפשרויות:
-מבחן

הפעל בדיקות פנימיות. צור ספרייה פשוטה והפעל עליה את הכלי. אפשרות זו
מאפשר לבדוק אם הכלי פועל כהלכה על המערכת.

-השבת-משתנים-שימוש חוזר

השבת שימוש חוזר במשתנים שנוצרו בעבר בבדיקה.

-שמות משתנים ארוכים

אפשר שמות משתנים ארוכים (מורכבים) במקום שמות קצרים.

יְצִיאָה קודים:
0 - בדיקות מוצלחות. הכלי פעל ללא שגיאות. לא אפס - הבדיקות נכשלו
או שהכלי רץ עם שגיאות.

נוסף מֵידָע:
http://lvc.github.com/api-sanity-checker/

השתמש ב-api-sanity-checker באינטרנט באמצעות שירותי onworks.net