-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathtest.js
367 lines (367 loc) · 12.5 KB
/
test.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
"use strict";
// Preliminaries
// * Unit tests
// * All tests in this file pass.
describe('sample unit tests', function () {
var x;
var y;
beforeEach(function () {
x = 3;
y = 4;
});
it('adds two numbers', function () {
expect(x + y).toBe(7);
});
it('adds a different number', function () {
x = 12;
expect(x + y).toBe(16);
});
// Some unexpected behavior!!!
it('adding a string', function () {
x = "3";
y = 4;
expect(x + y).toBe("34");
});
it('adding NaN', function () {
x = Number.NaN;
y = 4;
expect(isNaN(x + y)).toBe(true);
});
it('adding an object', function () {
x = { name: 'Bill' };
y = 4;
expect(x + y).toBe('[object Object]4');
});
});
// QUESTION: How many are writing unit tests?
// Requirement 1: returns the same value when called with identical arguments.
//
// Lie 1: has different return values, depending on values of x and y.
describe("div with global variables.", function () {
var x;
var y;
var div = function () {
return x / y;
};
beforeEach(function () {
x = 3;
y = 4;
});
// Hey, it works!!!
it('divides x by y', function () {
expect(div()).toBe(0.75);
});
// No, not really
it('divides x by y again', function () {
expect(div()).toBe(0.75);
y = 10;
expect(div()).toBe(0.3); // not the same anymore
});
});
// Hint: uses global variables
// Hint: tests; beforeEach
// Try encapsulation
describe("div as member function; accessing object properties", function () {
var Div = function () {
this.x = 3;
this.y = 4;
this.div = function () { return this.x / this.y; };
};
it('divides x by y', function () {
var d = new Div();
expect(d.div()).toBe(0.75);
});
});
// Hint: Div is a constructor
// Hint: uses class members
// Hint: what is "this"?
// Next approach: make a Typescript Class, class method
describe("TS: class method div, with instance variables.", function () {
var Div = (function () {
function Div() {
this.x = 3;
this.y = 4;
}
Div.prototype.div = function () { return this.x / this.y; };
return Div;
}());
;
it('divides x by y', function () {
var d = new Div();
expect(d.div()).toBe(0.75);
});
});
// Hint: same problem as above, except for "this"
// Requirement 1: returns the same value when called with identical arguments.
// Solution: Pure function
// -- Depends only on passed in parameters.
// -- Does not modify passed in parameters
// -- No side effects
// -- Must return a value (why?)
describe("div as a pure function", function () {
function div(x, y) {
return x / y;
}
it('divides x by y', function () {
expect(div(3, 4)).toBe(0.75);
});
});
// QUESTION: Are you writing pure functions?
// Requirement 2: Enforces arguments to meet type requirements.
// Lie 2a: div can take any arguments, of any type, you pass it.
describe("div does not restrict parameters based on type", function () {
function div(x, y) {
return x / y;
}
it('divides x by y', function () {
expect(div(3, 4)).toBe(0.75);
});
});
// Hint: what kind of arguments can I pass into div?
// Hint -- how would you restrict types?
describe("div with parameter type checking", function () {
function div(x, y) {
if (arguments.length != 2)
throw "pass two arguments";
if (x === null || y === null)
throw "arguments should not be null";
if (isNaN(x) || isNaN(y))
throw "arguments should be numbers";
return x / y;
}
it('divides x by y', function () {
expect(div(3, 4)).toBe(0.75);
});
it('throws on incorrect number of arguments', function () {
expect(function () { div(2); }).toThrow();
});
it('throws on null', function () {
expect(function () { div(null, null); }).toThrow();
});
it('throws on bad arguments', function () {
expect(function () { div('a', 'b'); }).toThrow();
});
});
// Hint: separation of concerns. How much code is concerned with type checks and how much is business logic?
// Requirement 2: Enforces arguments to meet type requirements.
// Solution:
// -- Use typescript to do type checking.
describe("div as a pure function", function () {
function div(x, y) {
return x / y;
}
it('divides x by y', function () {
expect(div(3, 4)).toBe(0.75);
});
});
// Done!!! -- well, maybe not.
// Requirement 2: Enforces arguments to meet problem domain requirements.
// Lie 2b -- div allows you to pass any number. But lots of things are not really allowed. Div by zero.
// Solution:
// Avoid "primitive obsession"
// Ensure that parameters meet problem domain requirements
// Domain:
// -- numerator and denominator are actual numbers
// -- denominator is not zero
// -- result can be represented as a javascript number
describe("div when y is zero (primitive obsession)", function () {
function div(x, y) {
return x / y;
}
it('divides x by y', function () {
expect(div(3, 0)).toBe(Number.POSITIVE_INFINITY);
});
});
// Here I was surprised. In C# you get an exception;
// in javascript you get Number.POSTIVE_INFINITY
// But same as NaN poisoning
var NonZeroNumber = (function () {
function NonZeroNumber(n) {
this.n = n;
if (n === null || n === undefined || isNaN(n))
throw ("Cannot construct NonZeroNumber with non numeric value");
if (n === 0)
throw ("Cannot construct NonZeroNumber with value 0");
this._num = n;
}
Object.defineProperty(NonZeroNumber.prototype, "num", {
get: function () { return this._num; },
enumerable: true,
configurable: true
});
return NonZeroNumber;
}());
describe('Verify functionality of NonZeroNumber class', function () {
it('can construct a NonZeroNumber with acceptable value', function () {
expect((new NonZeroNumber(5)).num).toBe(5);
});
it('cannot construct a NonZeroNumber with value 0', function () {
expect(function () { new NonZeroNumber(0); }).toThrow();
});
it('cannot take a null', function () {
expect(function () { new NonZeroNumber(null); }).toThrow();
});
it('cannot take undefined', function () {
expect(function () { new NonZeroNumber(undefined); }).toThrow();
});
it('cannot take Nan', function () {
expect(function () { new NonZeroNumber(NaN); }).toThrow();
});
// Does not compile
//it('cannot take a non-number argument', function() {
// expect((new NonZeroNumber('5')).num).toBe(5);
//})
//it('cannot take a non-number argument', function() {
// expect((new NonZeroNumber([5])).num).toBe(5);
//})
});
describe("div with a NonZeroNumber argument", function () {
function div(x, y) {
return x / y.num;
}
it('takes a correctly defined argument', function () {
expect(div(3, new NonZeroNumber(4))).toBe(0.75);
});
// Now y can be null. We will deal with null later.
//it('still allows null for second argument', function() {
// expect(div(3,null)).toBe(0.75);
//})
// Cannot call div anymore with a simple number as denominator. Does not compile.
// it('cannot take a non-NonZeroNumber argument', function() {
// expect(div(3,4)).toBe(0.75);
// })
});
// Hint: Typscript does not have a built-in runtime null check
// Talking point: person record with no email address
// Fix Primitive obsession for first argument.
var RealNumber = (function () {
function RealNumber(n) {
this.n = n;
if (n === null || n === undefined || isNaN(n))
throw ("Cannot construct NonZeroNumber with non numeric value");
this._num = n;
}
Object.defineProperty(RealNumber.prototype, "num", {
get: function () { return this._num; },
enumerable: true,
configurable: true
});
return RealNumber;
}());
describe("requires a first argument that is a real number", function () {
function div(x, y) {
return x.num / y.num;
}
it('Computes a correct value', function () {
expect(div(new RealNumber(3), new NonZeroNumber(4))).toBe(0.75);
});
});
// QUESTION: Are you doing parameter testing? Can you move that to a separate object?
// QUESTION: Does your method have a domain?
// Requirement 3: Always returns a useful value.
// Lie 3: all combinations of input parameters produce a useful output
// What about your code?
// div's lies:
// -- div returns the EXACT result of dividing x by y
// -- finite representation of mantissa
// -- range of numeric representation
// These are hard to fix.
describe("div range examples", function () {
function div(x, y) {
return x.num / y.num;
}
it('Does not exactly represent 1/3', function () {
expect(div(new RealNumber(1), new NonZeroNumber(3))).toBe(0.3333333333333333);
});
it('Does not exactly represent large values', function () {
expect(div(new RealNumber(10000000000000001), new NonZeroNumber(1000))).toBe(10000000000000);
});
it('Can produce a number larger than can be represented by "number"', function () {
expect(div(new RealNumber(Number.MAX_VALUE), new NonZeroNumber(0.1))).toBe(Number.POSITIVE_INFINITY);
});
it('Numbers smaller than minimum are set to 0', function () {
var num = 0.0000000000000001;
expect(num).not.toBe(0);
expect(div(new RealNumber(num), new NonZeroNumber(Number.MAX_VALUE))).toBe(0);
});
});
// Requirement 4: does not throw an exception
// Lie: throws an exception
describe("throws in certain cases", function () {
function div(x, y) {
if (x === null || y === null)
throw "must pass non-null arguments";
if (x.num > 200)
throw "x is too big";
return x.num / y.num;
}
it('throws if x or y is null', function () {
expect(function () {
div(null, null);
}).toThrow();
});
});
// Solution 1: (Elm): return value is object with success/failure
describe("Don't throw; return an object with success/failure indication", function () {
var DivResult = (function () {
function DivResult() {
}
return DivResult;
}());
function div(x, y) {
var result = new DivResult();
try {
if (x === null || y === null)
throw "must pass non-null arguments";
if (x.num > 200)
throw "x is too big";
result.Ok = x.num / y.num;
}
catch (e) {
result.Error = e;
}
finally {
return result;
}
}
it('returns an error state for a null argument', function () {
expect(div(null, new NonZeroNumber(0.1)).Error).toBe('must pass non-null arguments');
});
it('returns an error state for a number larger than can be represented by "number"', function () {
expect(div(new RealNumber(Number.MAX_VALUE), new NonZeroNumber(0.1)).Error).toBe('x is too big');
});
it('Returns a Ok result for normal calculations', function () {
expect(div(new RealNumber(10), new NonZeroNumber(2)).Ok).toBe(5);
});
});
// Hint: function returns a Result object. User can choose to not check for Error, but that's a user issue. Good for sync code
// Solution 2: Promises (success/failure callbacks)
describe("Return a promise", function () {
function div(x, y) {
var p = new Promise(function (resolve, reject) {
try {
if (x === null || y === null)
throw "must pass non-null arguments";
if (x.num > 200)
throw "x is too big";
resolve(x.num / y.num);
}
catch (e) {
reject(e);
}
});
return p;
}
it('rejects the promise when producing a number larger than can be represented by "number"', function () {
var p = div(new RealNumber(Number.MAX_VALUE), new NonZeroNumber(0.1));
p.then(function () { fail('should fail, but didnt'); });
p.catch(function (msg) { expect(msg).toBe('x is too big'); });
});
it('resolves the promise for normal calculations', function () {
var p = div(new RealNumber(10), new NonZeroNumber(2));
p.then(function (n) { expect(n).toBe(5); });
p.catch(function () { fail('should not have failed, but did'); });
});
});
// Hint: good for async code
//# sourceMappingURL=test.js.map