需求内容："1.需求:软件测试用例产生2.在软件测试过程中，基于需求的测试是最基本的，这需要根据需求人工产生测试用例。同时还需要软件根据定义的各种场景进行组合产生各种极限情况在此背景下，需要解决如下问题:A.建立一种需求描述的格式化语言，编写软件，将利用此语言描述的需求自动产生测试用例B.建立自动组合各种测试场景的算法C.针对多输入，多个取值的情况，创建正交表，选择合理组合3.技术难点在于选择正确的格式化语言及开发转换软件，语言的覆盖度及适用性符合实践需求。4.软件测试的市场规模越来越大，测试方法的改进具有广阔得前景。"现有基础："1.目前存在多个描述需求的格式化语言，均为开源软件，在评价后可选择使用。我们公司目前有描述测试用例的语言及转换为测试数据的软件，需要开发一款软件，将使用所选择的需求格式化语言描述的需求自动产生测试用例并转换为我们的描述测试的语言格式。 2.我们具有对于多个变量取值的组合程序，目前没有对连续测试用例段的组合方法。目前我们收集到100多个正交表，并且具有自动选择正交表的程序，需要建立更多的正交表。3.目前已经投入一人进行预研工作"简要描述："高校及科研院所中软件测试领域，可作为研究课题共同开发。开发人员需要对软件测试及编程具有较高造诣，处于国际国内领先水平。针对Autosar建模规范的需求，也希望能与长期从事Autosar建模的汽车行业公司合作。"意向投入金额（万元）：20
