Parameterized Test Using Formal Semantic of Program Language

Bo Xu; Jie Cui; Zhan Kui Zhu; Cheng Lie Du

doi:10.4028/www.scientific.net/AMM.519-520.387

Paper Titles

A Hardware Sandbox Using Processor Virtualization for Untrusted Native Code
p.368

UOFilter: A Whitelist-Based Filter for Unintended Objects in Web Pages
p.373

Realization of a 3D Model Render on Mobile Terminal Based on X3D
p.377

For Search Engine Optimization Strategy Analysis of Website Design
p.383

Parameterized Test Using Formal Semantic of Program Language
p.387

Technique of Javascript Code Obfuscation Based on Control Flow Tansformations
p.391

Examining Consumers Adoption and Continuance Intention of Online Group-Buying from User Experience Perspective
p.397

Study on Recommendation Method Based on Product Evaluation Concept Tree and Collaborative Filtering Algorithm
p.401

Study on the Design of Virtual Apparel Fitting System and the Application of Motion Capture Technology in Electronic Commerce
p.405

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 519-520Parameterized Test Using Formal Semantic of...

Parameterized Test Using Formal Semantic of Program Language

Abstract:

This paper presents a parameterized unit test framework named Semantic-PUT. It consists of batched input data model, environment isolation, program run and results assertion. The semantics of the four parts are given respectively. Unit testing of 16 algorithms have been performed using Semantic-PUT, The result shows that testing has been completed successfully, and Semantic-PUT is automated and efficient.