65

Is there some formal way(s) of quantifying potential flaws, or risk, and ensuring there's sufficient spread of tests to cover them? Perhaps using some kind of complexity measure? Or a risk assessment of some kind?

Experience tells me I need to be extra careful around certain things - user input, code generation, anything with a publicly exposed surface, third-party libraries/services, financial data, personal information (especially of minors), batch data manipulation/migration, and so on.

But is there any accepted means of formally measuring a system and ensuring that some level of test quality exists?

top 32 comments
sorted by: hot top controversial new old
[-] MagicShel@programming.dev 29 points 1 year ago* (last edited 1 year ago)

Pit testing is useful. It basically tests how effective your tests are and tells you missed conditions that aren’t being tested. For Java. https://pitest.org

[-] mattburkedev@programming.dev 6 points 1 year ago

The most extreme examples of the problem are tests with no assertions. Fortunately these are uncommon in most code bases.

Every enterprise I’ve consulted for that had code coverage requirements was full of elaborate mock-heavy tests with a single Assert.NotNull at the end. Basically just testing that you wrote the right mocks!

[-] MagicShel@programming.dev 5 points 1 year ago

That’s exactly the sort of shit tests mutation testing is designed to address. Believe me it sucks when sonar requires 90% pit test pass rate. Sometimes the tests can get extremely elaborate. Which should be a red flag for design (not necessarily bad code).

Anyway I love what pit testing does. I hate being required to do it, but it’s a good thing.

[-] Deely@programming.dev 1 points 1 year ago

Yeah. All the same. Create lazy metric - get lazy and useless results.

[-] vampatori@feddit.uk 5 points 1 year ago

This is really interesting, I've never heard of such an approach before; clearly I need to spend more time reading up on testing methodologies. Thank you!

[-] xthexder@l.sw0.com 2 points 1 year ago

I'd never heard of mutation testing before either, and it seems really interesting. It reminds me of fuzzing, except for the code instead of the input. Maybe a little impractical for some codebases with long build times though. Still, I'll have to give it a try for a future project. It looks like there's several tools for mutation testing C/C++.

The most useful tests I write are generally regression tests. Every time I find a bug, I'll replicate it in a test case, then fix the bug. I think this is just basic Test-Driven-Development practice, but it's very useful to verify that your tests actually fail when they should. Mutation/Pit testing seems like it addresses that nicely.

[-] Sleepkever@lemm.ee 1 points 1 year ago

We are running the above pi tests with an extra (Gradle based) build plugin so that it only runs mutations for the changed lines in that pull request. That drastically reduces runtime and still ensures that new code is covered to the mutation test level we want. Maybe something similar can be done for C or C++ projects.

80%. Much beyond that and you get into a decreasing return on the investment of making the tests.

[-] canpolat@programming.dev 9 points 1 year ago* (last edited 1 year ago)

I think this is a good rule-of-thumb in general. But I think the best way to decide on the correct coverage is to go through uncovered code and make a conscious decision about it. In some classes it may be OK to have 30%, in others one wants to go all the way up to 100%. That's why I'm against having a coverage percentage as a build/deployment gate.

Bingo, exactly this. I said 80 because that's typically what I see our projects get to after writing actually useful tests. But if your coverage is 80% and it's all just tests verifying that a constant is still set to whatever value, then yeah, thats a useless metric.

[-] ilega_dh@feddit.nl 1 points 1 year ago

The 80-20 rule is for everything. Don’t waste 80% of effort to get that last 20% of coverage.

[-] SorteKanin@feddit.dk 10 points 1 year ago

But is there any accepted means of formally measuring a system and ensuring that some level of test quality exists?

Formally? No, this is basically impossible by Rice's Theorem. There is not even a guarantee that if you have 100% test coverage, the program is good (the tests could be flawed).

This is just a natural limitation of turing completeness. You can't decide these properties while also having full computational power. In order to decide such things, you need a less powerful mode of computation (something not turing complete) that can be analyzed more thoroughly and with more guarantees.

[-] vampatori@feddit.uk 2 points 1 year ago

That makes sense, thank you. Yes, it's specifically "test quality" I'm looking to measure, as 100% coverage is effectively meaningless if the tests are poor.

[-] SorteKanin@feddit.dk 6 points 1 year ago

Yea I'm afraid the only real way to "measure" that is to read through the tests and the code and make a good ol human value judgement on the state of the code and tests. But it won't give you a number.

[-] randombit@lemmy.sdf.org 10 points 1 year ago

"When a measure becomes a target, it ceases to be a good measure". — Goodhart's law

[-] austin@programming.dev 5 points 1 year ago
[-] fades@beehaw.org 5 points 1 year ago

