scholarly journals A formal approach to testing programs in practice

2012 ◽  
Vol 9 (4) ◽  
pp. 1469-1491 ◽  
Author(s):  
Shaoying Liu ◽  
Wuwei Shen ◽  
Shin Nakajima
Keyword(s):  
Formal Specification ◽  
Source Code ◽  
Test Case ◽  
Ic Card ◽  
Formal Approach ◽  
Card System ◽  
Testing Approach ◽  
Result Analysis ◽  
Test Result

A program required to be tested in practice often has no available source code for some reason and how to adequately test such a program is still an open problem. In this paper, we describe a formal specification-based testing approach to tackle this challenge. The principal idea is first to formalize the informal requirements into formal operation specifications that take the interface scenarios of the program into account, and then utilize the specifications for test case generation and test result analysis. An example and case study of applying the approach to an IC card system is presented to illustrate its usage and analyze its performance.

Model Based Automatic Test Research and Application

2010 ◽  
Vol 121-122 ◽  
pp. 1033-1037
Author(s):  
Wei Zheng ◽  
Hai Tao Xu ◽  
Lu Shuai Guan
Keyword(s):  
Test Case ◽  
Test Case Selection ◽  
Model Based ◽  
Case Selection ◽  
Test Script ◽  
Model Based Testing ◽  
Key Technologies ◽  
Selection Test ◽  
Result Analysis ◽  
Test Result

With the rapidly development and widely acceptance of MDD(Model Based Design), MBT(Model Based Test) has been presented for many years, it matches test-first concept, has been widely accepted. In this paper, basic process of model based testing is presented firstly, after that, key technologies such as Model instruct, test case selection, test script running etc. are discussed. Actual test case with Specific Explorer is presented and test result analysis is presented.

USING OCL IN THE FORMAL SPECIFICATION OF THE LIBRARY STANDARDS

2013 ◽  
Vol 23 (03) ◽  
pp. 341-359 ◽  
Author(s):  
GORDANA RUDIĆ ◽  
BOJANA DIMIĆ SURLA
Keyword(s):  
Programming Language ◽  
Data Model ◽  
Formal Specification ◽  
Source Code ◽  
Specification Language ◽  
Object Constraint Language ◽  
Formal Approach ◽  
User Input ◽  
Constraint Language ◽  
Formal Specification Language

The goal of the research was to check whether we can use a formal specification language such as OCL — Object Constraint Language to express all constraints on the library records proposed by the MARC 21 library standard. The main results are the classification and systematization of the constraints on the structure and the content of the MARC records as well as the specification of the constraints on the data model of MARC 21 in OCL. The obtained results are used in the implementation of the editor for MARC records for validation of the user input. The originality of the work is the adoption of the formal approach in specification of the constraints instead of writing source code in programming language.

scholarly journals Systematic Stakeholder Inclusion in Digital Agriculture: A Framework and Application to Canada

2021 ◽  
Vol 13 (12) ◽  
pp. 6879
Author(s):  
Hassan P. Ebrahimi ◽  
R. Sandra Schillo ◽  
Kelly Bronson
Keyword(s):  
Agricultural Sector ◽  
Food System ◽  
News Article ◽  
Test Case ◽  
Stakeholder Groups ◽  
Research And Innovation ◽  
Article Analysis ◽  
Digital Agriculture ◽  
Responsible Research

This study provides a model that supports systematic stakeholder inclusion in agricultural technology. Building on the Responsible Research and Innovation (RRI) literature and attempting to add precision to the conversation around inclusion in technology design and governance, this study develops a framework for determining which stakeholder groups to engage in RRI processes. We developed the model using a specific industry case study: identifying the relevant stakeholders in the Canadian digital agriculture ecosystem. The study uses literature and news article analysis to map stakeholders in the Canadian digital agricultural sector as a test case for the model. The study proposes a systematic framework which categorises stakeholders into individuals, industrial and societal groups with both direct engagement and supportive roles in digital agriculture. These groups are then plotted against three levels of impact or power in the agri-food system: micro, meso and macro.

BEHAVIOR OF RC BUILDING COLUMNS UNDER CYCLIC LOADING: EXPERIMENTAL STUDY

