Chen M.,Shanghai JiaoTong University |
Chen M.,Shanghai Key Laboratory of Computer Software Testing and Evaluating |
Cai W.,Autodesk |
Ma L.,Shanghai JiaoTong University
Mathematical Problems in Engineering | Year: 2013
The rapid developing of digital content industry calls for online model libraries. For the efficiency, user experience, and reliability merits of the model library, this paper designs a Web 3D model library system based on a cloud computing platform. Taking into account complex models, which cause difficulties in real-time 3D interaction, we adopt the model simplification and size adaptive adjustment methods to make the system with more efficient interaction. Meanwhile, a cloud-based architecture is developed to ensure the reliability and scalability of the system. The 3D model library system is intended to be accessible by online users with good interactive experiences. The feasibility of the solution has been tested by experiments. © 2013 Mingang Chen et al.
Liu P.,Shanghai Business School |
Liu P.,Shanghai Key Laboratory of Computer Software Testing and Evaluating |
Miao H.,Shanghai University
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2014
This paper presents a theory of test modeling by using regular expressions for software behaviors. Unlike the earlier modeling theory of regular expression, the proposed theory is used to build a test model which can derive effective test sequences easily. We firstly establish an expression algebraic system by means of transition sequences and a set of operators. And we then give the modeling method for behaviors of software under test based on this algebraic system. Some examples are also given for illustrating our test modeling method. Compared with the finite state machine model, the expression model is more expressive for the concurrent system and can provide the accurate and concise description of software behaviors. © 2014 Springer International Publishing Switzerland.
Chen Y.,Shanghai JiaoTong University |
Chen Y.,Shanghai Key Laboratory of Computer Software Testing and Evaluating
2013 IEEE/ACIS 12th International Conference on Computer and Information Science, ICIS 2013 - Proceedings | Year: 2013
A concurrent program is intuitively associated with probability. In this paper we propose a platform independent approach, called ProbPP, to analyzing the probabilities on the execution paths of the multithreaded programs. The main idea of ProbPP is to calculate the probabilities on the basis of two kinds of probabilities: Primitive Dependent Probabilities (PDPs) representing the control dependent probabilities among the program statements and Thread Execution Probabilities (TEPs) representing the probabilities of threads being scheduled to execute. We have also conducted two preliminary experiments to evaluate the effectiveness and performance of ProbPP, and the experimental results show that ProbPP can provide engineers with acceptable accuracy. © 2013 IEEE.
Liu P.,Shanghai Business School |
Liu P.,Shanghai Key Laboratory of Computer Software Testing and Evaluating
2014 IEEE/ACIS 15th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014 - Proceedings | Year: 2014
The paper presents a novel reduction approach to test suite in regression testing. Our approach selects a test case from those redundant test cases with the same rank according to the boundary coverage taken as second coverage criterion. Different from the previous researches for the selection of the second coverage criterion to assist test suite reduction, our approach bases on our empirical point of view that some faults in the program lie on its boundary of the program. Therefore test cases picked by our approach have the higher probability to find software errors. An algorithm is proposed to realize our approach. In addition, we also discuss the relationship between our approach with three traditional heuristics. Through a simple exampke, we illustrate our algorithm for test suite reduction. © 2014 IEEE.
Lu G.,Shanghai University |
Lu G.,Suzhou Vocational University |
Miao H.,Shanghai University |
Miao H.,Shanghai Key Laboratory of Computer Software Testing and Evaluating
Electronic Notes in Theoretical Computer Science | Year: 2014
Model-based test case generation has become a hotspot, and automatic generation of test data is difficult in this area. In this paper, system model is represented by extended finite state machine(EFSM), and genetic algorithm is used to generate test data for EFSM paths. When computing the fitness of an individual, the branch distance and the ratio of uncovered conditions of the individual are considered. In experiments, the proposed method is compared with the Kalaji's, and the results show that our method has a better effect and can get higher quality test data. © 2014 The Authors. Published by Elsevier B.V.