NDLI: Test selection criteria for quantifier-free first-order specifications

Please wait, while we are loading the content...

Finite abstract models for deterministic transition systems: fair parallel composition and refinement-preserving logic

Slicing abstractions

Nuovo DRM paradiso: towards a verified fair DRM scheme

Formalizing compatibility and substitutability in communication protocols using I/O-constraint automata

Is your security protocol on time?

Adapting the UPPAAL model of a distributed lift system

Zone-based universality analysis for single-clock timed automata

Compositional semantics of system-level designs written in systemC

Reusing requirements: the need for extended variability models

Test selection criteria for quantifier-free first-order specifications

Formal testing of systems presenting soft and hard deadlines

Automatic composition of stateless components: a logical reasoning approach

A model of component-based programming

Contract based multi-party service composition

Regulating data exchange in service oriented applications

A behavioural congruence for web services

Logic-based detection of conflicts in APPEL policies

Hoare logic for ARM machine code

Action abstraction in timed process algebra: the case for an untimed silent step

Type abstractions of name-passing processes

Formal specification of multi-agent systems by using EUSMs

Strong safe realizability of message sequence chart specifications

Implication-based approximating bounded model checking

Logical bisimulations and functional languages

Efficient state space reduction for automata by fair simulation

Model checking temporal metric specifications with Trio2Promela

Design and implementation of a dynamic-reconfigurable architecture for protocol stack

Vulnerability analysis in VGBPS using Prolog

An alternative algorithm for constraint automata product

A review on specifying software architectures using extended automata-based models

ArchC#: a new architecture description language for distributed systems

Relationships meet their roles in object oriented programming

Test selection criteria for quantifier-free first-order specifications

Content Provider	ACM Digital Library
Author	Le Gall, Pascale Longuet, Delphine Aiguier, Marc Arnould, Agnès
Abstract	This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any specification has an exhaustive test data set whose successful submission means correctness, provided that the software under verification can be modeled as a first-order structure over the same signature. As it has already been done for positive conditional equational specifications, we derive test cases from selection criteria based on axiom coverage. Our selection criteria allows us to select test cases by iteratively unfolding an initial target test purpose, given as a formula. The initial reference test set is iteratively split into successive subsets. Each subset of test cases is defined by constraints which are increasingly introduced by the unfolding procedure to ensure an appropriate matching between the current test purpose under unfolding and specification axioms. Our unfolding procedure is sound (no test is added) and complete (no test is lost) with respect to the starting test purpose. It is exemplified on a simple example.
Starting Page	144
Ending Page	159
Page Count	16
ISBN	9783540756972
ISSN	03029743
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2007-04-17
Publisher Place	Berlin, Heidelberg
Access Restriction	Subscribed
Subject Keyword	Proof tree normalization Quantifier-free first-order specifications Axiom coverage Test purpose Unfolding Specification-based testing Selection criteria
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Test selection criteria for quantifier-free first-order specifications (2007).

Proof-Guided Test Selection from First-Order Specifications with Equality

Proof-guided test selection from first-order specifications with equality.

Integration testing from structured first-order specifications via deduction modulo (2013).

Testing from algebraic specifications: test data set selection by unfolding axioms (2006)

Testing from algebraic specifications: Test data set selection by unfolding axioms

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (2005)

Specification test coverage adequacy criteria = specification test generation inadequacy criteria

Generating tests from B specifications and dynamic selection criteria

Test selection criteria for quantifier-free first-order specifications

Similar Documents

Test selection criteria for quantifier-free first-order specifications (2007).

Proof-Guided Test Selection from First-Order Specifications with Equality

Proof-guided test selection from first-order specifications with equality.

Integration testing from structured first-order specifications via deduction modulo (2013).

Testing from algebraic specifications: test data set selection by unfolding axioms (2006)

Testing from algebraic specifications: Test data set selection by unfolding axioms

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (2005)

Specification test coverage adequacy criteria = specification test generation inadequacy criteria

Generating tests from B specifications and dynamic selection criteria

Test selection criteria for quantifier-free first-order specifications