Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Favorites infavorites:mine
infavorites:1234
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with Search options answers only user 4767

Verifying the behavior of a software system against the expected behavior of that system.

1
vote
The biggest issue you will face with this scheme is that of versioning - if any of the types in your serialized graph changes (property added/removed/renamed for instance), serialization is likely to …
answered Sep 7 '12 by Oded
2
votes
Mr. Lamport, ... still sees a need for his language. But why? With a formal specification language, you can run a verifier - that proves the design/algorithm mathematically. This is not the same …
answered May 20 '14 by Oded
7
votes
In a nut shell that's true - adding tests and refactoring is what's it all about. But the book gives you many different techniques to do so with code that is very difficult to test and refactor safel …
answered Nov 28 '11 by Oded
21
votes
Test code is still code and also needs to be maintained. If you need to change the copied logic, you need to do that in every place you copied it to, normally. DRY still applies. Wouldn't I the …
answered Mar 18 '12 by Oded
225
votes
, whatever). Other good reasons for CI builds to run tests: Testing on different platforms other than the main development platforms, which may be difficult for a developer to do. (thanks TZHX …
answered Jan 27 '16 by Oded
12
votes
A predicate returns a yes/no answer to a question - that is, a boolean conditional. A branch is what you do depending on the answer (assuming you do different things). So, in c type pseudo code: if …
answered Feb 27 '17 by Oded
5
votes
tests. Seen in this light, the point is to write a test for a non-existing API call or a test for a non-existing API behaviour and then implementing it. As for blackbox/whitebox testing - again, this isn't about testing - it is about design. …
answered Jan 11 '13 by Oded