0% found this document useful (0 votes)
40 views1 page

Class Invariant Test Specification

This document contains a test specification for validating input data for a Mahasiswa (student) class. It tests the id, id_users, and email attributes by adding a student with different data types and values. It verifies that the expected result is failed for invalid data like null values, special characters, or incorrect types. The test passes only for valid data like an integer for id or a properly formatted email address. The specification contains 9 test cases for each attribute to validate the class invariant that the attributes must be non-null and of the correct type.

Uploaded by

Rico Saputra
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
40 views1 page

Class Invariant Test Specification

This document contains a test specification for validating input data for a Mahasiswa (student) class. It tests the id, id_users, and email attributes by adding a student with different data types and values. It verifies that the expected result is failed for invalid data like null values, special characters, or incorrect types. The test passes only for valid data like an integer for id or a properly formatted email address. The specification contains 9 test cases for each attribute to validate the class invariant that the attributes must be non-null and of the correct type.

Uploaded by

Rico Saputra
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

MoRegi UI

TEST DOCUMENT
1. UNIT TEST

Tabel 1.1 Class Invariant Test Specification

Class Invariant Test Specification Page 1 Of 6


Class Name : Mahasiswa Version Number :1.0
Tester Jevi Data Designed : 26/05/17 Data Conducted :
Fronatalia
Testing Objective: Memvalidasi hasil input untuk data
Test Case
Invariant Description Original Event New Attribute Value Expected Result
Attribute Result F/P
Value
Attribute Name : id
1. 1..1 Null addStudent Null F F
2. (string) Null addStudent ABCDE F F
3. (string) Null addStudent AB12 F F
4. (string) Null addStudent *123# F F
5. (string) Null addStudent {ab%cd$*} F F
6. (int) Null addStudent 12345 P P
7. (string) Null addStudent ‘ AND ‘1’=‘1 F F
8. (string) Null addStudent abcde@[Link] F F
9. (double) Null addStudent 7.6 F F

Attribute Name : id_users


1. 1..1 Null addStudent Null F F
2. (string) Null addStudent ABCDE F F
3. (string) Null addStudent AB12 F F
4. (string) Null addStudent *123# F F
5. (string) Null addStudent {ab%cd$*} F F
6. (int) Null addStudent 12345 P P
7. (string) Null addStudent ‘ AND ‘1’=‘1 F F
8. (string) Null addStudent abcde@[Link] F F
9. (double) Null addStudent 7.6 F F

Attribute Name : email


1. 1..1 Null addStudent Null F F
2. (string) Null addStudent ABCDE F F
3. (string) Null addStudent AB12 F F
4. (string) Null addStudent *123# F F
5. (string) Null addStudent {ab%cd$*} F F
6. (int) Null addStudent 12345 F F
7. (string) Null addStudent ‘ AND ‘1’=‘1 F F
8. (string) Null addStudent abcde@[Link] P P

Page 2

You might also like