### Software testing with uncertain requirements

WANG Ying

1. College of Science, Zhejiang Sci-Tech University, Hangzhou 310018, China
• Online:2018-10-15 Published:2018-10-19

### 具有不确定需求的软件测试用例生成方法研究

1. 浙江理工大学 理学院，杭州 310018

Abstract: Software testing is an important part of software development, which is an important way to guarantee software quality and improve reliability. Testing starts in the requirements analysis phase, while in reality, many requirements are uncertain, and there are many uncertainties in the process of software testing. This paper mainly argues test cases generation methods of software with uncertain requirements, with Partial Model based on the labeled transition systems to model for uncertain requirements, and then to generate effective test cases based on the established model. Aiming at the uncertainty of the model, the probability is introduced, and the probability representation of uncertain parts is presented. Furthermore, the method of test cases generation is proposed based on the characteristics of labeled transition systems and Partial Model. Because the model has uncertain information, the resulting test cases have a certain probability, and the test cases are prioritized based on this.