小组分工情况：
组长：刘静
负责整个团队的分工，以及最后的程序测试
组员：许花子
负责分析需求，有了要用例之后，开发人员和用户要分析并确认软件系统得提供什么样的功能来满足用户的需求，功能有什么约束条件，如何验证功能满足了用户需求。
组员：徐旭东
在实现工作流中，集成由单个开发者所产生的结果，通过手工或自动化的手段，把可执行的系统搭建出来。
组员：纪欣
测试工作流要验证现阶段交付的所有组件的正确性，组件之间交互的正确性，以及检验所有的需求已被正确的实现。在这个过程中，发现、报告、会诊、修复各种缺陷，在软件部署之前保证质量达到预期要求。
组员：王琨
负责管理各个阶段产生的各种工作结果
组员：王曰芳
平衡各种可能产生冲突的目标，管理风险，克服各种约束并成功地在各个阶段需要达到的要求。
当前主流的单元测试工具汇总：
Parasoft Jtest
是第一个自动化Java单元测试工具。Jtest自动测试任何Java类或部件，而不需要您写一个测试用例、驱动程序或桩函数。只要点击一个按钮，Jtest自动测试代码构造(白盒测试)、测试代码功能性(黑盒测试)、维护代码完整性(回归测试)和静态分析(编程标准执行和指标度量)。不需要复杂的设置，Jtest能够立即使用并指出问题。如果您使用“按合同设计”技术在代码中加入描述信息，Jtest能够自动建立和执行测试用例验证一个类的功能是否符合其功能描述。
Parasoft C++Test
是单元测试和静态分析工具，自动测试C和C＋＋类别、功能或组件，而无需编写单个测试实例、测试驱动程序或桩调用。只需点击按钮，C++Test即会采用业内编码标准执行代码的静态分析，测试代码构造(白盒测试)，测试代码功能性(黑盒测试)，并保持代码完整性(回归测试)。
Parasoft .TEST
是单元测试和静态分析工具，自动测试写在Microsoft?.NET框架的类别，而无需编写单个测试场景或桩调用。只需点击按钮，.TEST即会在.NET源代码上自动执行完整系列的静态和动态测试。.TESTRuleWizard性能通过图形化表达希望.TEST在自动编码标准执行过程中查找的模式，支持设计定制的编码标准。
Parasoft Insure++
是一个自动化的内存错误、内存泄漏的精确检测工具。Insure++能够可视化实时内存操作，准确检测出内存泄漏产生的根源。Insure++还能执行覆盖性分析，清楚地指示那些代码已经测试过。将Insure++集成到您的开发环境中，能够极大地减少调试时间并有效地防止错误。
Parasoft CodeWizard
是高级C/C++源代码分析工具，采用三百种以上行业相关的编码准则，自动识别编译器未检测到的危险的编码构造。CodeWizard可以容易地通过RuleWizard性能，创建新定制的准则，或者抑制用于定制分析的准则。日常使用CodeWizard，可简化代码检查，并使代码更具可读性和可维护性。
DevPartner Studio Professional
是针对软件开发小组使用 Microsoft Visual C++，Microsoft Visual Basic，Java,ASP 或HTML设计的一套紧密配合的调试，测试和管理工具。该产品结合了强大的错误检测，性能分析，覆盖率分析，需求管理，测试和发布工具与全面的工程跟踪，错误管理，任务管理和自动的工作流程。DevPartnerStudio Enterprise Edition通过提高软件生产率，提高代码质量，支持工作流以及通讯标准让你对软件工程有更多的控制权。 Rational Purify
是一个面向VC, VB或者Java开发的测试Visual C/C++和Java代码中与内存有关的错误，确保整个应用程序的质量和可靠性。在查找典型的VisualC/C++程序中的传统内存访问错误，以及Java中与垃圾内存收集相关的错误方面，RationalPurify可以大显身手。Rational Robot的回归测试与Rational Purify结合使用完成可靠性测试。
Rational Quantify
是一个面向VC、VB或者Java开发的测试性能瓶颈检测工具，它可以自动检测出影响程序段执行速度的程序性能瓶颈，提供参数分析表等等直观表格。帮助分析影响程序短执行速度的关键部分。
Rational PureCoverage
是一个面向VC、VB或者Java开发的测试覆盖程度检测工具，它可以自动检测你的测试完整性和那些无法达到的部分。作为一个质量控制工程，可以使用PureCoverage在每一个测试阶段生产详尽的测试覆盖程度报告。