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 条
  • [41] XML schema re-engineering using a conceptual schema approach
    Yuliana, OY
    Chittayasothorn, S
    [J]. ITCC 2005: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, 2005, : 255 - 260
  • [42] Visualization of XML Conceptual Schema Recovered from XML Schema Definition
    Fong, Joseph
    Cheung, San Kuen
    Shiu, Herbert
    Cheung, Chi Chung
    [J]. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2005, 1 (04) : 209 - +
  • [43] Automated Testing of Web Applications with TESTAR Lessons Learned Testing the Odoo Tool
    Almenar, Francisco
    Esparcia-Alcazar, Anna I.
    Martinez, Mirella
    Rueda, Urko
    [J]. SEARCH BASED SOFTWARE ENGINEERING, SSBSE 2016, 2016, 9962 : 218 - 223
  • [44] Get and the grasp schema A new approach to conceptual modelling in image schema semantics
    Chilton, Paul
    [J]. NEW DIRECTIONS IN COGNITIVE LINGUISTICS, 2009, 24 : 331 - 370
  • [45] THE PLURALITY SCHEMA AS A METAPHILOSOPHICAL TOOL
    SABRE, RM
    [J]. METAPHILOSOPHY, 1991, 22 (1-2) : 76 - 83
  • [46] A PRACTICAL PROCEDURE FOR CONCEPTUAL DESIGN AND TESTING OF MACHINE-TOOL STRUCTURE
    GLAVONJIC, M
    MILACIC, VR
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1988, 4 (3-4) : 317 - 333
  • [47] Design and implementation of an automated testing tool for GUI based on SWTBot
    Shan, Chun
    Yu, Zequn
    Jin, Yifei
    Ma, Rui
    Xue, Jingfeng
    Jin, Yifei
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING AND INDUSTRIAL INFORMATICS, 2015, 15 : 623 - 628
  • [48] ADLscope: an automated specification-based unit testing tool
    Chang, J
    Richardson, DJ
    [J]. 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
  • [49] An Automated Black Box Testing Tool for a Parallel Programming Library
    Tan, Roy Patrick
    Nagpal, Pooja
    Miller, Shaun
    [J]. SECOND INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION, PROCEEDINGS, 2009, : 307 - 316
  • [50] Development and testing of an Automated Building Commissioning Analysis Tool (ABCAT)
    Bynum, John D.
    Claridge, David E.
    Curtin, Jonathan M.
    [J]. ENERGY AND BUILDINGS, 2012, 55 : 607 - 617
12345