InfoQ Homepage Verification Content on InfoQ
Articles
RSS Feed-
/articles/test-strategy-verification-effectiveness-efficiency/en/smallimage/a-test-strategy-that-boosts-verification-efficiency-and-effectiveness-small-1690978318749.jpg)
Reducing Verification Lead Time by 50% by Lowering Defect Slippage and Applying AI/ML Techniques
Can we increase our flexibility? Can we increase our test coverage? Can we increase our efficiency? And is it possible to reduce our verification lead-time by 50%? One company challenged itself with these questions. This article explores two important “‘pillars”’ of their testing strategy: shifting left and using state-of-the-art techniques to support verification activities.
-
/articles/insider-security-threats-zero-trust/en/smallimage/logo-1641193907181.jpg)
Mitigating Inside and Outside Threats with Zero Trust Security
As ransomware and phishing attacks increase, it is evident that attack vectors can be found on the inside in abundance. Zero Trust Security can be thought of as a new security architecture approach where the main goals are: verifying endpoints before any network communications take place, giving least privilege to endpoints, and continuously evaluating the endpoints throughout the communication.
-
/articles/ieee-verification-and-validation-for-software-systems/en/smallimage/articlelogo.jpg)
Verification and Validation for Trustworthy Software Systems
In this IEEE article, authors discuss a continuous verification and validation of complex and safety-critical software systems using techniques like statechart assertions, runtime execution monitoring, and scenario-based testing.