Incorrect assertion parameter

[rakshitkr]

Though the predicate encrypted[pre_ciphertext, pre_plaintext] is ensured after update method, the test generator selects a update(pre_plainBuffer, pre_cipherBuffer) method that doesn't contain those parameters. This results in assertion with wrong parameter as shown below.

@Test
	public void cipherInvalidTest32()
			throws NoSuchPaddingException, NoSuchAlgorithmException, InvalidKeyException, ShortBufferException {

		ByteBuffer pre_plainBuffer = null;
		Certificate cert = null;
		ByteBuffer pre_cipherBuffer = null;

		Cipher cipher0 = Cipher.getInstance("RSA");
		cipher0.init(1, cert);
		cipher0.update(pre_plainBuffer, pre_cipherBuffer);
		Assertions.hasEnsuredPredicate(pre_ciphertext); // incorrect parameter
		Assertions.mustNotBeInAcceptingState(cipher0);

	}

[rakshitkr]

trustManagerFactory0 in Assertions.hasEnsuredPredicate instead of trustManager

TrustManagerFactory trustManagerFactory0 = TrustManagerFactory.getInstance("PKIX", (String) null);
trustManagerFactory0.init(keyStore0);
TrustManager[] trustManager = trustManagerFactory0.getTrustManagers();
Assertions.hasEnsuredPredicate(trustManagerFactory0); // incorrect parameter; trustManager must be generated
Assertions.mustBeInAcceptingState(trustManagerFactory0);

Following test cases are failing for above reason

• trustManagerFactoryValidTest4
• trustManagerFactoryValidTest5
• trustManagerFactoryValidTest6

[rakshitkr]

secureRandom0 in Assertions.hasEnsuredPredicate instead of genSeed

SecureRandom secureRandom0 = SecureRandom.getInstance("SHA1PRNG");
secureRandom0.setSeed(genSeed);
Assertions.hasEnsuredPredicate(secureRandom0); // incorrect parameter; genSeed must be generated
Assertions.mustBeInAcceptingState(secureRandom0);

Following test cases are failing for above reason

• secureRandomValidTest6
• secureRandomValidTest7
• secureRandomValidTest8
• secureRandomValidTest9
• secureRandomValidTest10

[rakshitkr]

lSeed in Assertions.hasEnsuredPredicate instead of secureRandom0

@Test
	public void secureRandomValidTest11() throws NoSuchAlgorithmException {

		long lSeed = 0;

		SecureRandom secureRandom0 = SecureRandom.getInstance("SHA1PRNG");
		secureRandom0.setSeed(lSeed);
		Assertions.hasEnsuredPredicate(lSeed); // incorrect parameter; secureRandom0 must be generated
		Assertions.mustBeInAcceptingState(secureRandom0);

	}