/*
* Licensed to the Apache Software Foundation (ASF) under one or more
* contributor license agreements. See the NOTICE file distributed with
* this work for additional information regarding copyright ownership.
* The ASF licenses this file to You under the Apache License, Version 2.0
* (the "License"); you may not use this file except in compliance with
* the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
/**
* @author Vladimir N. Molotkov
* @version $Revision$
*/
package tests.security.spec;
import dalvik.annotation.TestTargets;
import dalvik.annotation.TestLevel;
import dalvik.annotation.TestTargetNew;
import dalvik.annotation.TestTargetClass;
import junit.framework.TestCase;
import java.math.BigInteger;
import java.security.spec.ECFieldF2m;
import java.util.Arrays;
import java.util.Random;
/**
* Tests for <code>ECFieldF2m</code> class fields and methods.
*
*/
@TestTargetClass(ECFieldF2m.class)
public class ECFieldF2mTest extends TestCase {
/**
* Support class for this test.
* Encapsulates <code>ECFieldF2m</code> testing
* domain parameters.
*
*/
private static final class ECFieldF2mDomainParams {
/**
* <code>NPE</code> reference object of class NullPointerException.
* NullPointerException must be thrown by <code>ECFieldF2m</code>
* ctors in some circumstances
*/
static final NullPointerException NPE = new NullPointerException();
/**
* <code>IArgE</code> reference object of class IllegalArgumentException.
* IllegalArgumentException must be thrown by <code>ECFieldF2m</code>
* ctors in some circumstances
*/
static final IllegalArgumentException IArgE = new IllegalArgumentException();
/**
* The <code>m</code> parameter for <code>ECFieldF2m</code>
* ctor for the current test.
*/
final int m;
/**
* The <code>rp</code> parameter for <code>ECFieldF2m</code>
* ctor for the current test.
*/
final BigInteger rp;
/**
* The <code>ks</code> parameter for <code>ECFieldF2m</code>
* ctor for the current test.
*/
final int[] ks;
/**
* Exception expected with this parameters set or <code>null</code>
* if no exception expected.
*/
final Exception x;
/**
* Constructs ECFieldF2mDomainParams
*
* @param m
* @param rp
* @param ks
* @param expectedException
*/
ECFieldF2mDomainParams(final int m,
final BigInteger rp,
final int[] ks,
final Exception expectedException) {
this.m = m;
this.rp = rp;
this.ks = ks;
this.x = expectedException;
}
}
//
// Tests
//
/**
* Set of parameters used for <code>ECFieldF2m(int)</code>
* constructor tests.
*/
private final ECFieldF2mDomainParams[] intCtorTestParameters =
new ECFieldF2mDomainParams[] {
// set 0: valid m
new ECFieldF2mDomainParams(1, null, null, null),
// set 1: valid m
new ECFieldF2mDomainParams(Integer.MAX_VALUE, null, null, null),
// set 2: invalid m
new ECFieldF2mDomainParams(0, null, null, ECFieldF2mDomainParams.IArgE),
// set 3: invalid m
new ECFieldF2mDomainParams(-1, null, null, ECFieldF2mDomainParams.IArgE)
};
/**
* Tests for constructor <code>ECFieldF2m(int)</code><br>
*
* Assertion: constructs new <code>ECFieldF2m</code> object
* using valid parameter m.
*
* Assertion: IllegalArgumentException if m is not positive.
*/
@TestTargetNew(
level = TestLevel.COMPLETE,
notes = "",
method = "ECFieldF2m",
args = {int.class}
)
public final void testECFieldF2mint() {
for(int i=0; i<intCtorTestParameters.length; i++) {
ECFieldF2mDomainParams tp = intCtorTestParameters[i];
try {
// perform test
new ECFieldF2m(tp.m);
if (tp.x != null) {
// exception has been expected
fail(getName() + ", set " + i +
" FAILED: expected exception has not been thrown");
}
} catch (Exception e){
if (tp.x == null || !e.getClass().isInstance(tp.x)) {
// exception: failure
// if it has not been expected
// or wrong one has been thrown
fail(getName() + ", set " + i +
" FAILED: unexpected " + e);
}
}
}
}
/**
* Set of parameters used for <code>ECFieldF2m(int, int[] ks)</code>
* constructor tests.
*/
private final ECFieldF2mDomainParams[] constructorTestParameters =
new ECFieldF2mDomainParams[] {
// set 0: valid m and ks - trinomial basis params
new ECFieldF2mDomainParams(
1999,
new BigInteger("57406534763712726211641660058884099201115885104434760023882136841288313069618515692832974315825313495922298231949373138672355948043152766571296567808332659269564994572656140000344389574120022435714463495031743122390807731823194181973658513020233176985452498279081199404472314802811655824768082110985166340672084454492229252801189742403957029450467388250214501358353312915261004066118140645880633941658603299497698209063510889929202021079926591625770444716951045960277478891794836019580040978908928741972740865961716524153209532713803393514722581342474556943840519615081302148762454520131486413662191617"),
new int[] {367},
null),
// set 1: valid m and ks - pentanomial basis params
new ECFieldF2mDomainParams(
2000,
new BigInteger("114813069527425452423283320117768198402231770208869520047764273682576626139237031385665948631650626991844596463898746277344711896086305533142593135616665318539129989145312280000688779148240044871428926990063486244781615463646388363947317026040466353970904996558162398808944629605623311649536164221970332681364606313754094036473740741389411285817465477407288087941692709593079057904974473325399237449961796178150263073811552931156681807161003582337510008648338765664631815874608789366699668224806907571505750798647855797220056285479869767291137153732790597348308446887230584637235716444920907512810569735"),
new int[] {981,2,1},
null),
// set 2: valid m, invalid (null) pr, invalid (null) ks
new ECFieldF2mDomainParams(
1963,
null,
null,
ECFieldF2mDomainParams.NPE),
// set 3: valid m, invalid pr, invalid ks - wrong length
new ECFieldF2mDomainParams(
1963,
new BigInteger("114813069527425452423283320117768198402231770208869520047764273682576626139237031385665948631650626991844596463898746277344711896086305533142593135616665318539129989145312280000688779148240044871428926990063486244781615463646388363947317026040466353970904996558162398808944629605623311649536164221970332681364606313754094036473740741389411285817465477407288087941692709593079057904974473325399237449961796178150263073811552931156681807161003582337510008648338765664631815874608789366699668224806907571505750798647855797220056285479869767291137153732790597348308446887230584637235716444920907512810569734"),
new int[] {981,2},
ECFieldF2mDomainParams.IArgE),
// set 4: valid m, invalid ks - wrong length
new ECFieldF2mDomainParams(
1963,
new BigInteger("5"),
new int[] {981,124,2,1},
ECFieldF2mDomainParams.IArgE),
// set 5: valid m, invalid ks - wrong value
new ECFieldF2mDomainParams(
1999,
new BigInteger("5"),
new int[] {1999},
ECFieldF2mDomainParams.IArgE),
// set 6: valid m, invalid ks - wrong value
new ECFieldF2mDomainParams(
1999,
new BigInteger("5"),
new int[] {0},
ECFieldF2mDomainParams.IArgE),
// set 7: valid m, invalid ks - wrong values
new ECFieldF2mDomainParams(
2000,
new BigInteger("5"),
new int[] {2000,2,1},
ECFieldF2mDomainParams.IArgE),
// set 8: valid m, invalid ks - wrong values
new ECFieldF2mDomainParams(
2000,
new BigInteger("5"),
new int[] {981,2,0},
ECFieldF2mDomainParams.IArgE),
// set 9: invalid m
new ECFieldF2mDomainParams(
-5,
new BigInteger("114813069527425452423283320117768198402231770208869520047764273682576626139237031385665948631650626991844596463898746277344711896086305533142593135616665318539129989145312280000688779148240044871428926990063486244781615463646388363947317026040466353970904996558162398808944629605623311649536164221970332681364606313754094036473740741389411285817465477407288087941692709593079057904974473325399237449961796178150263073811552931156681807161003582337510008648338765664631815874608789366699668224806907571505750798647855797220056285479869767291137153732790597348308446887230584637235716444920907512810569735"),
new int[] {981,2,1},
ECFieldF2mDomainParams.IArgE),
// set 10: valid m, invalid ks - wrong order
new ECFieldF2mDomainParams(
2000,
new BigInteger("5"),
new int[] {981,1,2},
ECFieldF2mDomainParams.IArgE),
// set 11: valid m, invalid ks - no content
new ECFieldF2mDomainParams(
2000,
new BigInteger("5"),
new int[3],
ECFieldF2mDomainParams.IArgE),
// set 12: valid m, invalid ks - length is 0
new ECFieldF2mDomainParams(
2000,
new BigInteger("0"),
new int[0],
ECFieldF2mDomainParams.IArgE),
};
/**
* Tests for constructor <code>ECFieldF2m(int m, int[] ks)</code><br>
*
* Assertion: constructs new <code>ECFieldF2m</code> object
* using valid parameters m and rp. ks represents trinomial basis.
*
* Assertion: constructs new <code>ECFieldF2m</code> object
* using valid parameters m and ks. ks represents pentanomial basis.
*
* Assertion: IllegalArgumentException if m is not positive.
*
* Assertion: NullPointerException if ks is null.
*
* Assertion: IllegalArgumentException if ks is invalid.
*/
@TestTargetNew(
level = TestLevel.COMPLETE,
notes = "",
method = "ECFieldF2m",
args = {int.class, int[].class}
)
public final void testECFieldF2mintintArray() {
for(int i=0; i<constructorTestParameters.length; i++) {
ECFieldF2mDomainParams tp = constructorTestParameters[i];
try {
// perform test
ECFieldF2m test = new ECFieldF2m(tp.m, tp.ks);
if (tp.x != null) {
// exception has been expected
fail(getName() + ", set " + i +
" FAILED: expected exception has not been thrown");
}
} catch (Exception e){
if (tp.x == null || !e.getClass().isInstance(tp.x)) {
// exception: failure
// if it has not been expected
// or wrong one has been thrown
fail(getName() + ", set " + i +
" FAILED: unexpected " + e);
}
}
}
}
/**
* Tests for constructor <code>ECFieldF2m(int m, BigInteger rp)</code><br>
*
* Assertion: constructs new <code>ECFieldF2m</code> object
* using valid parameters m and rp.
*
* Assertion: constructs new <code>ECFieldF2m</code> object
* using valid parameters m and rp.
*
* Assertion: IllegalArgumentException if m is not positive.
*
* Assertion: NullPointerException if rp is null.
*
* Assertion: IllegalArgumentException if rp is invalid.
*/
@TestTargetNew(
level = TestLevel.COMPLETE,
method = "ECFieldF2m",
args = {int.class, java.math.BigInteger.class}
)
public final void testECFieldF2mintBigInteger() {
for(int i=0; i<constructorTestParameters.length; i++) {
ECFieldF2mDomainParams tp = constructorTestParameters[i];
try {
// perform test
new ECFieldF2m(tp.m, tp.rp);
if (tp.x != null) {
// exception has been expected
fail(getName() + ", set " + i +
" FAILED: expected exception has not been thrown");
}
} catch (Exception e){
if (tp.x == null || !e.getClass().isInstance(tp.x)) {
// exception: failure
// if it has not been expected
// or wrong one has been thrown
fail(getName() + ", set " + i +
" FAILED: unexpected " + e);
}
}
}
}
/**
* Test #1 for <code>hashCode()</code> method.<br>
*
* Assertion: must return the same value if invoked
* repeatedly on the same object.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "hashCode",
args = {}
)
public final void testHashCode01() {
ECFieldF2m f = new ECFieldF2m(2000);
int hc = f.hashCode();
assertTrue(hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode());
}
/**
* Test #2 for <code>hashCode()</code> method.<br>
*
* Assertion: must return the same value if invoked
* repeatedly on the same object.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "hashCode",
args = {}
)
public final void testHashCode02() {
ECFieldF2m f = new ECFieldF2m(2000, new int[] {981, 2, 1});
int hc = f.hashCode();
assertTrue(hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode() &&
hc == f.hashCode());
}
/**
* Test #3 for <code>hashCode()</code> method.<br>
*
* Assertion: must return the same value if invoked
* on equal (according to the <code>equals(Object)</code> method) objects.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "hashCode",
args = {}
)
public final void testHashCode03() {
assertTrue(new ECFieldF2m(111).hashCode() ==
new ECFieldF2m(111).hashCode());
}
/**
* Test #4 for <code>hashCode()</code> method.<br>
*
* Assertion: must return the same value if invoked
* on equal (according to the <code>equals(Object)</code> method) objects.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "hashCode",
args = {}
)
public final void testHashCode04() {
assertTrue(new ECFieldF2m(2000, new int[] {981, 2, 1}).hashCode() ==
new ECFieldF2m(2000, new int[] {981, 2, 1}).hashCode());
}
/**
* Test #5 for <code>hashCode()</code> method.<br>
*
* Assertion: must return the same value if invoked
* on equal (according to the <code>equals(Object)</code> method) objects.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "hashCode",
args = {}
)
public final void testHashCode05() {
assertTrue(new ECFieldF2m(2000, new int[] {981, 2, 1}).hashCode() ==
new ECFieldF2m(2000, BigInteger.valueOf(0L).
setBit(0).setBit(1).setBit(2).
setBit(981).setBit(2000)).hashCode());
}
/**
* Test #1 for <code>equals()</code> method.<br>
*
* Assertion: object equals to itself.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject01() {
ECFieldF2m obj = new ECFieldF2m(1999, new int[] {367});
assertTrue(obj.equals(obj));
}
/**
* Test #2 for <code>equals()</code> method.<br>
*
* Assertion: normal basis - objects equal if their m are equal.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Simple test. Doesn't verify other cases.",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject02() {
assertTrue(new ECFieldF2m(43).equals(new ECFieldF2m(43)));
}
/**
* Test #3 for <code>equals()</code> method.<br>
*
* Assertion: trinomial basis - objects equal if their m, and rp
* are mutually equal.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject03() {
assertTrue(new ECFieldF2m(1999, new int[] {367}).equals(
new ECFieldF2m(1999, BigInteger.valueOf(0L).
setBit(0).setBit(367).setBit(1999))));
}
/**
* Test #4 for <code>equals()</code> method.<br>
*
* Assertion: pentanomial basis - objects equal if their m, and rp
* are mutually equal.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject04() {
ECFieldF2m f1 = new ECFieldF2m(2000, new int[] {981, 2, 1});
ECFieldF2m f2 = new ECFieldF2m(2000, BigInteger.valueOf(0L).
setBit(0).setBit(1).setBit(2).
setBit(981).setBit(2000));
assertTrue(f1.equals(f2) && f2.equals(f1));
}
/**
* Test #5 for <code>equals()</code> method.<br>
*
* Assertion: objects equal if their m, and rp are mutually equal.
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject05() {
ECFieldF2m f1 = new ECFieldF2m(2000);
ECFieldF2m f2 = new ECFieldF2m(2000, BigInteger.valueOf(0L).
setBit(0).setBit(1).setBit(2).
setBit(981).setBit(2000));
assertFalse(f1.equals(f2) || f2.equals(f1));
}
/**
* Test #6 for <code>equals(Object obj)</code> method.<br>
*
* Assertion: returns false if obj is <code>null</code>
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject06() {
assertFalse(new ECFieldF2m(2000).equals(null));
}
/**
* Test #7 for <code>equals(Object obj)</code> method.<br>
*
* Assertion: returns false if obj is not instance of <code>ECFieldF2m</code>
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "",
method = "equals",
args = {java.lang.Object.class}
)
public final void testEqualsObject07() {
assertFalse(new ECFieldF2m(2000).equals(new Object()));
}
/**
* Test for <code>getFieldSize()</code> method.<br>
*
* Assertion: returns m value for <code>ECFieldF2m</code>
*/
@TestTargetNew(
level = TestLevel.COMPLETE,
notes = "",
method = "getFieldSize",
args = {}
)
public final void testGetFieldSize() {
assertEquals(2000, new ECFieldF2m(2000).getFieldSize());
}
/**
* Test for <code>getM()</code> method.<br>
*
* Assertion: returns m value for <code>ECFieldF2m</code>
*/
@TestTargetNew(
level = TestLevel.COMPLETE,
notes = "",
method = "getM",
args = {}
)
public final void testGetM() {
assertEquals(2000, new ECFieldF2m(2000).getM());
}
/**
* Test #1 for <code>getMidTermsOfReductionPolynomial()</code> method.<br>
*
* Assertion: returns mid terms of reduction polynomial
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Verifies that getMidTermsOfReductionPolynomial method returns mid terms of reduction polynomial.",
method = "getMidTermsOfReductionPolynomial",
args = {}
)
public final void testGetMidTermsOfReductionPolynomial01() {
int[] a = new int[] {981,2,1};
int[] b = new ECFieldF2m(2000,
BigInteger.valueOf(0L).setBit(0).setBit(1).
setBit(2).setBit(981).setBit(2000)).
getMidTermsOfReductionPolynomial();
assertTrue(Arrays.equals(a, b));
}
/**
* Test #2 for <code>getMidTermsOfReductionPolynomial()</code> method.<br>
*
* Assertion: returns null for normal basis
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Verifies that getMidTermsOfReductionPolynomial method returns null for normal basis.",
method = "getMidTermsOfReductionPolynomial",
args = {}
)
public final void testGetMidTermsOfReductionPolynomial02() {
assertNull(new ECFieldF2m(2000).getMidTermsOfReductionPolynomial());
}
/**
* Test #3 for <code>getMidTermsOfReductionPolynomial()</code> method.<br>
*
* Assertion: returns mid terms of reduction polynomial
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Verifies that getMidTermsOfReductionPolynomial method returns mid terms of reduction polynomial.",
method = "getMidTermsOfReductionPolynomial",
args = {}
)
public final void testGetMidTermsOfReductionPolynomial03() {
int[] a = new int[] {367};
int[] b = new ECFieldF2m(1999, a).getMidTermsOfReductionPolynomial();
assertTrue(Arrays.equals(a, b));
}
/**
* Test #1 for <code>getReductionPolynomial()</code> method.<br>
*
* Assertion: returns reduction polynomial
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Verifies that getReductionPolynomial method returns reduction polynomial.",
method = "getReductionPolynomial",
args = {}
)
public final void testGetReductionPolynomial01() {
BigInteger rp = BigInteger.valueOf(0L).setBit(0).setBit(1).setBit(2).
setBit(981).setBit(2000);
assertTrue(new ECFieldF2m(2000, rp).getReductionPolynomial().equals(rp));
}
/**
* Test #2 for <code>getReductionPolynomial()</code> method.<br>
*
* Assertion: returns null for normal basis
*/
@TestTargetNew(
level = TestLevel.PARTIAL_COMPLETE,
notes = "Verifies that getReductionPolynomial method returns null for normal basis.",
method = "getReductionPolynomial",
args = {}
)
public final void testGetReductionPolynomial02() {
assertNull(new ECFieldF2m(2000).getReductionPolynomial());
}
/**
* Tests that object state is preserved against modifications
* through array reference passed to the constructor.
*/
@TestTargetNew(
level = TestLevel.PARTIAL,
notes = "Verifies that object state is preserved against modifications through array reference passed to the constructor.",
method = "ECFieldF2m",
args = {int.class, int[].class}
)
public final void testIsStatePreserved01() {
// reference array
int[] a = new int[] {367};
// reference array copy
int[] aCopy = a.clone();
// create obj using copy
ECFieldF2m f = new ECFieldF2m(1999, aCopy);
// modify copy
aCopy[0] = 5;
// compare reference with returned array
assertTrue(Arrays.equals(a, f.getMidTermsOfReductionPolynomial()));
}
/**
* Tests that object state is preserved against
* modifications through array reference returned by
* <code>getMidTermsOfReductionPolynomial()</code> method.
*/
@TestTargets({
@TestTargetNew(
level = TestLevel.PARTIAL,
notes = "Verifies that object state is preserved against modifications through array reference returned by getMidTermsOfReductionPolynomial() method.",
method = "ECFieldF2m",
args = {int.class, int[].class}
),
@TestTargetNew(
level = TestLevel.PARTIAL,
notes = "Verifies that object state is preserved against modifications through array reference returned by getMidTermsOfReductionPolynomial() method.",
method = "getMidTermsOfReductionPolynomial",
args = {}
)
})
public final void testIsStatePreserved02() {
// reference array
int[] a = new int[] {981,2,1};
// reference array copy
int[] aCopy = a.clone();
// create obj using copy
ECFieldF2m f = new ECFieldF2m(2000, aCopy);
// get array reference and modify returned array
f.getMidTermsOfReductionPolynomial()[0] = 1532;
// compare reference with returned for the second time array
assertTrue(Arrays.equals(a, f.getMidTermsOfReductionPolynomial()));
}
}
|
