An experimental evaluation of specification techniques for improving functional testing

Journal of Systems and Software

Volumn 32, Issue 1, 1996, Pages 83-95

  Mills, Kevin L ^a,b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ENGINEERS; NATURAL LANGUAGE PROCESSING SYSTEMS; PERFORMANCE; SPECIFICATIONS; STATISTICAL TESTS;

FUNCTIONAL TESTING; REAL TIME STRUCTURED ANALYSIS; SOFTWARE SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 0029734874     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(95)00042-9     Document Type: Article

References (17)

1. Bailin, S. C., An Object-Oriented Requirements Specification Method, Commun. ACM 32, 608-623 (1989).
2. Basili, V., Selby, R. W., and Hutchens, D. H., Experimentation in Software Engineering, IEEE Trans. Software Eng. SE-12, 733-743 (1986).
3. Curtis, B., Sheppard, S. B., Kruesi-Bailey, E., Bailey, J., and Boehm-Davis, D. A., Experimental Evaluation of Software Documentation Formats, J. Syst. Software 9, 167-207 (1989).
4. Diller, A., Z: An Introduction To Formal Methods, John Wiley & Sons, Chichester, U.K., 1990.
5. Gomaa, H., Software Design Methods for Concurrent and Real-Time Systems, Addison-Wesley, Reading, Massachusetts, 1993.
6. Harel, D., Pnueli, A., Schmidt, J. P., and Sherman, R., On the Formal Semantics of State-Charts, IEEE Press, 1987, pp. 54-64.
7. Harel, D., et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Software Eng. 16, 403-413 (1990).
8. Heninger, K. L., Specifying Software Requirements for Complex Systems: New Techniques and Their Application, IEEE Trans. Software Eng. SE-6, 2-13 (1980).
9. International Standards Organization, LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behavior, ISO DIS 8807, International Standards Organization, 1987.
10. International Standards Organization, Estelle Tutorial, ISO 9074:1989/Amendment 1 Annex D, International Standards Organization, 1989.
11. Kelly, J. P. J., and Murphy, S. C., Achieving Dependability Throughout the Development Process: A Distributed Software Experiment, IEEE Trans. Software Eng. 16, 153-165 (1990).
12. Lee, S., and Sluzier, S., An Executable Language For Modeling Simple Behavior, IEEE Trans. Software Eng. 17, 527-543 (1991).
13. Mills, K. L., Experiment Notebook For an Inft 821 Functional Testing Experiment Involving An Automated Cruise Control System, 1993, author's personal manuscript, (unpublished).
14. National Aeronautics and Space Administration, C Language Integrated Production System (CLIPS) Version 6.0 Reference Manual, Volume I: Basic Programming Guide, National Aeronautics and Space Administration, 1993.
15. Spurr, W. A., and Bonini, C. P., Statistical Analysis For Business Decisions, Richard D. Irwin, Homewood, Illinois, 1973.
16. Ward, P. T., and Mellor, S. J., Structured Development for Real-Time Systems, Yourdon Press, New York, 1985-1986.
17. Zave, P., and Schell, W., Salient Features of an Executable Specification Language and its Environment, IEEE Trans. Software Eng. SE-12, 312-325 (1986).