关键词: 软件测试, 不确定需求, 测试用例, 标记迁移系统, 部分模型（Partial Models）, 概率表示

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.

Key words: software testing, uncertain requirements, test cases, labeled transitions systems, partial models, probability express