Cited By
View all- Barr EHarman MMcMinn PShahbaz MShin Yoo (2015)The Oracle Problem in Software Testing: A SurveyIEEE Transactions on Software Engineering10.1109/TSE.2014.237278541:5(507-525)Online publication date: 1-May-2015
Automated support for testing and debugging of real-time programs using oracles
Pages 45 - 46
Abstract
No abstract available.
References
[1]
{ACD98} G. Avrunin, J. Corbett, and L. Dillon. Analyzing partially-implemented real-time systems. IEEE Trans. Soft. Eng., 24(8):602-614, Aug. 1998.
[2]
{Bar99} F. Barez. A case study in using temporal oracles for testing an interactive distributed application. MS thesis, Dept. Comp. Sci. & Eng., Michigan State University, East Lansing, MI 48824, May 1999.
[3]
{DAC99} M. Dwyer, G. Avrunin, and J. Corbett. Patterns in property specifications for finite-state verification. In Proc. 21st IEEE Intl. Conf. Soft. Eng., pp. 411-421, Los Angeles, May 1999.
[4]
{DR96} L. Dillon and Y. Ramakrishna. Generating oracles from your favorite temporal specifications. In Proc. 1996 Symp. Found. Soft. Eng., pp. 106-117, San Francisco, Oct. 1996.
[5]
{KDC99} D. Keyes, L. Dillon, and M. Chung. Analysis of a scheduler for a CAD framework. In Proc. 21st IEEE Intl. Conf. Soft. Eng., pp. 152-162, Los Angeles, May 1999.
[6]
{MDR97} H. McGuire, L. Dillon, and Y. Ramakrishna. Generating trace checkers for test oracles. In Proc. Intl. Quality Week, pp. 3-T-2, San Francisco, May 1997. Software Research Institute.
[7]
{ORD96} T. O'Malley, D. Richardson, and L. Dillon. Efficient specification-based oracles for critical systems. In W. Scacchi and R. Taylor, eds., Proc. 1996 California Systems Symp., pp. 50-59, Los Angeles, CA, April 1996.
Index Terms
- Automated support for testing and debugging of real-time programs using oracles
Recommendations
Replay Debugging of Real-Time Vxworks Applications
COMPSAC '15: Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 03Debugging multi-task real-time VxWorks applications is tedious and time-consuming for developers. The non-determinism within the application execution makes the developers hard to reproduce a failure.1As a result, the developers cannot perform cyclic ...
Automatic system testing of programs without test oracles
ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysisMetamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is difficult or impossible to know what the correct output should be for ...
Automated generation of test oracles using a model-driven approach
Context: Software development time has been reduced with new development tools and paradigms, testing must accompany these changes. In order to release software products in a timely manner as well as to minimise the impact of possible errors introduced ...
Comments
Information & Contributors
Information
Published In
Copyright © 2000 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 2000
Published in SIGSOFT Volume 25, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 206Total Downloads
- Downloads (Last 12 months)16
- Downloads (Last 6 weeks)1
Reflects downloads up to 10 Aug 2024
Other Metrics
Citations
Cited By
View all- Barr EHarman MMcMinn PShahbaz MShin Yoo (2015)The Oracle Problem in Software Testing: A SurveyIEEE Transactions on Software Engineering10.1109/TSE.2014.237278541:5(507-525)Online publication date: 1-May-2015
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in