The CSTL Processor: A Tool for Automated Conceptual Schema Testing

被引：0
|
作者：
Tort, Albert [1 ]
Olive, Antoni [1 ]
Sancho, Maria-Ribera [1 ]
机构：
[1] Univ Politecn Cataluna, Barcelona Tech, E-08028 Barcelona, Spain
来源：
ADVANCES IN CONCEPTUAL MODELING: RECENT DEVELOPMENTS AND NEW DIRECTIONS | 2011年 / 6999卷
关键词：
Conceptual modeling; Validation; Quality; Automated testing; UML/OCL;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this demonstration paper, we present the CSTL Processor, a tool to support the validation of two fundamental quality properties of conceptual schemas (correctness and completeness) by testing. The CSTL Processor supports the management, execution and automatic computation of the verdicts of test cases which formalize stakeholders' needs and expectations.
引用
收藏
页码：349 / 352
页数：4
相关论文
共 50 条
  • [1] AUTOMATED CONCEPTUAL SCHEMA RESTRUCTURING
    SUNDIN, U
    [J]. PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B12 - B20
  • [2] AUTOMATED VALIDATION OF CONCEPTUAL SCHEMA CONSTRAINTS
    HALPIN, TA
    MCCORMACK, JI
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 593 : 445 - 462
  • [3] AXSM: An Automated Tool for XML Schema Matching
    Joshi, Dhaval
    Patel, S. V.
    [J]. PROCEEDINGS OF INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABLE DEVELOPMENT, ICT4SD 2015, VOL 1, 2016, 408 : 299 - 308
  • [4] Automated Query Formulation Using an Entity-Relationship Conceptual Schema
    Semmel R.D.
    Mayfield J.
    [J]. Journal of Intelligent Information Systems, 1997, 8 (3) : 267 - 290
  • [5] SADAT - AN AUTOMATED TESTING TOOL
    VOGES, U
    GMEINER, L
    AMSCHLERVONMAYRHAUSER, A
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (03) : 286 - 290
  • [6] Automated Testing Tool for Engine Software Testing
    Bhide, Rajashree M.
    Kulkarni, Vaishali S.
    [J]. 2016 INTERNATIONAL CONFERENCE ON AUTOMATIC CONTROL AND DYNAMIC OPTIMIZATION TECHNIQUES (ICACDOT), 2016, : 940 - 942
  • [7] The Conceptual Schema of Ethereum
    Olive, Antoni
    [J]. CONCEPTUAL MODELING, ER 2020, 2020, 12400 : 418 - 428
  • [8] CONCEPTUAL SCHEMA FOR CAD
    ARMITAGE, BS
    HALL, PAV
    [J]. COMPUTER-AIDED DESIGN, 1977, 9 (03) : 194 - 198
  • [9] Conceptual design for non-database experts with an interactive schema tailoring tool
    Navathe, S.B.
    Geum, S.
    Desai, D.K.
    Lam, H.
    [J]. Proceedings of the International Conference on the Entity-Relationship Approach, 1991,
  • [10] MAPPING FROM A CONCEPTUAL SCHEMA TO A TARGET INTERNAL SCHEMA
    FLYNN, DJ
    LAENDER, AHF
    [J]. COMPUTER JOURNAL, 1985, 28 (05): : 508 - 517
12345