Hongfang Gong

  • Citations Per Year
Learn More
In object-oriented software testing, a class is considered to be a basic unit of testing. The state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. In this paper, we propose a new technique for class testing by using event-driven Petri nets (EDPN), which is an extended version of Petri Nets, one of(More)
A predicate that appears in specification or code can implement a condition. In this paper, we propose a Predicate-Driven Petri Net(PDPN), which can be applied to analyze and test the behavior for the interaction between predicate operators and predicate individuals or variables or expressions. With the help of the behavior function, the dynamic properties(More)
Recently, the modeling and design of distributed controllers in cyber-physical systems (CPSs), which suffer from messages lost, delay variation, and jitter, has gained lots of research attentions. A special CPS, arbitrated networked control system (ANCS), has been designed for scheduling or arbitrating networks in a control system. In this paper, we propose(More)
  • 1