So true lol. Mgmt just announced a directive at my work last week that code must have 95-100% coverage.

Meanwhile they hire contractors from india that write the dumbest, most useless tests possible. I’ve worked with many great Indian devs but the contractors we use today all seem like a step down in quality. More work for me I guess

[-] phoneymouse@lemmy.world 3 points 1 year ago

It’s always fun to hear management pushing code coverage. It’s a fairly useless metric. It’s easy to get coverage without actually testing anything. I’ve seen unit tests that consist simply of starting the whole program and running it without asserting anything or checking outputs.

[-] rmam@programming.dev 2 points 1 year ago

It’s always fun to hear management pushing code coverage. It’s a fairly useless metric.

Code coverage can be a useless metric only if your team's pull request review process is broken and systematically approves broken code that fails to meet it's most basic requirements.

In the meantime, if code coverage requirements convince any team member to go out of their way to check for an invarant, that means introducing code coverage requirements is already a win.

There are tools to detail the code coverage if your tests. I've worked with Istanbul in the past, and it's helped to point out parts of the code that could use more attention

https://istanbul.js.org/

[-] vampatori@feddit.uk 2 points 1 year ago

I use coverage tools like nyc/c8, but I can easily get 100% coverage on buggy, exploitable, and unstable code. You can have two projects, both with 100% coverage, and one be a shit show and the other be rock solid - so I was wondering if there's a way to measure quality of tests, or to identify code that really needs extra attention (despite being 100%). Mutation testing has been suggested and that's really interesting, I'm going to give it a go tomorrow and see what it throws up!

[-] snowe@programming.dev 3 points 1 year ago

Mutation testing. Someone else mentioned it as PIT testing, but its actual name is mutation testing. It accomplished exactly what you’re looking for here.

[-] lordxakio@lemmy.world 3 points 1 year ago

I am not sure what the common/agreed upon rules are. Seems like it depends on the team lead or manager to decide. Some orgs have better engineers, experience, systems and others don’t.

I used to follow the 100% coverage because I was told to do so in my start. I found myself chasing semi-colons rather than null references. Luckily, I had a team mate with which we argued a lot about what we did, do, and will do and he helped me. (In a friendly manner, not like Dinesh and Gilfoyd from Silicon Valley).

Now, I start my tests by going over how the user will use it, e.g. the happy path. Then happy path away. It seems to cover most cases. It helps if you know the business too. (Think messaging system that is intentionally and strictly simple, or one that has a lot of Unicode and language support… fucking emojis hurt me cause I forget they exist even though I use them all the time, I always forget).

Alas, no matter what, I always miss some test case or a very imaginative user will find a way to show me how wrong I am.

In the end, I think the best, no matter how big or small the project you’re building is, to do many small PRs (with tests) to your team. This way, things are tested in increments and helps prevent PR burnouts. This I need to get better at myself.

[-] MR_GABARISE@lemmy.world 3 points 1 year ago

On top or, better, in addition to mutation testing, some amount of property-based testing is always great where it counts.

[-] sveri@lemmy.sveri.de 2 points 1 year ago

Additionally I like roundtrip tests.

For example we have two data formats and support conversion between both of them.

So I have tests that convert from A to B and back to A. Then I can go and call assertEquals on them.

It's a very cheap test, that tests all functionality of the conversion itself.

[-] bluGill@kbin.social 2 points 1 year ago

I.prefer to count and report total tests run as part of each build. We get impressive large numbers, but there is no way to put any specific goal on the exact number, we can always go higher.

[-] Sibbo@sopuli.xyz 2 points 1 year ago

Maybe fraction between money spent on writing code versus money spent on testing code?

[-] tatterdemalion@programming.dev 2 points 1 year ago

This might not be exactly what you're looking for, but there is verifiably correct software. You can use proof assistants or work in limited computational models (i.e. always-terminating, non-Turing-complete).

One example: https://statebox.org/what-is/

[-] cgtjsiwy@programming.dev 1 points 1 year ago

Different applications require different tests, so no measure is going to please everyone. If you're making embedded devices for an airplane, the buyer might ask you to provide a formal proof that the program works. In contrast, web apps tend to simply use end users as testers, since it's cheaper.

[-] UFODivebomb@programming.dev 1 points 1 year ago

I'd like to see state space coverage instead of line coverage. That, at least, catches silly "100%" cases.

I don't know of a tool that provides this metric. I don't even think such a thing could be made for most languages. still, useful to think about when reviewing code.

load more comments
view more: next ›
this post was submitted on 09 Jul 2023
65 points (97.1% liked)

Programming

17314 readers
132 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 1 year ago
MODERATORS