Stop bashing bugs – they're undesirable states, not villains

이 글은 버그를 단순히 악당으로 보지 말고, 소프트웨어 시스템의 가능한 상태 중 하나로 이해하자고 제안한다. 버그는 시스템 설계자가 정의하지 않은 바람직하지 않은 상태이며, 복잡한 시스템에서는 상태 공간이 기하급수적으로 늘어나기 때문에 모든 상태를 테스트하기 어렵다. 따라서 상태 공간을 제한하고, 유효 상태를 명확히 정의하며, 행동 기반 테스트와 모델 기반 테스트를 활용해 버그를 예방하고 이해하는 접근법을 권장한다. 버그를 문제로만 보지 않고 시스템 설계와 테스트 개선의 단서로 삼는 태도가 중요하다.

https://testflows.com/blog/stop-bashing-bugs-its-all-your-fault/

#softwaretesting #stateexplosion #bugmanagement #modelbasedtesting #testautomation

Model-Based Testing for Dungeons & Dragons

https://www.loskutoff.com/blog/model-based-testing-dnd/

#HackerNews #ModelBasedTesting #DungeonsAndDragons #GameDevelopment #TestingTechniques #TTRPG

Had a great time at #testformation2026, @tmmiamerica's webinar, talking about how #GenAI alone is not enough to navigate the many perils of a release map. One needs better guardrails, such as a #ModelBasedTesting tool. You know, like the one we make at Provengo.

#QA #Automation #Vibe_coding #FMWinterIsOver

Watch our CTO at a recent Innovate QA's meetup, discussing #ModelBasedTesting an advanced #QA methodology for our #AI future (a future that will also be full of #HashTags, we're told. Um, #told).

https://www.youtube.com/watch?v=6k5C6JSF9JU

#FormalMethods #Testing #Automation #FMWinterIsOver

Join Innovate QA and us and for a free webinar! On November 20th, we'll cover #ModelBasedTesting, a powerful approach to #QA that improves the day-to-day lives of QA teams, making them more agile, and deliver value faster and earlier.

https://meetup.com/innovate-qa-seattle-meetup-group/events/311874298/

#FMWinterIsOver #FormalMethods

New version out, with many features and improvements. Locator healing, revamped AI integration, and powerful execution reports that will change how you make release Go/NoGo decisions.

https://www.provengo.ai/post/early-autumn-late-release-notes

#FMWinterIsOver

#DevTools #ModelBasedTesting #QATools #FormalMethods

We threw a PDF together explaining why #ModelBasedTesting is a good idea. It was quite easy because, well, #ModelBasedTesting is a good idea. If you're developing software systems, you should totally try this.

https://content.provengo.tech/files/MBT.pdf

This is your friendly reminder that #CAST2025, coming this August to the Salt Lake City near you, will be awesome.

In unrelated news, our CTO will be speaking there about #ModelBasedTesting.

https://associationforsoftwaretesting.substack.com/p/cast-2025-speaker-michael-bar-sinai

#QA #Automation #DevTools #FMWinterIsOver