A Method of Verifying Time-Response Requirements

被引：1
|
作者：
Matsumoto, Yuma [1 ,2 ]
Omori, Takayuki [1 ]
Itoga, Hiroya [1 ,3 ]
Ohnishi, Atsushi [1 ]
机构：
[1] Ritsumeikan Univ, Dept Comp Sci, Kusatsu 5258577, Japan
[2] Panasonic Syst Design Co Ltd, Yokohama, Kanagawa, Japan
[3] RIKEN Ctr Biosyst Dynam Res, Wako, Saitama, Japan
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2018年 / E101D卷 / 07期
基金：
日本学术振兴会;
关键词：
non-functional requirements; NFR; time-response requirements; requirements frame; verification of non-functional requirements; MODELS;
D O I：
10.1587/transinf.2017KBP0010
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we propose a verification method of non-functional requirements specification in terms of time-response requirements written with a natural language. We established a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples.
引用
收藏
页码：1725 / 1732
页数：8
相关论文
共 50 条
  • [1] A Verification Method of Time-response Requirements
    Matsumoto, Yuuma
    Ohnishi, Atsushi
    [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 149 - 156
  • [2] METHOD OF INTERPRETING TIME-RESPONSE CURVES
    JAMES, KC
    NG, CT
    [J]. JOURNAL OF PHARMACY AND PHARMACOLOGY, 1973, 25 : P52 - P56
  • [3] IMPROVED TIME-RESPONSE ALGORITHM FOR THE METHOD OF INEQUALITIES
    INOOKA, H
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 1982, 35 (01) : 127 - 138
  • [4] ON ESTIMATING TIME-RESPONSE CURVES
    ELSTON, RC
    [J]. BIOMETRICS, 1964, 20 (03) : 643 - &
  • [5] Time-response of cardioprotective effect of Danchensu
    Yu, Xin
    Fu, Fenghua
    Fan, Huaying
    Yu, Chen
    Zhu, Mei
    Sun, Fang
    [J]. JOURNAL OF MOLECULAR AND CELLULAR CARDIOLOGY, 2007, 42 : S193 - S193
  • [6] TIME-RESPONSE EXPERIMENTS WITH ANTICOAGULANTS ON RATS
    TAMMES, PML
    LOOSJES, FE
    WIJNEN, R
    [J]. ACTA PHYSIOLOGICA ET PHARMACOLOGICA NEERLANDICA, 1967, 14 (04): : 423 - &
  • [7] Nonlinear time-response optimisation method for tuning power system stabilisers
    Yee, S. K.
    Milanovic, J. V.
    [J]. IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION, 2006, 153 (03) : 269 - 275
  • [8] Measurements of time-response in the ion sheath
    Mita, H
    Ohuchi, M
    Kubota, T
    [J]. REPORT OF RESEARCH CENTER OF ION BEAM TECHNOLOGY HOSEI UNIVERSITY, SUPPLEMENT NO.16, 1997, : 37 - 40
  • [9] The Time-Response Characteristics of Gastrointestinal Motility
    Kirilina, Svetlana I.
    Kusainov, Rinat K.
    Makukha, Vladimir K.
    Mubarakshin, Renat A.
    Poltamtskaya, Elena S.
    Sirota, Galina G.
    [J]. 2016 13TH INTERNATIONAL SCIENTIFIC-TECHNICAL CONFERENCE ON ACTUAL PROBLEMS OF ELECTRONIC INSTRUMENT ENGINEERING (APEIE), VOL 1, 2016, : 434 - 435
  • [10] AUTOMATIC TIME-RESPONSE RECORDS WITH DROSOPHILA
    WHEATLEY, GA
    HARDMAN, JA
    [J]. NATURE, 1960, 185 (4714) : 708 - 709
12345