A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL

Mendes Bizerra Edilson; Silva Silveira Denis; Lencastre Pinheiro Menezes Cruz Maria; Jose Araujo Wanderley Fernando

首页> 外文期刊>Latin America Transactions, IEEE (Revista IEEE America Latina) >A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL

【24h】

A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL

机译：一种从OCL中表达的业务规则生成模型的测试实例的方法

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper proposes a method for the generation of tests instances from business rules of a system, expressed using OCL. The aim of this method is to give one a better support for test activities like, for example, the generation of tests instances to test models in the initial phases of the software development lifecycle, showing the inconsistencies and ambiguities in earlier in the project. A differential of this method, compared to others with similar intention, is that, beyond the generation of the test cases, the generated tests could be validated and be followed in an automatized way through the USE tool. To help in the execution of the proposed method, the TestiMonium tool was implemented and integrated to the environment.

机译：本文提出了一种使用OCL从系统的业务规则生成测试实例的方法。这种方法的目的是为测试活动提供更好的支持，例如，在软件开发生命周期的初始阶段生成测试实例以测试模型，从而显示项目早期的不一致之处。与具有类似意图的其他方法相比，此方法的不同之处在于，除了生成测试用例之外，生成的测试还可以通过USE工具进行验证并以自动化的方式进行跟踪。为了帮助执行建议的方法，实施了TestiMonium工具并将其集成到环境中。

著录项

来源
《Latin America Transactions, IEEE (Revista IEEE America Latina)》 |2012年第5期|p.2105-2111|共7页
作者
Mendes Bizerra Edilson; Silva Silveira Denis; Lencastre Pinheiro Menezes Cruz Maria; Jose Araujo Wanderley Fernando;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Model Based Test Generation; OCL; Software Testing; UML;

机译：基于模型的测试生成;OCL;软件测试;UML;

相似文献

外文文献
中文文献
专利

1. Declarative Models for Business Processes and UI Generation using OCL [J] . Jens Brüning, Andreas Wolff Electronic Communications of the EASST . 2010,第3期

机译：使用OCL的业务流程和UI生成的声明模型
2. Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems [J] . W. Herzner, R. Schlick, W. Schütz, e & i Elektrotechnik und Informationstechnik . 2010,第6期

机译：从UML / OCL模型生成有效的测试用例，以应对复杂的安全关键型系统
3. Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems [J] . W. Herzner, R. Schlick, W. Schuetz, Elektrotechnik und Informationstechnik . 2010,第6期

机译：从UML / OCL模型生成有效的测试用例，以应对复杂的安全关键型系统
4. DECISION TABLE BASED APPROACH FOR BUSINESS RULES MODELLING IN UML/OCL [C] . Olegas Vasilecas, Kestutis Normantas International conference on computer systems and technologies and workshop for PhD students in computing 2010 . 2010

机译：基于决策表的UML / OCL业务规则建模方法
5. Making Chlamydomonas reinhardtii a better model organism: Tackling the inefficiency of nuclear transgene expression and improving methods for the generation and characterization of insertional mutant libraries. [D] . Plucinak, Thomas M. 2013

机译：使莱茵衣藻成为更好的模型生物：解决核转基因表达的低效率问题，并改进插入突变体文库的生成和表征方法。
6. A Business Model for Diagnostic Startups-A Business Model for a New Generation Of Diagnostics Companies [O] . Gary Kurtzman 2005

机译：诊断初创公司的业务模型-新一代诊断公司的业务模型
7. Business Rules Generation methods by Merging Model Driven Architecture and Web Semantics [O] . Kaninda Musumbu, Université Bordeaux, Sofian Maabout, 2010

机译：通过合并模型驱动架构和Web语义生成业务规则

A Method for Generation of Tests Instances of Models from Business Rules Expressed in OCL

摘要

著录项

相似文献

相关主题

期刊订阅