search

gamebox / chakra-lang

Chakra Programming Langauge
4 stars 0 forks source link

Test framework #16

Open gamebox opened 4 years ago

gamebox commented 4 years ago

We want Chakra to have a good testing story, but it has some unique requirements. There is the sequential parts of the language, and then there are the concurrent parts. Ideally testing would cover:

  1. Unit testing sequential code
  2. Testing the integration of multiple actors
  3. Performance testing
  4. Property-based testing

I'll add more details about my thoughts as I think of it.

gamebox commented 1 year ago

I think for #2 above we'd ideally like to possibly log all messages sent by different actors, and take snapshot of the state. given the structure of the language, maybe this isn't necessary?