skip to content
Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System. Preview this item
ClosePreview this item
Checking...

Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System.

Author: Frederick G Sayward; Richard J Lipton; PRINCETON UNIV NJ Dept. of ELECTRICAL ENGINEERING AND COMPUTER SCIENCE.
Publisher: Ft. Belvoir Defense Technical Information Center MAR 1981.
Edition/Format:   Print book : English
Database:WorldCat
Summary:
Program mutation is a promising method for testing the functional correctness of programs. Its major criticism has been a lack of an efficient implementation method. This report presents four methods which have the potential to dramatically improve the time needed to perform program mutation: distributed computation, automatically detecting equivalent mutants, partial mutant execution, and a 'weak' version of  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Frederick G Sayward; Richard J Lipton; PRINCETON UNIV NJ Dept. of ELECTRICAL ENGINEERING AND COMPUTER SCIENCE.
OCLC Number: 227488160
Notes: Prepared in cooperation with Yale Univ., New Haven, CT. Dept. of Computer Science.
Description: 20 pages

Abstract:

Program mutation is a promising method for testing the functional correctness of programs. Its major criticism has been a lack of an efficient implementation method. This report presents four methods which have the potential to dramatically improve the time needed to perform program mutation: distributed computation, automatically detecting equivalent mutants, partial mutant execution, and a 'weak' version of program mutation. The presentation of the four potential speed-up methods is given in terms of a high-level design of a prototype distributed program mutation system. One goal of this system will be to analyze how the parallelism inherent in program mutation can be exploited on emerging distributed computer systems consisting of many processors. Another goal is to perform experiments to measure the gain in efficiency realizable by a distributed program mutation system and to compare the relative strength of weak program mutation against program mutation. In the report we also indicate areas which should receive special attention in the detailed design of a prototype distributed mutation system if these goals are to be met.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227488160> # Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System.
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "227488160" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1862872856#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/high_level_languages> ; # High level languages
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/mutations> ; # Mutations
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_program_verification> ; # Computer program verification
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_hardware> ; # Computer Hardware
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_architecture> ; # Computer architecture
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/compilers> ; # Compilers
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_systems> ; # Computer Systems
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Thing/distributed_data_processing> ; # Distributed data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_programming_and_software> ; # Computer Programming and Software
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/flow_charting> ; # Flow charting
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/dynamic_programming> ; # Dynamic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_logic> ; # Computer logic
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_communications> ; # Computer communications
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/semantics> ; # Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/fortran> ; # Fortran
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Thing/program_mutation> ; # Program mutation
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/parallel_processing> ; # Parallel processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1862872856#Topic/communications_networks> ; # Communications networks
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/117513630> ; # Richard J. Lipton
    schema:contributor <http://viaf.org/viaf/94407333> ; # Frederick G. Sayward
    schema:contributor <http://experiment.worldcat.org/entity/work/data/1862872856#Organization/princeton_univ_nj_dept_of_electrical_engineering_and_computer_science> ; # PRINCETON UNIV NJ Dept. of ELECTRICAL ENGINEERING AND COMPUTER SCIENCE.
    schema:datePublished "MAR 1981" ;
    schema:datePublished "1981" ;
    schema:description "Program mutation is a promising method for testing the functional correctness of programs. Its major criticism has been a lack of an efficient implementation method. This report presents four methods which have the potential to dramatically improve the time needed to perform program mutation: distributed computation, automatically detecting equivalent mutants, partial mutant execution, and a 'weak' version of program mutation. The presentation of the four potential speed-up methods is given in terms of a high-level design of a prototype distributed program mutation system. One goal of this system will be to analyze how the parallelism inherent in program mutation can be exploited on emerging distributed computer systems consisting of many processors. Another goal is to perform experiments to measure the gain in efficiency realizable by a distributed program mutation system and to compare the relative strength of weak program mutation against program mutation. In the report we also indicate areas which should receive special attention in the detailed design of a prototype distributed mutation system if these goals are to be met."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1862872856> ;
    schema:inLanguage "en" ;
    schema:name "Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System."@en ;
    schema:productID "227488160" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/227488160#PublicationEvent/ft_belvoirdefense_technical_information_centermar_1981> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1862872856#Agent/defense_technical_information_center> ; # Defense Technical Information Center
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/227488160> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1862872856#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
    schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Organization/princeton_univ_nj_dept_of_electrical_engineering_and_computer_science> # PRINCETON UNIV NJ Dept. of ELECTRICAL ENGINEERING AND COMPUTER SCIENCE.
    a schema:Organization ;
    schema:name "PRINCETON UNIV NJ Dept. of ELECTRICAL ENGINEERING AND COMPUTER SCIENCE." ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Thing/distributed_data_processing> # Distributed data processing
    a schema:Thing ;
    schema:name "Distributed data processing" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Thing/program_mutation> # Program mutation
    a schema:Thing ;
    schema:name "Program mutation" ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/communications_networks> # Communications networks
    a schema:Intangible ;
    schema:name "Communications networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_architecture> # Computer architecture
    a schema:Intangible ;
    schema:name "Computer architecture"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_communications> # Computer communications
    a schema:Intangible ;
    schema:name "Computer communications"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_hardware> # Computer Hardware
    a schema:Intangible ;
    schema:name "Computer Hardware"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_program_verification> # Computer program verification
    a schema:Intangible ;
    schema:name "Computer program verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
    schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/dynamic_programming> # Dynamic programming
    a schema:Intangible ;
    schema:name "Dynamic programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/high_level_languages> # High level languages
    a schema:Intangible ;
    schema:name "High level languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1862872856#Topic/parallel_processing> # Parallel processing
    a schema:Intangible ;
    schema:name "Parallel processing"@en ;
    .

<http://viaf.org/viaf/117513630> # Richard J. Lipton
    a schema:Person ;
    schema:familyName "Lipton" ;
    schema:givenName "Richard J." ;
    schema:name "Richard J. Lipton" ;
    .

<http://viaf.org/viaf/94407333> # Frederick G. Sayward
    a schema:Person ;
    schema:familyName "Sayward" ;
    schema:givenName "Frederick G." ;
    schema:name "Frederick G. Sayward" ;
    .

<http://www.worldcat.org/title/-/oclc/227488160>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/227488160> ; # Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System.
    schema:dateModified "2015-07-28" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.