Paper Title: A Reliable and an Efficient Web Testing System Authors: Kamran Ali and Xia Xiaoling, Donghua University, China Abstract: To improve the reliability and efficiency of Web Software, the Testing Team should be creative and innovative, the experience and intuition of Tester also matters a lot. And most often the destructive nature of Tester brings reliable software to the user. Actually, Testing is the responsibility of everybody who is involved in the Project. But, one’s personal curiosity and attention is more important than the various techniques and tools available in the market for Web Testing due to the phenomena that Software Testing is an art. In this study, we are actually discussing certain techniques and tools which can be helpful to minimize bugs in Web Application and achieve reliability and efficiency to a certain level. Indeed, for bettering the quality of Web Application, Testing may not be considered as the only effective method because no one...
Paper Title: Controller Synthesis Method for Multiagent System Based on Temporal Logic Specification Authors: Ruohan Huang1,2 and Zining Cao1,2, 1 Nanjing University of Aeronautics and Astronautics, P. R. China, 2 Collaborative Innovation Center of Novel Software Technology and Industrialization, China Abstract: Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensuring it meets specified control specifications. Traditional controller synthesis methods often use formal languages to describe control specifications and are mainly oriented towards single-agent and non-probabilistic systems. With the increasing complexity of systems, the control requirements that need to be satisfied also become more complex. Based on this, this paper proposes a controller synthesis method for semi-cooperative semicompetitive multi-agent probabilistic discrete event sy...
Comments
Post a Comment