
	Where results make sense

Topic: Assertion definition language

	Assertion (computing) - Wikipedia, the free encyclopedia
		In languages such as Eiffel, assertions are part of the design process, in others, such as C and Java they are only used to check assumptions at run-time.
		Assertions can be a form of documentation: they can describe the state part of the code expects to find before it runs (its preconditions), and the state the code expects to result in when it is finished running (postconditions); they can also specify invariants of a class.
		This approach is also useful in languages which do not explicitly support it: the advantage of using assertions rather than comments is that assertions can be checked every time the program is run; if the assertion no longer holds, an error can be reported.
	en.wikipedia.org /wiki/Assertion_(computing) (1186 words)

	BROAD AVAILABILITY OF ADL AUTOMATED TEST GENERATION
		The ADL research is conducted under the Open Fundamental Software Technology Project of the IPA to research, develop and evaluate the fundamental software which lies between the application and operating system, and to provide a common interface for applications functionally.
		ADL will gradually be used by X/Open for the development of specifications as well as for the development of test suites.
		Many organizations have already adopted the use of the ADL technology, and X/Open is in the process of preparing the training materials required for wider education in the use of ADL.
	www.opengroup.org /public/news/oct95/adl.htm (1376 words)

	Papers - COOTS '96 (Site not responding. Last check: 2007-11-01)
		For example, the specification language Z [9] uses set-theoretic semantics for specifications and Larch [3] and Tecton [4] are languages based on algebraic specification.
		One of the basic goals of the language is to remain as close to the implementation language as possible, at the same time allowing high-level specification independently of implementations.
		In ADL also the language is different, but it is built around C++ and we made it a point to introduce as little new notation as possible.
	usenix.org /publications/library/proceedings/coots96/full_papers/viswa (6678 words)

	ADL
		Assertion Definition Language (ADL) is a high-level language that provides a formal grammar for the expression of programmatic assertions.
		The Assertion Definition Language system of translators, document and code generators are freely available as a single package.
		ADL is well documented and support is available to licensed users.
	adl.opengroup.org (147 words)

	Experience Report: Comparing an Automated Conformance Test
		In particular, the Assertion Definition Language (ADL), developed by Sun Microsystems, includes a formal assertion language that can describe the behavior of program interfaces, a supporting test data description language, and a translation system that generates C language source code from specifications written in the assertion and test data languages [4].
		Although ADL has begun to be used in several production projects, we know of no earlier studies that have investigated whether or not the use of such an automated technique really does improve the test development process.
		As can be seen from Table 1, the proportion of work that we did in ADL itself (writing the assertions and the symbolic specifications of the test data points) was small in comparison to the coding, in traditional C, of the necessary support functions.
	www.itl.nist.gov /div897/ctg/nm/ir.html (3412 words)

	ADL - Assertion Definition Language (Site not responding. Last check: 2007-11-01)
		The Assertion Definition Language is a software testing tool designed by SMI(Sun Microsystems Inc.) and the X/Open organization to automate the process of generating test programs for software applications.
		ADL is a specification language that can be used to describe applications, and there input data.
		The ADL translator will take your ADL files and compile them into executables that you can then run to test your programs.
	justice.loyola.edu /~kbg/se-tools/adl.html (151 words)

	Eiffel Software - Eiffel Language FAQ
		Using C as an intermediate language takes advantage of the platform-specific optimizations performed by C compilers, and most importantly, facilitates interoperability with software written in C and C++.
		Most modern programming languages support single inheritance whereby a class can inherit from only one other class, but multiple inheritance offers the developer unrestricted inheritance through the ability to inherit as many as is desired.
		The Eiffel language was developed with such levels of reuse in mind from the very beginning and these can benefit the developer in many ways.
	www.eiffel.com /developers/faqs/eiffel-language.html (4187 words)

	TestDevelopmentGuidelines - Free Standards Group
		Creation of a set of test assertions is a necessary step to bridge the gap between natural language specification and test suite code.
		Each assertion is designed to determine whether the statement is true or false for the implementation under test.
		Some judgement needs to be exercised by the assertion writer to ensure that the assertions generated are based upon the requirements of specification, and not in some cases based on non-normative advice to programmers or such like.
	www.freestandards.org /en/TestDevelopmentGuidelines?action=print (679 words)

	[No title]
		Other languages have purposely omitted essential features like I/O from their definition because they were never intended to be used without a standard library (C) or interface (Smalltalk-80), or because they constitute the command language for a particular product or system.
		Single Assignment language An applicative language using assignments with the convention that a variable may appear on the left side of an assignment only once within the portion of the program in which it is active.
		Constraint language A language in which a problem is specified and solved by a series of constraining relationships.
	www.willamette.edu /~fruehr/348/LanguageList2.4 (15822 words)

	Metrology For Information Technology - NISTIR 6025
		Definitions of quantity and unit are not enough to provide a means of measurement.
		Suitable definitions for these testing methods were developed by the task group in order to allow for a complete discussion about all of the methods of testing presently being used for digital IT systems quantities.
		The definition of traceability is the ability to relate individual measurement results through an unbroken chain of comparisons leading to one or more of the following sources: national primary standards, intrinsic standards, commercial standards, ratios, and comparison to a widely used standard which is clearly specified and mutually agreeable to all parties concerned.
	www.itl.nist.gov /lab/nistirs/ir6025.htm (7952 words)

	approach
		True scripting languages such as Tcl and Perl "are designed for gluing: they assume the existence of a set of powerful components and are intended primarily for connecting components together." Given this definition, it would not be correct to say that MCITT will support a scripting language, despite its support for "scripted" component interactions.
		Among the languages that it supports in both the client and server roles is Python, an interpreted language that has many of the features and characteristics of a scripting language.
		These assertions are used to verify that data values are what was expected, and they are useful for verifying compliance with a specification or standard as well as verifying correct program operation.
	www.mel.nist.gov /msidstaff/flater/approach.html (3209 words)

	Fiscal 1994 Project Portfolio Report
		The ADL project and the PrimaVera project share a lot of common goals, and for the first three quarters of FY94 they worked together on the design and prototype development of a specification language and an automated test generator based on PrimaVera technology.
		Thanks to the contribution of PrimaVera researchers, ADL was able to meet extremely aggressive deadlines, surpassing the most optimistic expectations of our customers in terms of features and quality.
		The ADL project met or exceeded all contract requirements, delivering all designs, documents and implementations on or ahead of schedule and surpassing our expectations in every respect.
	research.sun.com /techrep/1994/annualreport94/primavera.html (593 words)

	Test Suites - Downloads
		It performs a check on system headers for presence of function declarations, macro definitions and structures as defined in various standards.
		Assertion Definition Language 2.0 - a test specification-generation and automation project.
		ADL, or the Assertion Definition Language, is a formal grammar for describing the behavior of interfaces.It permits the translation of the formal grammar into natural languages and test cases (ADL 2.0 now supports Java, C++, C and IDL).
	www.opengroup.org /testing/downloads.html (445 words)

	ADL - Encyclopedia, History, Geography and Biography
		ADL is a three-letter abbreviation with multiple meanings, including:
		Architecture description language is a computer language used to describe software and/or system architectures
		Adelaide International Airport uses ADL as its IATA airport code
	www.arikah.net /encyclopedia/ADL (149 words)

	Formal Methods Virtual Library
		Assertion Definition Language (ADL), a specification based testing toolset.
		Larch family of languages and tools supporting a two-tiered definitional style of specification.
		CSML and MCB, a language for compositional description of finite state machines and a (non-symbolic) model checker for CTL.
	www.afm.lsbu.ac.uk /fm (1633 words)

	PrimaVera
		The objective for FY95 was to refine Assertion Definition Language (ADL) testing technology already developed under contract with the Ministry of International Trade and Industry (MITI) and X/OpenTM.
		Designed the ADL Base Language, an intermediate representation for different ADL specializations (such as ADL for IDL, ADL for C++, etc.), which serves as a common framework for all tool support.
		Commenced a collaboration with the U.S. government Central Imagery Office, NIST, and an ISO standards subcommittee in using ADL as a means for specifying and conformance testing implementations of an image processing standard PIKS with respect to a specification of the standard.
	research.sun.com /techrep/1995/annualreport95/primavera.html (784 words)

	Edgar R. Chavez .. Programming languages
		Moscow ML Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
		The C++ critique comes to the conclusion that these pitfalls are not acceptable, and should not be in a language used for modern large scale software engineering.
		The critique also takes a look at C, and concludes that many of the features of C should be left out of modern languages, and that C is a flawed base for a language.
	home.ccil.org /~chavezer/www/pgmglanguages.htm (1187 words)

	Automata tools
		ADL, or the Assertion Definition Language, is a formal grammar for describing the behavior of interfaces.
		Assertions are written as a description of how the function behavior is affected by the input state, and the resulting changes on the output state.
		The finite state machine is described in a high level language for modeling concrete systems.
	members.fortunecity.com /boroday/Automatatools.html (2796 words)

	Quelques points de références sur la spécification formelle (Site not responding. Last check: 2007-11-01)
		Assertion Definition Language Translator (ADLT), a specification based testing toolset.
		Rapide language and toolset, for building large-scale distributed multi-language systems.
		SPIN is an automated verification tool (model checker), using PROMELA (Pocess Meta Language), a language loosely based on CSP, for finite state systems, such as protocols or validation models of distributed systems, developed at
	beru.univ-brest.fr /~singhoff/formelle.html (1326 words)

	itmWEB: Software Engingeering Testing FAQ
		To join the ADL (Assertion Definition Language) mailing list - xopubadl - send your name, affiliation, and e-mail address to postmaster@opengroup.org.
		Unit testing is usually associated with structural test design, but this is because testers usually don't have well-defined requirements at the unit level to validate.
		Definitely not a regional conference, despite the name.
	www.itmweb.com /essay542.htm (5962 words)

	Formal Methods
		Alloy Constraint Analyzer, an object modelling notation that is compatible with development approaches such as UML, Catalysis, Fusion, OMT and Syntropy, strongly influenced by the Z specification language.
		SDL (Specification and Description Language) from the SDL Forum Society.
		SPIN is an automated verification tool (model checker), using PROMELA (PROcess MEta LAnguage), a language loosely based on CSP, for finite state systems, such as protocols or validation models of distributed systems, developed at Bell Laboratories.
	www.xtrj.org /formal_methods.htm (1601 words)

	Splint - Related Links
		Sun's ADL is a formal specification language for C programs.
		Their goal is to be able to check that software satisfies critical behavioral properties of the interfaces it uses, and to aid software engineers in designing interfaces and software to ensure reliable and correct functioning.
		Because of the language restrictions and sophisticated analyses, Vault can enforce many of the properties Splint checks soundly and completely.
	lclint.cs.virginia.edu /links.html (936 words)

	Agent Trustworthiness - Kassab, Voas (ResearchIndex) (Site not responding. Last check: 2007-11-01)
		The fact that the information returned by an agent to the agent owner cannot be validated by the owner is impeding the widespread adoption of agent-based computing.
		Our paper addresses this concern by proposing a new type of software assertion to increase observability by providing agent owner's with agent state "snapshots.
		337 Eiffel the Language (context) - MEYER - 1992
	citeseer.ist.psu.edu /kassab98agent.html (701 words)

	X/OPEN CREATES SOFTWARE REGISTRY - Computer Business Review (Site not responding. Last check: 2007-11-01)
		X/Open is already using Sun Labs's Assertion Definition Language to generate application programming interface test suite documents for the Object Group's Corba 2 "socket," its first large-scale use of Assertion Definition Language.
		Although TenDRA's Ptech notation is currently incompatible with Assertion Definition Language's C-like syntax, X/Open says it will not take too much work to bring them together in a future release of Assertion Definition Language supporting TenDRA and other test tool syntaxes.
		However there is not much point in trying to match plugs to socket specifications that do not yet exist, it observes.
	cbronline.com /article_cg.asp?guid=6E69A78B-184D-4A03-A147-7A5F50E26901 (563 words)

	autogen
		Traditionally, conformance tests are developed by manually coding the test source code, and then testing that source code.
		Used a particular automated method, the Assertion Definition Language (ADL), developed by Sun Microsystems, Inc., to generate conformance tests for a particular application specification (a subset of the POSIX C language interface).
		Our basic observation was that the use of ADL did not reduce the time needed to develop conformance tests, and that a reasonable question exists regarding the assumption that automated tools provide a more effective means of developing conformance tests for program interfaces than do traditional approaches.
	www.itl.nist.gov /div897/ctg/nm/autogen.htm (245 words)

	[No title] (Site not responding. Last check: 2007-11-01)
		For the test code that you are planning to contribute, what version and parts of the CORBA specifications are you testing against?
		Is your test suite based on an existing tool or framework such as the Test Environment Toolkit (TET), Assertion Definition Language (ADL) or Tree and Tabular Combined Notation (TTCN)?
		Please describe any product-specific features of your test suite that might make it difficult to use with another ORB or Object Service.
	www.omg.org /docs/omg/00-12-05.txt (343 words)

	SAML ( Security Assertion Markup Language and Security Access Markup Language) Definition
		SAML specifies three components: assertions, protocol, and binding.
		And authorization assertion identifies what the user is authorized to do.
		Definitions A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Other
	www.bitpipe.com /tlist/SAML.html (425 words)

Try your search on: Qwika (all wikis)