Back to proposals-2013
Title: Logic Programming and Test Data Generation
Proposer: brian_marick
Type: Listecture
Duration: 45 minutes
Description:
Primum: logic programming computes values for variables based on relationships between known facts. In the main, introductions to it are either based on logic puzzles (cannibals and boats!) with an at best unclear relationship to the problems we write programs to solve, or on laboriously reimplementing things (arithmetic!) that we can already do perfectly well, thank you very much.
Secundum: generating complex test data is a hard problem, in part because constraints (relationships) amongst bits of the data have to be obeyed. The sadly common result is fragile tests that know too much about the details of their data.
Ergo: I will explain logic programming by showing how it can be used to generate test data from minimal descriptions of what's needed.
Jon: Brian notes - I'll giving this talk at Software Craftsmanship North America in three days, so it will be a tested talk. I'm motivated to give this talk because my keynote won't be about the nitty-gritty of programming, so I feel the need to talk about code.
Roger: Yes
Ewan: YES. If Brian wants to talk about code, let's let him!
2013:logic_programming_and_test_data_generation
2013/logic_programming_and_test_data_generation.txt · Last modified: 2016/06/11 14:05 by 127.0.0.1