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 条
  • [21] Adderall in children with ADHD: Time-response and dose-response effects
    Swanson, J
    Wigal, S
    Greenhill, L
    Browne, R
    Waslick, B
    Lerner, M
    Williams, L
    Flynn, D
    Agler, D
    Crowley, K
    Baren, M
    Cantwell, D
    PSYCHOPHARMACOLOGY BULLETIN, 1997, 33 (03) : 592 - 592
  • [22] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
  • [23] CARRIER DIFFUSION EFFECTS IN THE TIME-RESPONSE OF A FAST PHOTODIODE
    RIPAMONTI, G
    COVA, S
    SOLID-STATE ELECTRONICS, 1985, 28 (09) : 925 - 931
  • [24] Time-response curve of oxfendazole in the treatment of swine cysticercosis
    Gonzalez, AE
    Falcon, N
    Gavidia, C
    Garcia, HH
    Tsang, VCW
    Bernal, T
    Romero, M
    Gilman, RH
    AMERICAN JOURNAL OF TROPICAL MEDICINE AND HYGIENE, 1998, 59 (05): : 832 - 836
  • [25] Instrument Voltage Transformer Time-Response to Fast Impulse
    Lamedica, R.
    Pompili, M.
    Cauzillo, B. A.
    Sangiovanni, S.
    Calcara, L.
    Ruvio, A.
    PROCEEDINGS OF 2016 17TH INTERNATIONAL CONFERENCE ON HARMONICS AND QUALITY OF POWER (ICHQP), 2016, : 400 - 405
  • [26] USE OF TIME-RESPONSE RELATIONSHIPS IN ASSESSING PHARMACOLOGICAL ACTIVITY
    BRITTAIN, RT
    SPENCER, PSJ
    JOURNAL OF PHARMACY AND PHARMACOLOGY, 1965, 17 (06) : 389 - &
  • [27] Phototransferred thermoluminescence of BeO: Time-response profiles and mechanisms
    Chithambo, M.L.
    Kalita, J.M.
    Journal of Applied Physics, 2021, 130 (19):
  • [28] MCMC INFERENCE OF THE SHAPE AND VARIABILITY OF TIME-RESPONSE SIGNALS
    Katz-Rogozhnikov, Dmitriy A.
    Varshney, Kush R.
    Mojsilovic, Aleksandra
    Singh, Moninder
    2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, 2011, : 3956 - 3959
  • [29] TIME-RESPONSE CURVES IN EVALUATION OF CLINICAL EFFICACY OF DRUGS
    JANKU, I
    ELIS, J
    RASKOVA, H
    EUROPEAN JOURNAL OF CLINICAL PHARMACOLOGY, 1971, 3 (04) : 194 - &
  • [30] Phototransferred thermoluminescence of BeO: Time-response profiles and mechanisms
    Chithambo, M. L.
    Kalita, J. M.
    JOURNAL OF APPLIED PHYSICS, 2021, 130 (19)
12345