https://github.com/informalsystems/quint
Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.
Quint is inspired by TLA+ but provides an alternative surface syntax for specifying systems in TLA. The most important feature of our syntax is that it is minimal and regular, making Quint an easy target for advanced developer tooling and static analysis.
GitHub
GitHub - informalsystems/quint: An executable specification language with delightful tooling based on the temporal logic of actions…
An executable specification language with delightful tooling based on the temporal logic of actions (TLA) - informalsystems/quint
Forwarded from 🇺🇦 automation-remarks.com
🔒 Tips for Stable Tests: Controlling Your Environment 🚀
👋 As software developers, we all know the importance of reliable and stable tests in ensuring the quality of our applications. Today, I wanted to share a valuable tip based on my recent experiences with failing tests at the latest Chrome version.
🔧 The Power of Environment Control:
One of the best ways to tackle test failures is by taking control of your testing environment. How can we achieve this? By fixing the browser version and driver version in your Continuous Integration (CI) setup and upgrading them manually when necessary. This simple yet effective strategy can save you precious time and spare you some nerves! 😅
🌟 Advantages of Environment Fixation:
Consistent Test Results: By fixing the browser and driver versions, you create a stable and consistent testing environment. This ensures that the tests run reliably across different executions, reducing false positives and negatives.
Predictable Behavior: With controlled environments, you can confidently predict how your tests will behave. This allows for better debugging and troubleshooting, making it easier to identify and fix issues promptly.
Simplified CI Configuration: By specifying the browser and driver versions in your CI pipeline, you remove the ambiguity caused by automatic updates. This simplifies your configuration and makes your CI process more straightforward.
Reduced Test Maintenance: With fewer test failures due to environment variations, you'll spend less time maintaining and reworking your test suite. This gives you more time to focus on building new features and improving the application.
🚦 Upgrade When Needed:
While it's essential to fix the versions initially, staying up-to-date with browser and driver versions is also vital. Periodically, check for updates and upgrade manually when necessary. This proactive approach ensures you leverage the latest improvements and bug fixes, enhancing overall test stability.
Remember, a stable test suite contributes significantly to the confidence in your software releases and helps deliver a seamless user experience. So, invest time in controlling your testing environment, and you'll reap the rewards of a robust testing process! 💪
Have you implemented this approach in your testing strategy? I'd love to hear your experiences and insights in the comments below. Let's keep the conversation going! 👇
👋 As software developers, we all know the importance of reliable and stable tests in ensuring the quality of our applications. Today, I wanted to share a valuable tip based on my recent experiences with failing tests at the latest Chrome version.
🔧 The Power of Environment Control:
One of the best ways to tackle test failures is by taking control of your testing environment. How can we achieve this? By fixing the browser version and driver version in your Continuous Integration (CI) setup and upgrading them manually when necessary. This simple yet effective strategy can save you precious time and spare you some nerves! 😅
🌟 Advantages of Environment Fixation:
Consistent Test Results: By fixing the browser and driver versions, you create a stable and consistent testing environment. This ensures that the tests run reliably across different executions, reducing false positives and negatives.
Predictable Behavior: With controlled environments, you can confidently predict how your tests will behave. This allows for better debugging and troubleshooting, making it easier to identify and fix issues promptly.
Simplified CI Configuration: By specifying the browser and driver versions in your CI pipeline, you remove the ambiguity caused by automatic updates. This simplifies your configuration and makes your CI process more straightforward.
Reduced Test Maintenance: With fewer test failures due to environment variations, you'll spend less time maintaining and reworking your test suite. This gives you more time to focus on building new features and improving the application.
🚦 Upgrade When Needed:
While it's essential to fix the versions initially, staying up-to-date with browser and driver versions is also vital. Periodically, check for updates and upgrade manually when necessary. This proactive approach ensures you leverage the latest improvements and bug fixes, enhancing overall test stability.
Remember, a stable test suite contributes significantly to the confidence in your software releases and helps deliver a seamless user experience. So, invest time in controlling your testing environment, and you'll reap the rewards of a robust testing process! 💪
Have you implemented this approach in your testing strategy? I'd love to hear your experiences and insights in the comments below. Let's keep the conversation going! 👇
👏1
Forwarded from DevOpsDays Ukraine
Hey, community!
A new edition of DevOpsDays Ukraine: Disaster Recovery is happening on September 14-15th ⚙️
Get ready for a two-day journey with Cultural Talks, Ignites & Tech Talks, from top speakers like Charity Majors, Iaroslav Molochko, Manuel Pais, Adriana Villela, just to name a few.
On the live fireside chat, you can ask questions to the founder of DevOpsDays, Patrick Debois, and know more about his personal experience and ideas 🎉
Furthermore, we will talk about Self-Service Tooling, Future of Platforms, CI/CD and IaC for GameDev, delivering despite times and much more.
You’ll get insights how the National Bank of Ukraine, PrivatBank migrated to the Cloud during the first months of a full-scale invasion of Ukraine.
And finally online networking on Open-Spaces with like-minded experts from around the world 🌟
When? September 14-15
Where? Online
👉 Check it out & register
Can't wait to see y'all!
A new edition of DevOpsDays Ukraine: Disaster Recovery is happening on September 14-15th ⚙️
Get ready for a two-day journey with Cultural Talks, Ignites & Tech Talks, from top speakers like Charity Majors, Iaroslav Molochko, Manuel Pais, Adriana Villela, just to name a few.
On the live fireside chat, you can ask questions to the founder of DevOpsDays, Patrick Debois, and know more about his personal experience and ideas 🎉
Furthermore, we will talk about Self-Service Tooling, Future of Platforms, CI/CD and IaC for GameDev, delivering despite times and much more.
You’ll get insights how the National Bank of Ukraine, PrivatBank migrated to the Cloud during the first months of a full-scale invasion of Ukraine.
And finally online networking on Open-Spaces with like-minded experts from around the world 🌟
When? September 14-15
Where? Online
👉 Check it out & register
Can't wait to see y'all!
#hack #Signal #GooglePlay
https://www.forbes.com/sites/thomasbrewster/2023/08/30/malicious-signal-app-planted-on-google-play-by-china-linked-cyber-spies/
https://www.forbes.com/sites/thomasbrewster/2023/08/30/malicious-signal-app-planted-on-google-play-by-china-linked-cyber-spies/
Forbes
A Fake Signal App Was Planted On Google Play By China-Linked Hackers
Hackers who previously targeted Uyghurs evaded Google Play security checks to push a fake Signal app for Android. It uses a never previously-documented method to spy on the encrypted comms tool.
#testing #JobSeeking #issue
https://www.reddit.com/r/QualityAssurance/comments/164v9rv/how_screwed_is_everyone_looking_for_a_qa_job
https://www.reddit.com/r/QualityAssurance/comments/164v9rv/how_screwed_is_everyone_looking_for_a_qa_job
Reddit
[deleted by user] : r/QualityAssurance
37 votes, 96 comments. 60K subscribers in the QualityAssurance community. Anything software QA -related; tools, processes, questions etc. As long as it's relevant you can post or ask whatever you like.
Spam is forbidden. Spam masquerading as low-effort articles…
Spam is forbidden. Spam masquerading as low-effort articles…
🤔1🫡1
#programming #history #Java #Python
Are you older or younger than the language you're programming in? 🙃
Are you older or younger than the language you're programming in? 🙃
❤2