2012 ◽  
Vol 06 (04) ◽  
pp. 1250026 ◽  
Author(s):  
HUGO RODRIGUES ◽  
ANTONIO ARÊDE ◽  
HUMBERTO VARUM ◽  
ANIBAL COSTA
Keyword(s):  
Damage Index ◽  
Physical Damage ◽  
Uniaxial Test ◽  
Experimental Campaign ◽  
Simplified Method ◽  
Rc Building ◽  
Global Deformation ◽  
Result Analysis ◽  
Rectangular Columns ◽  
Test Result

An experimental campaign is underway in order to understand the behavior of rectangular columns under uniaxial and biaxial flexure. The present paper addresses the initial part of that campaign, by reporting on two columns tested under uniaxial bending in one horizontal direction and then submitted to another uniaxial test in the other direction. The test result analysis focuses on the contributions of flexure, shear and slip components to the global deformation. The experimental results were compared with a simplified method for column response. The Park and Ang damage index is calculated and compared with the physical damage observed.

scholarly journals Pathways to relativistic curved momentum spaces: de Sitter case study

2016 ◽  
Vol 25 (02) ◽  
pp. 1650027 ◽  
Author(s):  
Giovanni Amelino-Camelia ◽  
Giulia Gubitosi ◽  
Giovanni Palmisano
Keyword(s):  
Momentum Space ◽  
Hopf Algebras ◽  
Affine Connection ◽  
Planck Scale ◽  
Test Case ◽  
De Sitter ◽  
Group Manifold ◽  
The One ◽  
Natural Test

Several arguments suggest that the Planck scale could be the characteristic scale of curvature of momentum space. As other recent studies, we assume that the metric of momentum space determines the condition of on-shellness while the momentum space affine connection governs the form of the law of composition of momenta. We show that the possible choices of laws of composition of momenta are more numerous than the possible choices of affine connection on a momentum space. This motivates us to propose a new prescription for associating an affine connection to momentum composition, which we compare to the one most used in the recent literature. We find that the two prescriptions lead to the same picture of the so-called [Formula: see text]-momentum space, with de Sitter (dS) metric and [Formula: see text]-Poincaré connection. We then show that in the case of “proper dS momentum space”, with the dS metric and its Levi–Civita connection, the two prescriptions are inequivalent. Our novel prescription leads to a picture of proper dS momentum space which is DSR-relativistic and is characterized by a commutative law of composition of momenta, a possibility for which no explicit curved momentum space picture had been previously found. This momentum space can serve as laboratory for the exploration of the properties of DSR-relativistic theories which are not connected to group-manifold momentum spaces and Hopf algebras, and is a natural test case for the study of momentum spaces with commutative, and yet deformed, laws of composition of momenta.

PROCEDURES AND ALGORITHMS FOR CONTINUOUS INTEGRATION IN AN AGILE SPECIFICATION ENVIRONMENT

2009 ◽  
Vol 19 (01) ◽  
pp. 47-78
Author(s):  
MARTÍN LÓPEZ-NORES ◽  
JOSÉ J. PAZOS-ARIAS ◽  
JORGE GARCÍA-DUQUE ◽  
YOLANDA BLANCO-FERNÁNDEZ ◽  
REBECA P. DÍAZ-REDONDO ◽  
...  
Keyword(s):  
Formal Specification ◽  
Source Code ◽  
Agile Development ◽  
Continuous Integration ◽  
Whole Process ◽  
Modular Units ◽  
Main Ideas

One of the main ideas of agile development is to perform continuous integration, in order to detect and resolve conflicts among several modular units of a system as soon as possible. Whereas this feature is well catered for at the level of programming source code, the support available in formal specification environments is still rather unsatisfactory: it is possible to analyze the composition of several modular units automatically, but no assistance is given to help modify them in case of problems. Instead, the stakeholders who build the specifications are forced to attempt manual changes until reaching the desired functionality, in a process that is far from being intuitive. In response to that, this paper presents procedures and algorithms that automate the whole process of doing integration analyses and generating revisions to solve the diagnosed problems. These mechanisms serve to complete an agile specification environment presented in a previous paper, which was designed around the principle of facilitating the creative efforts of the stakeholders.

Sign in / Sign up

Export Citation Format

Share Document