Constraint modelling using a conceptual prototyping language
Data & Knowledge Engineering
Understanding Quality in Conceptual Modeling
IEEE Software
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
Test Driven Development: By Example
Test Driven Development: By Example
A Development Environment for an Object Specification Language
IEEE Transactions on Knowledge and Data Engineering
Enhancing information systems management with natural language processing techniques
Data & Knowledge Engineering - DKE 40
Using Explanations to Improve the Validation of Executable Models
CAiSE '93 Proceedings of Advanced Information Systems Engineering
Validating Conceptual Models by Transformational Prototyping
CAiSE '93 Proceedings of Advanced Information Systems Engineering
System Test Synthesis from UML Models of Distributed Software
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Proceedings of the 25th International Conference on Software Engineering
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
The AGEDIS tools for model based testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Test-Driven Modeling for Model-Driven Development
IEEE Software
Conceptual modelling of web information systems
Data & Knowledge Engineering
Complexity and clarity in conceptual modeling: comparison of mandatory and optional properties
Data & Knowledge Engineering - Special issue: Quality in conceptual modeling
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Information modeling: the process and the required competencies of its participants
Data & Knowledge Engineering - Special issue: Application of natural language to information systems (NLDB04)
Modeling events as entities in object-oriented conceptual modeling languages
Data & Knowledge Engineering - Special issue: ER 2004
A semiotic metrics suite for assessing the quality of ontologies
Data & Knowledge Engineering - Special issue: Natural language and database and information systems: NLDB 03
Requirements Engineering
Data & Knowledge Engineering - Special issue: ER 2003
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Conceptual Modeling of Information Systems
Conceptual Modeling of Information Systems
Model-Driven Testing: Using the UML Testing Profile
Model-Driven Testing: Using the UML Testing Profile
Defining and validating metrics for assessing the understandability of entity-relationship diagrams
Data & Knowledge Engineering
Seven Principles of Software Testing
Computer
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Constraint acquisition for Entity-Relationship models
Data & Knowledge Engineering
Reasoning on UML class diagrams
Artificial Intelligence
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Towards automated reasoning on ORM schemes mapping ORM into the DLRidf description logic
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A method for information systems testing automation
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Editorial: Detection of semantic conflicts in ontology and rule-based information systems
Data & Knowledge Engineering
View-based model-driven architecture for enhancing maintainability of data access services
Data & Knowledge Engineering
The CSTL processor: a tool for automated conceptual schema testing
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
Hi-index | 0.00 |
Conceptual schemas of information systems can be tested. The testing of conceptual schemas may be an important and practical means for their validation. We present a list of five kinds of tests that can be applied to conceptual schemas. Two of them require schemas comprising both the structural and the behavioral parts, but we show that it is possible and useful to test incomplete schema fragments, even if they consist of only a few entity and relationship types, integrity constraints and derivation rules. We present CSTL, a language for writing automated tests of executable schemas written in UML/OCL. CSTL includes language primitives for each of the above kinds of tests. CSTL follows the style of the modern xUnit testing frameworks. We describe a prototype implementation of a test processor, which includes a test manager and a test interpreter that coordinates the execution of the tests. Tests written in CSTL can be executed as many times as needed.