#propertytesting

caleb

@caleb.jasik.xyz

1 month ago

property_testing | Dart package A property-based testing framework for Dart with powerful generators and shrinking capabilities

What's the latest in #PropertyTesting #Flutter apps?

pub.dev/packages/pro...?
github.com/kindone/dart...?
github.com/szktty/kiri-...?
seems like is the way for most tests: dart.dev/tools/testing

#iOS #Android #AppDev

caleb

@caleb.jasik.xyz

1 month ago

Alright fuzzing friends-

good time to reconnect and help each other fuzz harder better faster stronger

Reply with how long you’ve been fuzzing, preferred fuzzing framework, how you approach writing a harness and validating results

#Fuzzing #PropertyTesting to help find each other

caleb

@caleb.jasik.xyz

1 month ago

Made bsky.app/profile/did:... so you can keep your pulse on what's happening with #fuzzing and #PropertyTesting on bsky 💖

it currently sees 4 posts, let's see if this one shows up in it 😄

Lean Focused Research Organization

@lean-lang.org

8 months ago

Really enjoyed this talk by @harrisongoldste.in that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data.

#LeanProver #Metaprogramming #VSCode #PropertyTesting

Nicolas Fränkel 🇪🇺🇺🇦🇬🇪

@frankel.ch

9 months ago

Why Property Testing Finds Bugs Unit Testing Does Not I intended this newsletter to be my thoughts without editing, and I have a new thought, so here goes. I want to respond to this discussion: But Kids These...

Why #PropertyTesting Finds Bugs #UnitTesting Does Not

Renzume.

@renzume.com

1 year ago

Sublinear algorithms: process massive datasets faster by reading only a fraction of input data
https://people.csail.mit.edu/ronitt/sublinear.html
#algorithms #bigdata #optimization #computationalefficiency #propertytesting

David Wynn

@ftwynn.bsky.social

1 year ago

Diagram showing Idempotency

#PropertyTesting Pattern: Some things never change

Examples:

- Adding the same permissions to a user
- Removing a user from a group
- Changing a user preference

David Wynn

@ftwynn.bsky.social

1 year ago

Diagram showing that applying the inverse of a function gives you the original.

#PropertyTesting Pattern: There and back again

Examples:

- Serializing and deserializing
- Toggling preferences / settings
- Writing and deleting an object from storage
- Adding and removing a fixed value from a Number

David Wynn

@ftwynn.bsky.social

1 year ago

#PropertyTesting Pattern: Different paths, same destination

If order truly doesn't matter, you should confirm that. Notable examples:

- Adding items in a cart (esp w/ & w/o sales)
- Changing user permissions
- Adding data sources

David Wynn

@ftwynn.bsky.social

1 year ago

Choosing properties for property-based testing Or, I want to use PBT, but I can never think of any properties to use

If you're looking at putting #propertytesting into practice and drawing a blank once you open VSCode, this is the best article for direct help.

https://buff.ly/4b6cPSv

I'll dive deeper into it over the week, because the patterns apply to services instead of just functions.

#testing