Ashok Sreenivas
Abstract
We discuss the direct relevance of on-going testing research to the 'users' of the research, namely the industrial practitioners. The current state-of-the-practice in software testing is quite ad-hoc and provides little or no assertions about the quality of the delivered software product. We propose the view that research that is aligned with formal approaches to software development is the best bet to achieve this goal.
- R. M. Poston, Automating specification-based software testing, IEEE Computer Society, 1996. Google Scholar
Digital Library
- J. Chiang, D. J. Richardson, S. Sankar, Structural Specification-based testing using ADL, Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), pp. 62-70, 1996. Google ScholarDigital Library
- D. Carrington, I. MacColl, J. Murray and P. Strooper, From Object-Z specifications to ClassBench test suites", Software Testing, Verification and Reliability, 10(2), pp 111-137, 2000.Google ScholarCross Ref
- Message Sequence Chart (MSC), ITU-T Recommendation, International Telecommunications Union, Number Z.120, November 1999.Google Scholar
- J. Rumbaugh, I. Jacobson, G. Booch, The unified modeling language, Addison-Wesley, 1999. Google ScholarDigital Library
- R. K. Doong, P. G. Frankl, The ASTOOT Approach to Testing Object-Oriented Programs, ACM Transactions on Software Engineering and Methodology, 3(2), pp. 101-130, April 1994. Google ScholarDigital Library
- D. K. Peters, D. L. Parnas, Using Test Oracles generated from Program Documentation, IEEE Transactions on Software Engineering, 24(3), pp. 161-173, March 1998. Google ScholarDigital Library
Index Terms
- Panel discussion: is ISSTA testing research relevant to industrial users?
Recommendations
Panel discussion: is ISSTA testing research relevant to industrial users?
ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysisWe discuss the direct relevance of on-going testing research to the 'users' of the research, namely the industrial practitioners. The current state-of-the-practice in software testing is quite ad-hoc and provides little or no assertions about the ...
Toward the engineering of software (Panel Discussion): Problems of the 1980's
ICSE '78: Proceedings of the 3rd international conference on Software engineeringThis session is a projection of likely developments in software engineering in the 1980's, dealing with both technical and sociopolitical topics. It is based upon a report prepared for the Oregon Report on Computing, held in March, 1978.
The future of ...
Panel discussion: laboratories for a computer security course
The panel members participated in an NSF sponsored faculty development Cybersecurity Workshop [1] held at Indiana University of Pennsylvania in August, 2001. The goal of this workshop was to help address the national shortage of information security ...
Comments