Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Failing test suites with eval ruleset #7

Open
rakshitkr opened this issue Dec 6, 2020 · 1 comment
Open

Failing test suites with eval ruleset #7

rakshitkr opened this issue Dec 6, 2020 · 1 comment
Labels
bug Something isn't working

Comments

@rakshitkr
Copy link
Collaborator

rakshitkr commented Dec 6, 2020

  1. CookieTest fails because of void classname
  2. KeyPairTest & SignatureTest generation just hangs
@rakshitkr
Copy link
Collaborator Author

rakshitkr commented Dec 6, 2020

@test
public void trustAnchorValidTest1() throws InvalidKeySpecException, NoSuchAlgorithmException {

	SecureRandom secureRandom0 = SecureRandom.getInstance("SHA1PRNG");
	byte[] genSeed = secureRandom0.generateSeed(0);
	Assertions.hasEnsuredPredicate(randInt);
	Assertions.mustBeInAcceptingState(secureRandom0);

	int keylength = 0;
	char[] password = null;

	PBEKeySpec pBEKeySpec0 = new PBEKeySpec(password, genSeed, 19664, keylength);
	Assertions.hasEnsuredPredicate(pBEKeySpec0);

	KeyFactory keyFactory0 = KeyFactory.getInstance("RSA");
	PrivateKey privateKey = keyFactory0.generatePrivate(pBEKeySpec0);
	Assertions.hasEnsuredPredicate(keyFactory0);
	Assertions.mustBeInAcceptingState(keyFactory0);

	TrustAnchor trustAnchor0 = new TrustAnchor((X500Principal) null, pubKey, (byte[]) null); // pubKey is not generated properly
	Assertions.hasEnsuredPredicate(trustAnchor0);
	Assertions.mustBeInAcceptingState(trustAnchor0);
	pBEKeySpec0.clearPassword();
	Assertions.mustBeInAcceptingState(pBEKeySpec0);

}

// Missing two more test cases with different constructors

@rakshitkr rakshitkr changed the title TrustAnchorTest is not generated correctly Failing test cases with eval ruleset Dec 6, 2020
@rakshitkr rakshitkr added the bug Something isn't working label Dec 7, 2020
@rakshitkr rakshitkr changed the title Failing test cases with eval ruleset Failing test suites with eval ruleset Dec 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant