Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate

Sen, Sagar; Marijan, Dusica; Ieva, Carlo; Grime, Astrid; Sander, Atle

doi:10.1109/tr.2016.2618121

Cited by 6 publications

(7 citation statements)

References 40 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Our approach to address the reciprocity problem is to have, on the one hand, researchers who provide research artifacts that simplify daily routine of practitioners, and on the other hand, practitioners who can then effortlessly provide useful feedback for researchers on the practical usefulness of their research results. For instance, in C1, researchers provided a tool Depict [56] that Tool Customs used to verify customs declarations in their daily work. "Depict seamlessly connected to our test database and automatically generated reports that made it easy for us to present what we have been working on with minimal effort.…”

Section: P1: Reciprocity Between Stakeholdersmentioning

confidence: 99%

“…The experimental elements were built as extensible plugins in the project without affecting the base software. Both TITAN [42] and Depict [54,56] were tools developed on the Eclipse platform. Most employees recruited on the team were PhD students or postdoctoral fellows with a work contract of 2-3 years enabling long terms stability in the project.…”

Section: P12: Minimize Moving Partsmentioning

confidence: 99%

“…In C1, SRL developed tools that adhered to industry standards, along with simple and user-friendly documentation, to help stakeholders use artifacts in less than 30 minutes. The tool Depict [56], for instance, could be deployed by Toll Customs in a matter of minutes on their large test and production databases. Depict could interface to several standard relational database management systems (RDBMS) such as Sybase, Oracle, PostgreSQL, MySQL to verify certain properties in the data.…”

Section: P2: Standardized Data Exchangementioning

confidence: 99%

See 2 more Smart Citations

Industry–Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns

Marijan

Sen

2022

ACM Trans. Softw. Eng. Methodol.

Self Cite

View full text Add to dashboard Cite

Increasing the impact of software engineering research in the software industry and the society at large has long been a concern of high priority for the software engineering community. The problem of two cultures, research conducted in a vacuum (disconnected from the real world), or misaligned time horizons are just some of the many complex challenges standing in the way of successful industry–academia collaborations. This article reports on the experience of research collaboration and knowledge co-creation between industry and academia in software engineering as a way to bridge the research–practice collaboration gap. Our experience spans 14 years of collaboration between researchers in software engineering and the European and Norwegian software and IT industry. Using the participant observation and interview methods, we have collected and afterwards analyzed an extensive record of qualitative data. Drawing upon the findings made and the experience gained, we provide a set of 14 patterns and 14 anti-patterns for industry–academia collaborations, aimed to support other researchers and practitioners in establishing and running research collaboration projects in software engineering.

show abstract

Section: P1: Reciprocity Between Stakeholdersmentioning

confidence: 99%

Section: P12: Minimize Moving Partsmentioning

confidence: 99%

Section: P2: Standardized Data Exchangementioning

confidence: 99%

See 1 more Smart Citation

Industry–Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns

Marijan

Sen

2022

ACM Trans. Softw. Eng. Methodol.

Self Cite

View full text Add to dashboard Cite

show abstract

“…CT [41]- [44] is an efficient testing method through which an optimal or near optimal test suite with fewer test cases and high fault detection rate [45] can be designed or generated. CT has been successfully applied to many non-real time different domains, such as GUI [46], Web applications [47], database [48] and system hardware design flaw analysis of the Lockheed Martin F-16 ventral fin [49]. In case of real-time systems, NCAs has been used in the Automatic Block Signal System (ABSS) for preventing rear-end collision of high speed trains [13].…”

Section: Related Workmentioning

confidence: 99%

Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints

2019

View full text Add to dashboard Cite

Testing of real-time embedded systems (RTESs) under input timing constraints is a critical issue. Models which can specify timing constraints have respective merits and demerits and test suites which can cover more input possibilities and detect more faults under input timing constraints are worthy of study. In this paper, clocked computation tree logic which is used to specify input timing constraints is presented. Neighbor covering arrays and parallel input time correlation test suites are introduced to test RTESs under serial and parallel input timing constraints. Three algorithms are described in generating test suites, respectively, and corresponding random testing-based algorithms which are used as baselines for comparison are introduced. Benchmarks with different configurations are conducted to evaluate the algorithms' performance. Three real-world RTESs are tested with the test suites described in this paper, respectively. The test results show that random testing may omit some neighbor input time point combinations as the randomness and increase test suite scales. This fact may lead to the omission of some faults and heavy costs. Therefore, the proposed test suites are more effective and efficient for testing RTESs under input timing constraints. INDEX TERMS Real-time embedded systems, input timing constraints, test suite generation, random testing.

show abstract

“…Las matrices que se usan el proyecto tienen en cuenta algunas posibles combinaciones de sentencias SQL, pero si se genera una mayor cantidad de combinaciones es posible que se encuentren soluciones nuevas [12].…”

Section: Conclusiones Y Trabajo Futurounclassified

Arquitectura para la generación de consultas SQL usando lógica de conjuntos

Silva¹,

Palacios²

2018

Vis. Electron.

View full text Add to dashboard Cite

Historia del artículo:El presente artículo muestra, la arquitectura implementada en el desarrollo de una herramienta generadora de código SQL, concretamente código de consulta entre varias tablas, en donde se desean hacer operaciones que guardan relación con las operaciones de JOIN entre tablas. La herramienta explota el uso de LEFT JOIN, RIGHT JOIN, INNER JOIN Y FULL OUTHER JOIN. La arquitectura propuesta funciona para una gran cantidad de tablas, sin embargo, la herramienta por razones de eficiencia computacional en esta versión permite hasta tres tablas. La metáfora que sigue el generador de código SQL, es la metáfora impuesta por los diagramas de Venn, la cual es útil en múltiples aplicaciones computacionales y en este artículo se usó para la construcción de un generador de código en donde el usuario selecciona un diagrama de Venn concreto. Al final del artículo se muestran las modificaciones que se hace necesario implementar a la arquitectura para agregar otras funcionalidades.This article shows the architecture implemented in the development of an SQL code generating tool (query code) between several tables, where it is desired to perform operations that are related to JOIN operations between tables. The tool exploits the use of LEFT JOIN, RIGHT JOIN, INNER JOIN and FULL OUTHER JOIN. The proposed architecture works for a large number of tables; however, the tool for reasons of computational efficiency in this version, allows up to three tables. The metaphor that follows the SQL code generator, is the metaphor imposed by Venn diagrams, which is useful in multiple computational applications and, in this article, it was used for the construction of a code generator, in which the user selects a concrete Venn diagram. At the end of the article, we show the modifications that are necessary to implement in the architecture, to add other functionalities. Palabras clave: Algebra relacional Generador de códigos Herramientas case Lógica de conjuntos Sentencias SQL Keywords: Relational algebra Code generator Tools case Logic set SQL statements Citar este artículo como: L. F. Wanumen y D. J. Mosquera, "Arquitectura para la generación de consultas SQL usando lógica de conjuntos". Visión Electrónica, algo más que un estado sólido, Vol. 12, No. 2, 307-318, julio-diciembre 2018. https://doi.

show abstract

Modeling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs Directorate

Cited by 6 publications

References 40 publications

Industry–Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns

Industry–Academia Research Collaboration and Knowledge Co-creation: Patterns and Anti-patterns

Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints

Arquitectura para la generación de consultas SQL usando lógica de conjuntos

Contact Info

Product

Resources

About