(一) 测试充分性研究
软件测试主要针对软件开发全过程中的测试。但随着软件的运行时间增加和数据规模的复杂和多变，软件的功能及其质量会产生变化，因此需要增强测试充分性来判断软件长期运行后的质量趋势。本研究应重点研究软件功能测试中测试充分性的目的及其实质,建立测试充分性的模型，并针对具体的1-2个应用，来验证此模型的有效性和正确性。
(二) 测试用例可复用模型研究
本研究主要研究适合测试用例复用的各类模型，结合已有的各类复用模型，分析比较适合测试用例复用的可行模型后，提出1-2种可行的复用模型，同时根据模型建立合适的复用算法，并对算法复杂度进行分析。并针对1-2个应用，来说明此模型的复用能力。
(三) 可信软件测试技术及质量模型研究
“可信软件”是指软件系统的运行行为及其结果总是符合人们的预期，在受到干扰时仍能提供持续的服务。基于可信软件的已有研究，对可信软件的测试技术进行分析，并与普通的软件测试技术的相同点和不同点进行分析，尤其是要给出这两类测试技术之间的差异。研究面向可信性的测试策略和测试用例，对可信软件的质量模型进行研究，尤其要考虑可信软件的正确性、可靠性、安全性等几个关键特性的质量模型。
(四) 软件测试基准模型（领域）
软件测试已经成为软件工程领域对软件质量进行评价和评估的主要过程。但是对软件评价的结果随着软件规模、功能、测试视角、测试方法等多种因素制约，而使得对被测软件或系统的测试结果之间存在差异。因此，有必要建立一种测试基准模型，所有软件的测试在此基准模型上进行，可以得到相同的测试结果和结论。对基准模型在不同领域之间的适用性进行研究，提出通用软件的测试基准模型和特定领域软件的基准模型，并使用基准模型对1-2个软件进行应用。
(五) 基于场景的功能测试工具研究
软件测试工具已经在自动化测试领域得到了广泛的应用，但是大多数功能测试工具仅是针对单个功能，或单个功能组合成复合功能进行的自动化测试。但是大多数系统中的软件功能是在一定的上下文中进行的，而且一个完整功能的完成需要有工作流来完成，但是不同的输入会导致不同的场景或流程，因此本研究需要对在一定场景下的功能测试的自动化进行研究，研究如何根据用户需求生成自动化测试脚本，研究如何自动对整个流程的各个分支采取自动化方法进行测试。
