loading
Papers Papers/2020

Research.Publish.Connect.

Affiliation

Eindhoven University of Technology, Netherlands
Context (please use complete words only)
Field
Sort by

6 Papers

A Test Generator for Model-Based Testing

Authors: Ella Roubtsova 1 and Serguei Roubtsov 2

Affiliations: 1 Open University, Netherlands , 2 Technical University Eindhoven, Netherlands

Digital Object Identifier: 10.5220/0005424801030112

Proceedings of BMSD 2014, ISBN: 978-989-758-032-1

Collapse Button Quick Abstract
The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing. The models should be different from implementation and possess the observational consistency allowing preservation behaviour of parts in the behaviour of the whole. The models need to be built into a tool for preparation of the model and data for test generation. This paper proposes to use protocol models for model based testing. A protocol model presents the external behaviour. Unlike other modelling approaches, the Protocol Modelling semantics incorporates data into the model. This property gives us advantages for the choice of the strategy of test generation. The main contribution of the paper is a combination of algorithms for test generating from a protocol model. The preparation of a protocol model for test generation and the results of test generation are illustrated with an example.

Testing Conformance of EJB 3 Enterprise Application Servers

Topics: Enterprise Engineering; Enterprise Application Integration

Authors: Sander de Putter , Serguei Roubtsov and Alexander Serebrenik

Affiliation: Eindhoven University of Technology, Netherlands

Digital Object Identifier: 10.5220/0004864402720279

Proceedings of ICEIS 2014, ISBN: 978-989-758-029-1

Collapse Button Quick Abstract
Enterprise JavaBeans (EJB) is a component technology used for enterprise application development. EJB is currently being implemented by such application servers as GlassFish, OpenEJB, JBoss, WebLogic and Apache Geronimo. Through the entire history EJB claimed its adherence to the “write once, run anywhere” philosophy of Java suggesting that an application developed for and deployed on one application server should be easily portable to a different application server. Therefore, one could have expected different application servers to adhere to the EJB specification. Adherence to this and related Java EE specifications is subject of the “Java EE 6 Full Profile” compatibility testing carried by Oracle. However, anecdotal evidence of discrepancies between the specification and certified implementations such as GlassFish, has been reported in the literature. In this paper we present an approach allowing one to go beyond the level of anecdotal knowledge and test requirements for EJB application servers with focus on portability. We apply the methodology developed to test how well two popular “Java EE 6 Full Profile”-compatible EJB application servers, GlassFish and JBoss, conform to the requirements in the EJB specification. The results are alarming: both application servers failed on a number of tests, violating the specification. Moreover, in GlassFish conformance to a requirement varies depending on whether a local or a remote application is used. Lack of conformance to the EJB specification compromises the portability of the EJB applications, deviates from the portability philosophy of Java, leads to unexpected behaviour, and hinders the learning process of novice EJB developers.
Collapse Button Related Ontology Subjects/Areas/Topics (5)
Databases and Information Systems Integration

Enterprise Application Integration

Enterprise Information Systems
e-Business

Enterprise Engineering

EFFICIENT RECONSTRUCTION OF UNIFORM SAMPLES FROM BUNCHED NONUNIFORM SAMPLES

Topic: Signal Reconstruction

Authors: V. Harish 1 , K. M. M. Prabhu 1 and Piet Sommen 2

Affiliations: 1 Indian Institute of Technology Madras, India , 2 Technical University Eindhoven, Netherlands

Digital Object Identifier: 10.5220/0003537003500356

Proceedings of ICINCO 2011, ISBN: 978-989-8425-74-4

Collapse Button Quick Abstract
In this paper, we derive a mathematically equivalent frequency-domain relation between uniform and bunched nonuniform samples. This relation aids in the reconstruction of uniform samples, obtained from nonuniform samples, using a uniform discrete Fourier transform (DFT) modulated filter bank. We consider a general case of unequal spacing between the bunches of nonuniform samples. Simulation results demonstrate the practical utility of the theory proposed.
Collapse Button Related Ontology Subjects/Areas/Topics (3)
Informatics in Control, Automation and Robotics

