Intro We continue our adventure trying to solve the Diamond Kata while using Property-Based testing. , we added our first test, Non-empty, and discovered how to use input generators. Now let's figure out the next test. Last time First and last line content In the diamond Kata, the first and last line of every diamond always contains A. Such regularity is perfect for a property. Even the particular case with input A, where the first line is also the last one, respects that property. e.g. input: A

A input: E

----A----
---B-B---
--C---C--
-D-----D-
E-------E
-D-----D-
--C---C--
---B-B---
----A---- C# Tests [ ] { (LetterGenerator) })] { Diamond.Generate(c).First().Contains( ).ToProperty();
}

[ ] { (LetterGenerator) })] { Diamond.Generate(c).Last().Contains( ).ToProperty();
} Property(Arbitrary = new[ typeof Property ( ) public FirstLineContainsA c char return 'A' Property(Arbitrary = new[ typeof Property ( ) public LastLineContainsA c char return 'A' Here we used some built-in methods of the .NET library, which makes these tests simple to read and short to write. It almost reads like a sentence. Diamond.Generate(c) Generates the diamondFirst() / Last() Takes the first/last line of the generated diamondContains('A') Checks if the line contains the letter A and returns a boolToProperty() Transforms a boolean expression to a property If you are wondering what's [Property(Arbitrary = new[] { typeof(LetterGenerator) })] it's probably because you missed my previous post Wrapping up We are making some good progress towards a fully functioning test suite. However, there are still some uncovered areas that we'll address with more tests . next time Previously published at https://blog.miguelbernard.com/first-and-last-line-content/

Property-Based Testing: The Diamond Kata, First and Last Line Content

About Author

Comments

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories

Untitled Story

5 Tips to Improve Your Productivity in C# 8.0

100 Pieces of Programming Advice from the Book Clean Code by Robert Martin

10 Ways to Prevent and Manage Technical Debt—Tips from Developers

10 Expert Tips for Improving Code Reviews: A Guide for Developers

10 Coding Hacks to Remember in 2023

5 Tips to Improve Your Productivity in C# 8.0

100 Pieces of Programming Advice from the Book Clean Code by Robert Martin

10 Ways to Prevent and Manage Technical Debt—Tips from Developers

10 Expert Tips for Improving Code Reviews: A Guide for Developers

10 Coding Hacks to Remember in 2023

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps