Questions tagged [testing-and-verification]
Questions about creating, maintaining, and verifying tests for functions and packages. This includes doing unit tests, creating testing notebooks, running verification tests, generating test reports, and using the MUnit package.
62 questions
10
votes
0
answers
133
views
How to run tests for Mathematica package on GitHub actions?
How can tests be set up to run on GitHub actions for a Mathematica package?
I am looking for a complete guide or perhaps a live example.
This might be possible with the Free Wolfram Engine, but it is ...
- 239k
3
votes
1
answer
132
views
Testing an equality
By series manipulations we can show that
$$\int_0^1\frac{\operatorname{Li}_2(a^n x^n)}{1-ax}dx=\sum_{k=1}^\infty a^{nk-1}H_{k}^{(2)}\sum_{j=1}^{n}\frac{a^j}{nk+j},$$
for positive integer $n$ and $a=\...
- 667
8
votes
1
answer
353
views
VerificationTest leaks message?
It seems that in certain cases VerificationTest will leak the messages generated when testing.
For example,
...
- 3,467
0
votes
0
answers
68
views
-1
votes
1
answer
100
views
How to prevent tests from evaluating with TestCreate? [closed]
When I am creating a test for example with TestCreate, I have input and expected output. How can I prevent the expected input from evaluating the output? This was one of my favorite areas of new ...
- 1,885
0
votes
2
answers
181
views
How to take the derivative with respect to a function with more than one variable?
I have a function that includes another function inside. I want to know the derivative at every point x. I have spent a lot of time trying to figure out how to do this, but I am very lost. I have ...
- 273
1
vote
0
answers
93
views
How to take a derivative of a function with respect to another function inside the function?
I have these two equations:
...
- 273
2
votes
2
answers
191
views
Implies does not return true for a equation
Check the Edited too, please:
i have a simple equation which i expect to get TRUE from Implies but it just returns the same thing to me. Implies works well for easier examples but I have some more ...
- 499
26
votes
1
answer
2k
views
What are some approaches to measuring code coverage?
I understand that Mathematica can have some peculiarities in this area, but just in case...
I'm talking about things like measuring coverage of MUnit tests to get an idea of code quality.
- 1,365
3
votes
1
answer
188
views
How to verify series solution to an ode generated by AsymptoticDSolveValue?
To verify solution returned by DSolve, one can use the method shown in
howto/CheckTheResultsOfDSolve.html and look for True (...
- 156k
0
votes
0
answers
55
views
Good match test (good fit test) - How to solve?
please advise me with this example. The solution should be done using the program wolfram mathematica. But I do not know how. Can you please advise me?
Parents with blood group AB have children with ...
- 41
9
votes
3
answers
576
views
Why is the solution I obtained from Solve not verified in the original equation?
I have this equation
$$x^2 \left(\sqrt{1-y^2} \sin (x)-\sin (4 x)\right)+2 x y=0$$
I want to solve this equation and find $y$ in terms of $x$. I use Solve
...
user73597
8
votes
1
answer
138
views
Is there QuickCheck testing framework variant for Mathematica?
Is there QuickCheck-like testing framework variant for Mathematica?
We could analyse function argument patterns and generating arbitrary values matching patterns. The idea of generating values, ...
- 1,365
2
votes
2
answers
188
views
Alternative way for getting the roots of a transcendental equation and verifying them
I have the following transcendental equation:
$$2 \cot(x)=\frac{kx}{h(L/N)}-\frac{h(L/N)}{kx}$$
I use the following code to solve it
...
- 297
12
votes
0
answers
314
views
Continuous integration (CI, software development) with Wolfram Language?
Continuous integration (in the software engineering sense) is a common method to ensure that the code in your repository works as it should after each commit. For example, you can run a set of ...
- 3,592