Functional-Level Fault Simulation with Concurrent and Parallel Mechanisms Using Object-Oriented VLSI Model

The functional-level test has been proposed as an alternative to reduc the complexity of test when VLSI gets larger and more complicated.It has been successful for circuits such as memories,PLAs and microprocessors.However,the functional-level test for general functional models has sedldom been studied.This paper presents an object-oriented VLSI model and a functional-level fault simulation methodology for general functional model.Based on the proposed VLSI model,FFS(Functional-level Fault Simulator)with friendly visual interface has been implemented on Microsoft Windows platform by use of C .It is an integral part of MVS(Functional test Modeling and Verification System)--an extended subsystem of TeDS(Test Development System).The goal of FFS is to determine the fault coverage,generate fault dictionary and compact original test set at the function-level.In order to be efficient,FFS uses the concurrent and parallel mechanisms by taking advantage of the object-oriented VLSI model.The object-oriented VLSI model based fault simulation has been validated in the functional-level test by simulation results and the satisfying performance of FFS.     

Structured Development Environment Based on the Object-Oriented Concepts

The object-oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems.In the research on the rapid construction of Structured Development Environment(SDE)that supports detailed design and coding in software development,a generator that can generate the SE has been applied as a metatool.The kernel of SDE is a syntax-directed editor based on the object-oriented concepts.The key issue in the design of SDE is how to represent the elements of target language with the class concept and a program internally.In this paper,the key concepts and design of the SDE and its generator as well as the implementation of a prototype are to be discussed.     

A Model-Based Approach to Object-Oriented Software Metrics

The need to improve software productivity and software quality has put forward the research on software metrics technology and the development of software metrics tool to support related activities.To support object-oriented software metrics practice efectively,a model-absed approach to object-oriented software metrics is proposed in this paper.This approach guides the metrics users to adopt the quality metrics model to measure the object-oriented software products .The development of the model can be achieved by using a top-down approach.This approach explicitly proposes the conception of absolute normalization computation and relative normalization computation for a metrics model.Moreover,a generic software metrics tool-Jade Bird Object-Oriented Metrics Tool(JBOOMT)is designed to implement this approach.The parser-based approach adopted by the tool makes the information of the source program accurate and complete for measurement.It supports various customizable hierarchical metrics models and provides a flexible user interface for users to manipulate the models.It also supports absolute and relative normalization mechanisms in different situations.     

SCKE:Combining Logic- with Object-Oriented Paradigm

A new implementation(SCKE-Structured Communication Knowledge Entity)has been proposed towards combining the logic with the object-oriented paradigm of computing.It is intended to explore the advatnages in these two paradigms in a structured,natural and efficient manner for large-scale knowledge processing.The SCKE model supports modularity and protection for the structured development of knowledge systems.It also introduces the concepts that are typical for the object-oriented systems in the logic-oriented paradigm,without losing its advantages as a declarative language.Various inheritance hierarchies are supported in the SCKE model.They provide the semantics basis basis for various knowledge in AI systems.The M-entity/K-entity/Instance inberitance captures the relationship among the control,procedural and factural knowledge in AI systems.And ,the super-entity/entity/instance inheritance shows the concepts of data abstraction in the knowledge of a particular domain.In addition,the SCKE model is not simply supported on top of Prolog like other attempts to integrate the object-into the logic-oriented paradigm.The SCKE model is a tightly coupled model of the logic and the object-oriented paradigm and its interpreter uniformly interprets the logic semantics and the object-oriented semantics.     

An Object-Oriented Transaction Model

In object-oriented database systems(OOBSs),the traditional transaction models are no longer suitable because of the difference between the object-oriented data model(OODM)and the conventional data models(e.g.relational data model).In this paper,transction models for advanced database applications are reviewed and their shortcomings are analyzed.Exchangeability of operations is proposed instead of commuativity and recoverability for using more semantics in transaction management.As a result,an object-oriented transaction model(in short,OOTM)is presented.It is not modeled for some special application,but directly based on object-oriented paradigms.A transaction is regarded as an interpretation of a metho.Each transaction(even subtransactions)keeps relative ACID(Atomicity,Consistency,Isolation,Durability)properties,therefore the special problems appearing in OOBSs such as“long transactions”,“visibility of inconsistent database state”can be solved.     

Research on individual motivation model of software engineering

Motivation of software engineers is recognized as a key success factor for software projects. In this paper the author research the MOCC model （a new model of motivation） and lead the ＇A-B-C character style＇ theory into software engineering industry. By considering the particularity of software engineers and combining actual status, the author classify the ＇A-B-C character style＇ again and apply it on the analysis of software engineers＇ individual personality. In such a way, the model of motivation will be fit for individual software engineer even more and have more pertinence.     

Code Based Analysis for Object-Oriented Systems

Tile basic features of object-oriented software makes it difficult to apply traditional testing methods in objectoriented systems. Control Flow Graph （CFG） is a well-known model used for identification of independent paths in procedural software. This paper highlights the problem of constructing CFG in object-oriented systems and proposes a new model named Extended Control Flow Graph （ECFG） for code based analysis of Object-Oriented （OO） software. ECFG is a layered CFG where nodes refer to methods rather than statements. A new metrics Extended Cyclomatic Complexity （E-CC） is developed which is analogous to McCabe＇s Cyclomatic Complexity （CC） and refers to the number of independent execution paths within the OO software. The different ways in which CFG＇s of individual methods are connected in an ECFG are presented and formulas for E-CC for these different cases are proposed. Finally we have considered an example in Java and based on its ECFG, applied these cases to arrive at the E-CC of the total system as well as proposed a methodology for calculating the basis set, i.e., the set of independent paths for the OO system that will help in creation of test cases for code testing.     

Research on Variable Structure Parametric Design System of Ceramic Tile Mould Based on Modular

To solve the existing problems during the ceramic mold enterprises product design and development process, the variable structure parametric design system based on modular of ceramic mold has been developed. The system uses the object-oriented technology and top-down design concept as a guide, establishes a ceramic mold parametric design process, divides the process of ceramic mold design into modules of different levels and creates a component model library based on the functional analysis. Expanding modular thinking to parts structure design level is an effective solution to the difficulty of changing the structure during the product design process. Examples show that the system can achieve a ceramic mold product design, improve design efficiency.     

The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE

The development of the object-oriented paradigm has suffered from the lack of any generally accepted formal foundations for its semantic definition.To address this issue,we propose the development of the logic-based semantics of the object-oriented paradigm.By combining the logic-with the object-oriented paradigm of computing first,this paper discusses formally the semantics of a quite purely object-oriented logic paradigm in terms of proof theory,model theory and fixpoint theory from the viewpoint of logic.The operational and declarative semantics is given.And then the correspondence between soundness and completeness has been discussed formally.