COMPUTER‐AIDED AUTOMATIC GENERATION OF A STRUCTURED DOCUMENTARY LANGUAGE: PRELIMINARY STUDY

1971 ◽  
Vol 27 (2) ◽  
pp. 111-124 ◽  
Author(s):  
M. WOLFF‐TERROINE ◽  
D. RIMBERT
Author(s):  
Robert V. E. Bryant ◽  
Thomas J. Laliberty

Abstract Integrated Product Process Development tools which minimize downstream manufacturing risk at the earliest design stages and avoid costly Design-Build-Test cycles are essential to achieving product profitability and meeting market windows. This paper summarizes initial work performed towards the development of the Manufacturing Simulation Driver (MSD) system which will demonstrate the automatic generation and execution of distributed manufacturing simulations. These simulation models are produced by Computer Aided Process Planning (CAPP) software tools which reason about Computer Aided Design (CAD) product models and produce manufacturing “scripts” from a process and resource model of a manufacturing facility. This capability will enable emerging virtual enterprises conducting collaborative design and manufacturing to simulate and prove out the manufacturing cycle of a product prior to launching production ramp-up. 1


Author(s):  
Xiao Liu ◽  
Xiaoting Li ◽  
Rupesh Prajapati ◽  
Dinghao Wu

Compilers are among the most fundamental programming tools for building software. However, production compilers remain buggy. Fuzz testing is often leveraged with newlygenerated, or mutated inputs in order to find new bugs or security vulnerabilities. In this paper, we propose a grammarbased fuzzing tool called DEEPFUZZ. Based on a generative Sequence-to-Sequence model, DEEPFUZZ automatically and continuously generates well-formed C programs. We use this set of new C programs to fuzz off-the-shelf C compilers, e.g., GCC and Clang/LLVM. We present a detailed case study to analyze the success rate and coverage improvement of the generated C programs for fuzz testing. We analyze the performance of DEEPFUZZ with three types of sampling methods as well as three types of generation strategies. Consequently, DEEPFUZZ improved the testing efficacy in regards to the line, function, and branch coverage. In our preliminary study, we found and reported 8 bugs of GCC, all of which are actively being addressed by developers.


2006 ◽  
Vol 6 (3) ◽  
pp. 308-314 ◽  
Author(s):  
Duhwan Mun ◽  
Heungki Kim ◽  
Kwangsub Jang ◽  
Junmyun Cho ◽  
Junhwan Kim ◽  
...  

Reusing existing design models and utilizing an e-Catalog for components are required for faster product development. For the acceleration, an e-Catalog should provide parametric computer aided design (CAD) models, since parametric information is necessary for configuration design. There are difficulties, however, in building a parametric library of all the necessary combinations using a CAD system, because there are too many component combinations for each product. To overcome this problem, we propose a table parametric method to generate parametric CAD models automatically, and describe its details.


Sign in / Sign up

Export Citation Format

Share Document