Test scenario generation from a structured requirements specification

被引:8
作者
Cunning, SJ [1 ]
Rozenblit, JW [1 ]
机构
[1] Univ Arizona, Dept Elect & Comp Engn, Tucson, AZ 85721 USA
来源
ECBS '99, IEEE CONFERENCE AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | 1999年
关键词
D O I
10.1109/ECBS.1999.755876
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A brief overview of the requirements engineering. its history: and state of practice are gir en. A semi-formal method to structure the behavioral requirements for real-time embedded systems is presented. This method is based on a set of forms that contain both informal text-based descriptions and formally defined language constructs. After documentation of requirements into these forms, an algorithm to automatically generate event scenarios is presented. This algorithm extracts the needed information from the requirements forms and produces a set of scenarios that can be used to test transaction oriented systems design example is presented that is used to illustrate the process of converting text based requirements onto the structured requirements form and to illustrate the operation of the scenario generation algorithm.
引用
收藏
页码:166 / 172
页数:7
相关论文
共 22 条
[1]  
[Anonymous], OBJECT ORIENTED TECH
[2]  
Bauer J. A., 1979, Proceedings of the 4th International Conference on Software Engineering, P425
[3]  
CHANDRASEKHARAN M, 1985, IEEE COMPUT, V18, P71
[4]  
DAVIS A, 1982, IEEE COMPUT, V15, P21
[5]   GIVING VOICE TO REQUIREMENTS ENGINEERING [J].
DAVIS, AM ;
HSIA, P .
IEEE SOFTWARE, 1994, 11 (02) :12-16
[6]  
DEMETROVICS J, 1982, IEEE COMPUT, V15, P29
[7]  
FRINKE D, 1992, 189700 NASA
[8]   REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS [J].
GOLDSACK, SJ ;
FINKELSTEIN, ACW .
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (03) :101-115
[9]   STATEMATE - A WORKING ENVIRONMENT FOR THE DEVELOPMENT OF COMPLEX REACTIVE SYSTEMS [J].
HAREL, D ;
LACHOVER, H ;
NAAMAD, A ;
PNUELI, A ;
POLITI, M ;
SHERMAN, R ;
SHTULLTRAURING, A ;
TRAKHTENBROT, M .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (04) :403-414
[10]   The SCR method for formally specifying, verifying, and validating requirements: Tool support [J].
Heitmeyer, C ;
Kirby, J ;
Labaw, B .
PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, :610-611