GalaxyCheck icon indicating copy to clipboard operation
GalaxyCheck copied to clipboard
verified publisher icon nth-commit

Testing tech debt

Open nth-commit opened this issue 5 years ago • 0 comments

  • Sizing algorithm of sample and check, or sample vs check
  • ~~Testing constraints of generators (e.g. Int32), should also test that the shrinks conform to the constraints~~
  • ExampleSpace.Counterexamples was deprecated in favour of ExampleSpace.Explore, but tests were not re-engineered: https://github.com/nth-commit/GalaxyCheck/blob/3b2f39bdc1a091a90dee348cc56e53873265e05b/src/GalaxyCheck.Tests/ExampleSpaces/ExampleSpace/AboutCounterexamples.cs#L1
  • ~~ListGen does not have its defaults tested~~
  • ~~Formatting~~
  • ~~Replay tests~~
  • Lots of runner tests!!!
  • GalaxyCheck.Xunit
    • Validation for IAutoGenFactory at the class level
    • Might be useful to have a few more integration tests
  • FunctionGen invocation limits
  • Replace arity tests with presentational tests
  • Properties
    • Ensure that all methods of creating properties through Property.Reflect use the given IAutoGenFactory
  • Test that the Gen APIs are immutable

nth-commit avatar Mar 02 '21 19:03 nth-commit