Reputation
Top tag
Next privilege 150 Rep.
Create new tags
Badges
4
Newest
 Teacher
Impact
~35 people reached

  • 0 posts edited
  • 0 helpful flags
  • 142 votes cast
Mar
28
answered Tools for mobile web services, rest api testing
Mar
23
answered Is there an industry standard definition for the code review activity?
Mar
23
answered QA/testing training and practice
Mar
23
answered Good example codebase (opensource project) for learning integration testing?
Mar
18
comment How can developers be assured that their software is fault free?
@PeterMasiar the computers Dijkstra was working with were many orders of magnitude less complex than the systems that exist today. Of course you can trivially prove a program correct if it's small enough and if its specification is small enough. But there is no general way to prove that any program is correct, again because there is no general way to prove that the specification is correct. Not that I'm calling Dijkstra's work trivial, but what was exciting to awards committees 40 years ago doesn't have any relevance to modern software engineering.
Mar
17
comment How can developers be assured that their software is fault free?
While you can use formal verification to prove that the program conforms to the specification, you cannot prove by any formal method that the specification does not contain any errors. You can prove conformance but you cannot prove correctness.
Mar
17
comment How can developers be assured that their software is fault free?
@PeterMasiar If you define bug as not-meeting-the-specification, then you can with great effort prove that there are no areas where the program doesn't conform to the specification. What you can not do is prove that the specification itself does not contain any errors. This is an epistemological constraint, not a technical one. The observation that this is the case goes back to (at least) Wittgenstein's Philosophical Investigations, published in 1953.
Feb
17
awarded  Teacher
Feb
17
answered Standard for accessiblity testing
Nov
30
awarded  Suffrage
Nov
30
comment Is it realistic to try to hire someone who is a developer and a tester?
+1 for giving all testers a Software Engineer title. I did this whenever I hired a tester for Etsy, and never had cause to regret.
Nov
18
awarded  Supporter
Aug
24
awarded  Autobiographer