Web Testing with Logic Programming

on YouTube ↗39m

" summary

Logic programming is used to write declarative, snapshot-style web tests that assert and infer facts about pages using core.logic, with browser automation via clj-webdriver + webdriver-logic backed by Selenium WebDriver. Examples include finding GitHub’s login anchor and verifying a menu item gains class "active" after click; logic queries return all solutions (run) and support deterministic checks via s/s+ macros or non‑deterministic success. Large DOM searches are slow because Selenium uses HTTP RPC, so a raw namespace with enlive* parses page source for huge speed gains; it works but demands careful scoping and some developer/QA skill.

AI-written summary · about

" chapters (12)

1. 0:00Introduction
2. 1:53Core Logic
3. 4:46Logic Engine
4. 6:25Verification
5. 8:37Web Testing
6. 11:38Query Platforms
7. 16:21Verify
8. 20:35Exploring Logic Programming
9. 25:38Fun and Games
10. 25:48Risks
11. 26:32Performance
12. 30:43Conclusion

" related talks

• 45mLow Code Visual Testing of an Enterprise ScenarioLucas Fievet · TestCon Europe 2022
• 43mBrowser Testing using Grammars and a Consensus OracleJoel Martin · Strange Loop 2018
• 19mWorking Well: The Future of Web TestingTrent Willis · dotJS 2017
• 55mModern Web Testing: Going Beyond SeleniumDmitry Vinnik · NDC Minnesota 2019
• 37mAutomated Performance Testing With WebDriverChristian Bromann · TestCon Europe 2019
• 43mWebDriver: Controlling your Web BrowserHans Svensson · Erlang User Conference 2013
• 30mModern Web Testing: Going Beyond SeleniumDmitry Vinnik · DjangoCon US 2021
• 38mIntroduction to Logic Programming with ClojureAmbrose Bonnaire-Sergeant · Clojure/conj 2011