Reputation
1,202
Next privilege 2,000 Rep.
Edit questions and answers
Badges
8 16
Impact
~43k people reached

Aug
17
awarded  Popular Question
Jul
27
comment Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
@gbjbaanb: Good idea. Do you know of some case study where the reduction of faults due to the paradigm switch is measured? I guess it will be difficult to differentiate whether the number of faults is reduced because a different paradigm is used or because BDD is a ubiquitous language...
Jul
20
awarded  Benefactor
Jul
13
comment Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
It is exactly in those fields that I have seen the logic of the implementation replicated into the specification. So the probability that a fault in the implementation is also replicated in the specification and hence not detected is high. Using different constructs, as quantifiers, helps reduce such replication, which is the motivation for my question.
Jul
13
awarded  Promoter
Jul
11
comment Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
Yes, using functional languages for the tests/specification and not for the implementation is a great example of what I'm thinking about. And there are examples of this use, in contract-based runtime verification.I do believe it is better since you can formulate functionality completely differently, avoiding to make the same mistakes in the implementation and in the specification. For tests/specifications that are more general than specification by example, I have often seen the logic from the implementation reimplemented in the tests/specification, which cries for switching the paradigm.
Jul
11
asked Can I avoid more faults if I use different paradigms for the implementation and the specification/tests?
Jun
26
awarded  Yearling
Sep
24
awarded  Autobiographer
Jun
26
awarded  Yearling
Dec
19
awarded  Peer Pressure
Dec
1
awarded  Scholar
Dec
1
comment What's the difference between robustness and fault-tolerance?
awesome answer, thanks a lot!
Dec
1
accepted What's the difference between robustness and fault-tolerance?
Dec
1
awarded  Student
Dec
1
comment What's the difference between robustness and fault-tolerance?
Yes, that was one of the first things I read to find out their meaning. Unfortunately, both describe the same thing on an abstract level, while not refering to the other. That's why I'm asking here.
Dec
1
asked What's the difference between robustness and fault-tolerance?
Aug
30
comment Understanding unit testing for dynamically changing condition
exactly, mssrivatsa. I updated my answer.
Aug
30
revised Understanding unit testing for dynamically changing condition
added 319 characters in body
Aug
30
answered Understanding unit testing for dynamically changing condition