Testing of concurrent programs and partial specifications

Hamlet, D

Title: Testing of concurrent programs and partial specifications

Full Record
Other Related Research

Abstract

The testing problems of concurrent systems include those of sequential programs, but there are two additional difficulties: the scheduling of tasks may alter the behavior, making tests misleading; testing may be conducted at an early stage of development, by users who are not software experts. Concurrent process systems can be modeled by a collection of finite-state transducers, in a way that displays their unique problems. The specification languages PAISLey and Gist approach the definition of concurrent systems differently, but both permit users to execute partially defined systems. The declarative language PROLOG, although not explicitly designed for concurrent programming, exhibits similar characteristics. Prototype execution has some unexpected implications for testing, and for final implementation.

Authors:: Hamlet, D

Publication Date:: Wed Dec 01 00:00:00 EST 1982

Research Org.:: Air Force Office of Scientific Research, Bolling AFB, DC (USA)

OSTI Identifier:: 6755319

Report Number(s):: AD-A-127330/9; AFOSR-TR-83-0306

Resource Type:: Technical Report

Country of Publication:: United States

Language:: English

Subject:: 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; PARALLEL PROCESSING; TESTING; PROGRAMMING LANGUAGES; SPECIFICATIONS; PROGRAMMING; 990200* - Mathematics & Computers

Citation Formats


                    Hamlet, D. Testing of concurrent programs and partial specifications.  United States: N. p., 1982. 
        Web.

Copy to clipboard


                    Hamlet, D. Testing of concurrent programs and partial specifications.  United States.

Copy to clipboard


                    Hamlet, D. 1982.  
        "Testing of concurrent programs and partial specifications".  United States.

Copy to clipboard


                    
@article{osti_6755319,

  title        = {Testing of concurrent programs and partial specifications},

  author       = {Hamlet, D},

  abstractNote = {The testing problems of concurrent systems include those of sequential programs, but there are two additional difficulties: the scheduling of tasks may alter the behavior, making tests misleading; testing may be conducted at an early stage of development, by users who are not software experts. Concurrent process systems can be modeled by a collection of finite-state transducers, in a way that displays their unique problems. The specification languages PAISLey and Gist approach the definition of concurrent systems differently, but both permit users to execute partially defined systems. The declarative language PROLOG, although not explicitly designed for concurrent programming, exhibits similar characteristics. Prototype execution has some unexpected implications for testing, and for final implementation.},

  doi          = {},

  url          = {https://www.osti.gov/biblio/6755319},
  journal      = {},
number       = ,

  volume       = ,

  place        = {United States},

  year         = {Wed Dec 01 00:00:00 EST 1982},

  month        = {Wed Dec 01 00:00:00 EST 1982}

}

Copy to clipboard

Technical Report:

Other availability

Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that may hold this item. Keep in mind that many technical reports are not cataloged in WorldCat.

Save / Share:

Export Metadata

Save to My Library

Similar records in OSTI.GOV collections:

Technical specifications requirements: Automated reasoning applications

Technical Report Lidsky, L.; Dobrzeniecki, A.

Several software systems were developed and tested to determine what advantages could be gained from explicitly translating complicated regulatory requirements into computerized relationships. The Technical Specifications for US nuclear power plants were chosen as the test-bed application domain, and two analysis systems were developed to monitor plant compliance with operational limits, and track and schedule equipment test and maintenance activities mandated by Technical Specifications. Choosing PROLOG as the computer language to represent these regulatory requirements resulted in a natural match between the semantic structure of the written specifications and the corollary coded rules. Additional research results affirmed the utility ofmore »« less
https://doi.org/10.2172/7172273

Full Text Available
Description of a tool for specifying and prototyping concurrent programs

Journal Article DeFrancesco, N; Vaglini, G - IEEE Trans. Software Eng.; (United States)

A specification language is introduced, able to define concurrent programs behavior. The language is particularly devoted to describe distributed applications, mainly with respect to scheduling problems. For this purpose, the language allows visibility of the past history of a computation and such history may be explicitly used to drive the choices on the future behavior of the computation itself and to define the values exchanged at each communication. A behavior is a partial order on events (communications) accomplished by processes, while the values of the communications are specified by a functional language. The most noticeable characteristic of specifications written inmore »« less
https://doi.org/10.1109/32.9044
A Prolog-based expert system for modeling with partial differential equations

Journal Article Russo, M; Peskin, R; Kowalski, A - Simulation; (United States)

Initial results are presented from a project to develop intelligent expert system tools for the construction and execution of complex mathematical models which employ partial differential equations. This paper reports on that portion of the system, the expert system front end, which is concerned with the representation and execution of metal-level knowledge about the model building process itself. The current problem domain is restricted to models involving linear as well as a limited class of nonlinear partial differential equations of up to second order. The system is capable of examining the user's input model for inconsistencies as well as makingmore »« less
https://doi.org/10.1177/003754978704900404
Automatic determination of grain size for efficient parallel processing

Journal Article McCreary, C; Gill, H - Communications of the ACM; (USA)

Efficiently exploiting parallelism in programs is one of today's most critical problems in the use of parallel systems. The difficulty lies in determining how to partition a task into modules that can be executed concurrently and scheduling those modules in such a way as to minimize execution time. Two different approaches are currently being researched: a programmer-based approach which relies on special languages or language features that allow the programmer to indicate sections for simultaneous execution; and the automatic detection of parallelism from a conventional sequential language. Both approaches have merit, and research must be continued along both lines. Inmore »« less
https://doi.org/10.1145/66451.66454
Very high level concurrent programming

Journal Article Shi, Y; Prywes, N; Szymanski, B; ... - IEEE Trans. Software Eng.; (United States)

The MODEL approach reported in this paper allows human designers to have a nonprocedural implementation-independent view of a concurrent system. The designers specify the problem to be solved through representing problem concepts by variables and composing equations which define the variables. They partition the overall problem into modules, which are candidates for being computed concurrently. Each module consists of a subset of the equations. Excluded are such dynamic implementation concepts as sequences of program events, synchronization, exchanges of messages and relative timing. The translation from the specification into a respective computation by an object computer architecture is performed by themore »« less
https://doi.org/10.1109/TSE.1987.233791

Similar Records