Signal Processing, Sensors, Systems Modeling and Control

Signal Reconstruction

A FEATURE COMPUTATION TREE MODEL TO SPECIFY REQUIREMENTS AND REUSE

Topics: Modeling Formalisms, Languages and Notations; Requirements Analysis

Authors: E. E. Roubtsova 1 and S. A. Roubtsov 2

Affiliations: 1 Open University of the Netherlands, Netherlands , 2 Technical University Eindhoven, Netherlands

Digital Object Identifier: 10.5220/0002443401180125

Proceedings of ICEIS 2006, ISBN: 978-972-8865-43-6

Collapse Button Quick Abstract
A large subset of requirements for complex systems, services and product lines is traditionally specified by hierarchical structures of features. Features are usually gathered and represented in the form of a feature tree. The feature tree is a structural model. It represents mainly composition and specialization relations between features and does not provide the possibility to specify requirements in the form of ordering relations defined on functional features. Use case scenarios are usually employed for specification of the ordering relations. However, use case scenarios comprise isolated sequences of features, and therefore they may be inconsistent and even may contradict each other and the feature tree. Moreover, some use case scenarios defining relations on features may be incomplete. In order to support consistent specification of requirements, we suggest using a pair of related models: a feature tree model and a feature computation tree model. The pair of such related feature tree models provides the basis for the method of consistency checks of requirements. It introduces a united view on the system’s behavior at the stage of requirement specification and facilitates specification of forbidden sequences and construction complete sequences from incomplete ones. It allows designers to precisely specify the desired reuse and to find that a certain sort of reuse is not possible. Understanding already at the stage of requirements engineering that a subsystem cannot be reused without modification saves effort and money spent on development. The proposed method and models are explained using a case study of design of a system for electronic cards production.
Collapse Button Related Ontology Subjects/Areas/Topics (4)
Enterprise Information Systems

Modeling Formalisms, Languages and Notations

Requirements Analysis And Management
Information Systems Analysis and Specification

An Observation-based Algorithm for Workflow Matching

Authors: Kais Klai 1 , Samir Tata 2 and Issam Chebbi 2

Affiliations: 1 Technical University Eindhoven, Netherlands , 2 GET/INT, France

Digital Object Identifier: 10.5220/0002500801930197

Proceedings of MSVVEIS 2006/ICEIS, ISBN: 978-972-8865-49-8

Collapse Button Quick Abstract
This work is in line with the CoopFlow approach dedicated for inter-organizational workflow cooperation that consists of workflow advertisement, workflow interconnection, and workflow cooperation. To support interconnection, we propose in this paper a efficient algorithm for workflow matching3 .

A PROPERTY SPECIFICATION LANGUAGE FOR WORKFLOW DIAGNOSTICS

Topic: Datamining

Author: E. E.Roubtsova

Affiliation: Technical University Eindhoven, Netherlands

Digital Object Identifier: 10.5220/0002516502970302

Proceedings of ICEIS 2005, ISBN: 972-8865-19-8

Collapse Button Quick Abstract
The paper presents a declarative language for workflow property specification. The language has been developed to help analysts in formulating workflow-log properties in such a way that the properties can be checked automatically. The language is based on the Propositional Linear Temporal Logics and the structure of logs. The standard structure of logs is used when building algorithms for property checks. Our tool for property driven workflow mining combines a tool-wizard for property construction, property parsers for syntax checks and a verifier for property verification. The tool is implemented as an independent component that can extend any process management system or any process mining tool.
Collapse Button Related Ontology Subjects/Areas/Topics (12)
Artificial Intelligence

Data Mining

Health Information Systems

Biomedical Engineering

Databases and Information Systems Integration

Sensor Networks

Business Analytics

Datamining

Signal Processing

Data Engineering

Enterprise Information Systems

Soft Computing

Topic(s):

Filter listed results, by

Publication date

From:
To:
Author
Locate Author in list below
Add Author(s) to filter:

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic

0123movie.net