Metric framework for object-oriented real-time systems specification languages

被引:12
|
作者
Nesi, P [1 ]
Campanai, M [1 ]
机构
[1] CESVIT,CQ WARE,CTR SOFTWARE QUAL,FLORENCE,ITALY
关键词
D O I
10.1016/0164-1212(95)00064-X
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In this paper, a framework for maintaining control of and analyzing object-oriented system specifications of real-time systems by using a set of metrics covering technical, cognitive, and process-oriented views is presented. The indicators defined can be used for monitoring the evolution of system quality and for effort prediction. The use of metrics for the estimation of reusability, verifiability, and testability is analyzed. The metric framework is integrated in a CASE tool named TOOMS, which is based on TROL, a dual object-oriented language with both descriptive and operational capabilities. TOOMS allows one to describe the system at different levels of structural abstractions and at different levels of specification detail, such as many other languages and models for teal-time systems (e.g., OSDL, ObjectTime, ObjectChart). According to this, the metrics proposed are capable of producing estimations at each level of system specification, thus allowing incremental specification/metrication. The metric framework must be regarded as a support for controlling the process of software development in order to guarantee the final quality.
引用
收藏
页码:43 / 65
页数:23
相关论文
共 50 条
  • [1] Object-oriented specification and design of embedded hard real-time systems
    Nebel, W
    Oppenheimer, F
    Schumacher, G
    Kabous, L
    Radetzki, M
    Putzke-Röming, W
    [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 285 - 296
  • [2] Adding real-time filters to object-oriented specification of time critical systems
    Periyasamy, K
    Alagar, VS
    [J]. 2ND IEEE WORKSHOP ON INDUSTRIAL STRENGTH FORMAL SPECIFICATION TECHNIQUES - PROCEEDINGS, 1999, : 28 - 39
  • [3] An Object-Oriented Application Framework for the Development of Real-Time Systems
    Fiamberti, Francesco
    Micucci, Daniela
    Tisato, Francesco
    [J]. OBJECTS, MODELS, COMPONENTS, PATTERNS, TOOLS 2012, 2012, 7304 : 75 - 90
  • [4] SESAG: an object-oriented application framework for real-time systems
    Hsiung, PA
    Lee, TY
    Fu, JM
    See, WB
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2005, 35 (10): : 899 - 921
  • [5] Bunches for object-oriented, concurrent, and real-time specification
    Paige, RF
    Hehner, ECR
    [J]. FM'99-FORMAL METHODS, 1999, 1708 : 530 - 550
  • [6] LANGUAGE ASPECTS OF ENVISAGER - AN OBJECT-ORIENTED ENVIRONMENT FOR THE SPECIFICATION OF REAL-TIME SYSTEMS
    DIAZGONZALEZ, JP
    URBAN, JE
    [J]. COMPUTER LANGUAGES, 1991, 16 (01): : 19 - 37
  • [7] VERTAF: An object-oriented application framework for embedded real-time systems
    Hsiung, PA
    Lee, TY
    See, WB
    Fu, JM
    Chen, SJ
    [J]. ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 322 - 329
  • [8] REAL-TIME OBJECT-ORIENTED PROGRAMMING SYSTEMS
    BARRY, BM
    [J]. COMPUTER DESIGN, 1992, 31 (09): : 105 - 105
  • [9] An object-oriented language for real-time systems
    Pons, A.P.
    [J]. International Journal of Computers and Applications, 2004, 26 (01) : 31 - 37
  • [10] A framework for real-time object-oriented database models
    Taina, J
    Son, SH
    [J]. THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 146 - 152