TY - GEN
T1 - Future of developer testing
T2 - FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
AU - Xie, Tao
AU - Tillmann, Nikolai
AU - De Halleux, Jonathan
AU - Schulte, Wolfram
PY - 2010/12/1
Y1 - 2010/12/1
N2 - Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various types of testing, developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testing has been widely recognized as an important and valuable means of improving software reliability, partly due to its capabilities of exposing faults early in the development life cycle. In this position paper, we present our positions on future directions of developer testing along four dimensions (which of course we do not claim to be complete): correctness confidence, specifications, (dis)integration testing, and human factors. Our positions are originated from two recent promising technologies in developer testing: parameterized unit testing and dynamic symbolic execution, also called concolic testing.
AB - Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various types of testing, developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testing has been widely recognized as an important and valuable means of improving software reliability, partly due to its capabilities of exposing faults early in the development life cycle. In this position paper, we present our positions on future directions of developer testing along four dimensions (which of course we do not claim to be complete): correctness confidence, specifications, (dis)integration testing, and human factors. Our positions are originated from two recent promising technologies in developer testing: parameterized unit testing and dynamic symbolic execution, also called concolic testing.
KW - Developer testing
KW - Human factors
KW - Software testing
KW - Specifications
UR - http://www.scopus.com/inward/record.url?scp=79951645594&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79951645594&partnerID=8YFLogxK
U2 - 10.1145/1882362.1882447
DO - 10.1145/1882362.1882447
M3 - Conference contribution
AN - SCOPUS:79951645594
SN - 9781450304276
T3 - Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
SP - 415
EP - 419
BT - Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
Y2 - 7 November 2010 through 11 November 2010
ER -