testbed测试教程（parasoftJtest使用教程）

RuleWizard

RuleWizard（仅在Architect and Server edition中提供）允许您为Java代码语法、JSP代码和代码风格问题创建自定义的代码规范规则。Jtest可以自动实施任何在 RuleWizard 中创建的有效规则。通过创建和检查自定义规则，团队可以验证独特的项目和组织需求、以及防止最常见的错误重复出现。

使用 RuleWizard，就能以图形化的方式创建规则（通过创建流程图形式的规则表示法），或者自动创建规则（通过提供演示样本规则违例的代码）。编写或修改规则时，无需任何编码或解析器的知识。

打开 RuleWizard的方法有两种：

• 选择 “Jtest > Launch RuleWizard（Jtest > 启动 RuleWizard）”。
• 单击Test Configurations面板的 “Static（静态）”选项卡中的 “New（新建）”按钮
• 然后就会打开 RuleWizard GUI。“RuleWizard User's Guide”（《RuleWizard 用户指南》）（通过在 RuleWizard GUI 中选择 “Help > Documentation（帮助 > 文档）”可阅读此书）包含关于如何修改、创建和保存自定义规则的信息。

BugDetective静态分析

BugDetective 是一类新的静态分析技术，该技术使用了几种分析技巧，包括模拟应用程序执行路径，以识别可能触发运行时缺陷的路径。检测到的缺陷包括，空指针异常、资源泄漏、SQL注入和其他安全漏洞问题。

注意：如需使用 BugDetective，则需要用Server Edition （服务器版）。

由于该分析涉及到识别和跟踪复杂路径，它会暴露通常可逃避编码规则静态分析和单元测试的错误，这些错误难以通过手动测试或检查找到。对于那些具有遗留代码库和嵌入式代码（这些情况下，此类错误的运行时检测效果较差或根本不可能）的用户而言，BugDetective可在不执行代码的情况下显露错误的功能，就特别重要。

BugDetective独特的静态分析通过搜索代码中的 “可疑点”，开始分析正在测试的源码。可疑点是潜在的错误点。这些可疑点在 BugDetective 规则中被定义。只要识别了可疑点，BugDetective 就调查导致该可疑点的可能执行路径，并检查是否有任何确实违反BugDetective规则的路径存在。如果找到了这样的路径，就报告一个违例。

例如，检测可能的 “除数为零”情形的规则就规定，任何使用了"/" 或 "%" 运算符的点都是可疑的。然后它检查分母中的变量，在导致它为零的任何可能执行路径的点中，是否能保持零值。如果是的话，则会报告一条错误。

对于每个发现的错误，分层结构流路径数据都会详细准确地列出导致被识别错误的完整执行路径，并以显现出错误的那一代码行作为结束。为减少每个被发现问题的诊断和纠正所需要的时间和工作量，流路径详细信息还会补充扩展注释（例如，一条关于 “避免空指针解除引用”违例的描述就包含这样的注释，描述哪些变量、在流路径的哪一点包含 null 值）。

为使分析过程更灵活、更适合于项目的独特要求，可以参数化某些规则。因此，BugDetective 甚至可以用来检测与特定的 API 使用相关的违例。

通过使用 BugDetective，开发团队可以获得以下关键好处：

• 用现有资源执行更综合的测试：
• 自动识别通过了多个单元的错误：
• 关注实际错误和设计缺陷：
• 查找 API 误用：