Μη αυτόματη δημιουργία δοκιμής JUnit

Οι δοκιμές TPTP JUnit μπορούν να δημιουργηθούν μη αυτόματα ή ως αποτέλεσμα της εισαγωγής δοκιμών JUnit που ήδη υπάρχουν εκτός του TPTP σε δοκιμή TPTP JUnit. Αν πρόκειται να εκμεταλλευτούν τη λειτουργία συμπεριφοράς της δοκιμής TPTP JUnit, θα πρέπει να δημιουργηθούν μη αυτόματα.

Να σημειωθεί ότι πριν δημιουργήσετε μια δοκιμή JUnit, πρέπει να υπάρχει ένα έργο Java.

  1. Επιλέξτε Αρχείο > Δημιουργία > Άλλο.
  2. Επεκτείνετε την Δοκιμή. Επιλέξτε Δοκιμή JUnit TPTP.
  3. Πατήστε Επόμενο για να ανοίξει το πλαίσιο διαλόγου Δημιουργία ορισμού δοκιμής JUnit. Προσδιορίστε τον φάκελο πρωτογενούς κώδικα (javaProject), το πακέτο (junit.samples) και το όνομα που θα αποδοθεί στον πρωτογενή κώδικα δοκιμής JUnit (JUnit_src).
  4. Πατήστε Επόμενο. Ανοίγει το πλαίσιο διαλόγου Δημιουργία ορισμού δοκιμής JUnit.
  5. Πληκτρολογήστε το γονικό φάκελο (javaProject/junit/samples) και το όνομα (JUnit_src).
  6. Προαιρετικά, πατήστε Επόμενο και καταχωρήστε μια περιγραφή του ορισμού δοκιμής JUnit.
  7. Πατήστε Ολοκλήρωση.

Να σημειωθεί ότι η δεύτερη και η τρίτη σελίδα του οδηγού είναι προαιρετικές (π.χ. μπορείτε να ολοκληρώσετε τον οδηγό στην πρώτη σελίδα). Επίσης, η διαφορά στις πληροφορίες που ζητούνται στην πρώτη και τη δεύτερη σελίδα είναι η εξής: Στην πρώτη σελίδα ζητείται το όνομα και η θέση του πρωτογενούς κώδικα, ενώ στη δεύτερη ζητείται το όνομα και η θέση της δοκιμής TPTP (το μοντέλο). Ως προεπιλογή, είναι πανομοιότυπα.

(C) Copyright IBM Corporation 2000, 2006. Με την επιφύλαξη παντός δικαιώματος.