If AI is good enough to write formal verification, why wouldn't it be good enough to do QA? Why not just have AI do a full manual test sweep after every change?

▲

simonw 6 days ago | parent | next [-]

You can do that as well, but it's non-deterministic and also expensive to run.

Much better to have AI write deterministic test suites for your project.

	▲	apercu 6 days ago \| parent [-]
		I guess I am luddite-ish in that I think people still need to decide what must always be true in a system. Tests should exist to check those rules. AI can help write test code and suggest edge cases, but it shouldn’t be trusted to decide whether behavior is correct. When software is hard to test, that’s usually a sign the design is too tightly coupled or full of side effects, or that the architecture is unnecessarily complicated. Not that the testing tools are bad.

▲

6 days ago | parent | prev [-]

[deleted]