Test scenario generation from a structured requirements specification

Proceedings - ECBS 1999, IEEE Conference and Workshop on Engineering of Computer-Based Systems

Volumn , Issue , 1999, Pages 166-172

  Cunning, S J ^a   Rozenbiit, J W ^a  

^a University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; REAL TIME SYSTEMS;

LANGUAGE CONSTRUCTS; ORIENTED SYSTEMS; REAL-TIME EMBEDDED SYSTEMS; REQUIREMENTS SPECIFICATIONS; SCENARIO GENERATION; STATE OF PRACTICE; TEST SCENARIO;

EMBEDDED SYSTEMS;

EID: 84949007898     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.1999.755876     Document Type: Conference Paper

References (22)

1. Frinke, D., Wolber, D., Fisher, G., Cohen, G., "Requirements Specification Language (RSL) and Supporting Tools," NASA Contractor Report 189700, July 1992
2. Levene, A., Mullery, G., "An Investigation of Requirement Specification Languages: Theory and Practice," IEEE Computer 15, pp. 50-59, May 1982
3. Davis, A., "The Design of a Family of Application-Oriented Requirements Languages," IEEE Computer 15, pp. 21-28, May 1982
4. Demetrovics, J., Knuth, E., Rado, P., "Specification Meta Systems," IEEE Computer 15, pp. 29-35, May 1982
5. Heitmeyer, C., Kirby, J., Labaw, B., "The SCR Method for Formally Specifying, Verifying and Validating Requirements: Tool Support," Proceedings of the 1997 International Conference on Software Engineering, pp. 610-11, Boston, May 1997
6. Awad, M., Kuusela, J., Ziegler, J., "Object-Oriented Techniques for Real-Time Systems: A Practical Approach Using OMT and Fusion," Prentice Hall, 1996
7. Potts, C., Takahashi, K., Anton, A., "Inquiry-Based Requirements Analysis," IEEE Software, 11, pp. 21-32, March 1994
8. Hsia, P., Samual, J., Gao, J., Kun, D., Toyoshima, Y., Chen, C., "Formal Approach to Scenario Analysis," IEEE Software, 11, pp. 33-41, March 1994
9. Miller, T., Taylor, B., "A Requirements Methodology for Complex Real-Time Systems," Proceedings of the International Symposium on Current Issues of Requirements Engineering Environments, pp. 133-141, Kyoto, Japan, September 20-21, 1982
10. Lovengreen, H., Ravn, A., Rischel, H., "Design of Embedded Real-Time Ssytems: Developing a Method for Practical Software Engineering," Proceedings of the IEEE International Conference on Computer Systems and Software Engineering, pp. 385-90, 1990
11. White, S., "Comparative Analysis of Embedded Computer System Requirements Methods," Proceedings of the First International Conference on Requirements Engineering, pp. 126-34, 1994
12. Hsia, P., Davis, A., Kung, D., "Status Report: Requirements Engineering," IEEE Software, 10, pp. 75-79, November 1993
13. Davis, A., Hsia, P., "Giving Voice to Requirements Engineering," IEEE Software, 11, pp. 12-16, March 1994
14. Goldsack, S., Finkelstein, A., "Requirements Engineering for Real-Time Systems," software Engineering Journal, 6(3), pp. 101-15, May 1991
15. Rozenblit, J.W., and Buchenrieder, K., (Eds), Codesign: Computer-Aided Software/Hardware Engineering, IEEE Press, 1994
16. Schulz, S., Rozenblit, J.W., Mrva, M., and Buchenrieder, K., "Model-Based Codesign," IEEE Computer, 31(8), 1998
17. Rozenblit, J.W., "Experimental Frame Specification Methodology for Hierarchical Simulation Modeling," International Journal of General Systems, 19(3), pp. 317-336, 1991
18. Bauer, J., Finger, A., "Test Plan Generation Using Formal Grammars," Proceedings of the Fourth International conference on Software Engineering, pp. 425-432, Los Alamitos, California, September, 1979
19. Chandrasekharan, M., Dasarathy, B., Kishimoto, Z., "Requirements-Based Testing of Real-Time Systems: Modeling for Testability," IEEE Computer 18, pp. 71-80, May 1985
20. Harel, D., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, 16(4), pp. 403-14, 1990
21. Zeigler, B.P., Multifaceted Modeling and Discrete Event Simulation, Academic Press, London; Orlando, 1984
22. Quality Software &Systems Ltd., Oxford Science Park, Oxford, UK. DOORS Reference Manual (V3.0), 1996