通讯机构：
[Gong, Hongfang] C;Changsha Univ Sci & Technol, Sch Math & Stat, Changsha 410114, Peoples R China.
关键词：
Petri nets;Fault detection;Test pattern generators;Boolean functions;Software;Licenses;Automatic test cases generation;fault-based testing;general Boolean expression test;ordered binary label-driven Petri net;path-oriented test criteria
摘要：
Boolean expression testing requires certain types of tests for each Boolean expression in program specification or implementation. Fault-based testing essentially uses a subset of the exhaustive test set to detect certain special types of faults. A fault-based Boolean expression testing strategy called constraint true and false test point (CTFTP) is proposed. The test consists of two test case generation strategies, namely a unique constraint true point (UCTP) strategy and a near constraint false point (NCFP) strategy. An ordered binary label-driven Petri net model is presented to analyze the interaction between Boolean transitions and Boolean literals and yield the test paths of a singular term for the irredundant disjunctive normal forms (IDNFs). On the basis of the test paths, we develop a configuration-based IDNF test generation algorithm, which is employed to obtain the UCTP, NCFP, and CTFTP test sets for the IDNFs. The proposed test generation algorithm based on literal substitution is applied to extend the CTFTP strategy and generate a test suite for general Boolean expressions, which are evaluated using TCAS II specifications. Experimental results show that the CTFTP strategy can detect the same seven types of faults similar to the MUMCUT strategy when testing IDNFs, but only a subset of the MUMCUT test set is required. Five types of faults of general Boolean expressions can also be detected using CTFTP strategies.
关键词：
Computational modeling;Elasticity;Resource management;Optimization;Cloud computing;Dynamic scheduling;Analytical models;Anelasticity;cost-performance ratio (CPR);cyber-physical system (CPS);queuing system;semi-dormant controller cluster
摘要：
This paper investigates resource provisioning in cyber-physical systems (CPSs) by developing a new definition of anelasticity. A flat semi-dormant multicontroller (FSDMC) model is established on a special type of CPS platform named arbitrated networked control system with dual communication channels. A novel, quantitative, and formal definition of anelasticity for the FSDMC is proposed. A new finite capacity M/M/c queuing system with N-policy and asynchronous multiple working vacations of partial servers is established, and the FSDMC is modeled as a quasi-birth-and-death process to obtain the stationary probability distribution of the system. Based on the queueing model, we quantify various performance indices of the system to build a nonlinear cost-performance ratio (CPR) function. An optimization model is presented to minimize the CPR. A particle swarm optimization (PSO) algorithm is used to find the optimum solution of the optimization model and obtain the optimal configuration values of the system parameters under stability condition. By changing the system parameters, the sensitivity of the system performance indices and the CPR are analyzed, respectively. The unexpected workload varies randomly over time. Thus, an M/M/1/K queue is constructed in a Markovian environment by employing a three-state, irreducible Markov process. In this queue, the conditional average queue length and the probabilities of the three-state process are calculated. Then, the anelasticity value of the system is precisely determined. When the average arrival rate exceeds the average service rate in the queueing system, an optimal CPR unchanged adaptive algorithm based on PSO is designed to dynamically adjust the controller service rate. Extensive numerical results show the usefulness and effectiveness of the proposed techniques and exhibit that the system can maintain elastic invariance in adaptive adjustment parameters.
期刊：
International Journal of Advancements in Computing Technology,2011年3(8):146-153 ISSN：2005-8039
通讯作者：
Gong, H.(gonghf@csust.edu.cn)
作者机构：
[Gong, Hongfang; Huang, Chuangxia] College of Mathematics and Computing Science, Changsha University of Science and Technology, Changsha 410004, China
通讯机构：
[Gong, H.] C;College of Mathematics and Computing Science, , Changsha 410004, China
关键词：
Automatic test case generation;Boolean operators;Iterative partition;Predicate test;Predicate-driven Petri nets
摘要：
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 of a PDPN and an iterative partition approach for PDPNs were investigated. A generalized BOR-MI strategy called as Meaning Match Search approach (MeMS) is developed to generate a minimal MeMS-constraint set. Using the presented algorithm, one can choose a test suite that guarantees the detection of Boolean operator faults.
作者机构：
[龚红仿] College of Mathematic and Computing Science, Changsha University of Science and Technology, Changsha 410076, China;[李军义] College of Computer and Communication, Hunan University, Changsha 410082, China
通讯机构：
College of Mathematic and Computing Science, Changsha University of Science and Technology, China
通讯机构：
[Gong, Hongfang] C;Changsha Univ Sci & Technol, Sch Math & Comp, Changsha 410076, Hunan, Peoples R China.
会议名称：
The 9th International Conference for Young Computer Scientists(第九届国际青年计算机大会)
会议时间：
2008-11-18
会议地点：
安徽黄山
会议论文集名称：
The 9th International Conference for Young Computer Scientists(第九届国际青年计算机大会)论文集
关键词：
Class testing;test case generation;class specification;fault model;Event-Driven Petri Nets
摘要：
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 techniques having the ability to analyze and test the behavior for the interaction between data members and member functions in class. We demonstrate how to specify a class specification by EDPNs and a given fault model by mutant of EDPNs, which is a theoretical model to describe the dynamic behaviors of EDPNs. A test case generation technique is presented to detect the given faults by analyzing the differences of test scenario in the dynamic behaviors of both EDPNs. The presented algorithm can select a test case that detects errors described in the fault models.
