公开(公告)号：US20060184918A1

公开(公告)日：2006-08-17

申请号：US11056052

申请日：2005-02-11

Applicant: Steven Rosaria ,  Barry Webberlet ,  Michael Corning ,  Roger Porter ,  Glenn LaVigne

Inventor： Steven Rosaria ,  Barry Webberlet ,  Michael Corning ,  Roger Porter ,  Glenn LaVigne

IPC: G06F9/44

CPC classification number: G06F11/3672

Abstract: An exemplary computer-implementable method includes receiving a test specification document file for a software product wherein the test specification document file includes mark-up language, calling for storage of the test specification document file in a test database, parsing the mark-up language, creating test information for manual test variations based at least in part on the parsing of the mark-up language, outputting a list of at least some of the manual test variations, receiving manual test result information based on execution of at least one of the manual test variations on the software product and calling for storage of the manual test result information in the test database. Various other exemplary methods, devices, systems, etc., are also disclosed.

公开(公告)号：US20060075305A1

公开(公告)日：2006-04-06

申请号：US10957132

申请日：2004-10-01

Applicant: Henry Robinson ,  Michael Corning

Inventor： Henry Robinson ,  Michael Corning

IPC: G06F11/00

CPC classification number: G06F11/3684

Abstract: Disclosed is a method for using source code to create the models used in model-based testing. After exploring the intended behavior of a software package, a test engineer writes source code to model that intended behavior. The source code is compiled into a model, and the model is automatically analyzed to generate numerous test scripts that can exercise the behavior of the software package. When the tests are run, their results are compared against intended behaviors, and discrepancies are used to correct the software package (or to correct the source-code model if it was prepared incorrectly). The model coding, test generation, test execution, and comparison steps are repeated as often as necessary to thoroughly test the software package. In some embodiments, the test scripts generated by the model are written in XML (Extensible Markup Language), allowing the easy integration of the test scripts with a number of XML-based tools.

Abstract translation: 公开了一种使用源代码创建在基于模型的测试中使用的模型的方法。 在探索软件包的预期行为之后，测试工程师将编写源代码以对该预期行为进行建模。 源代码被编译成一个模型，并且模型被自动分析以产生可以行使软件包行为的许多测试脚本。 当测试运行时，将其结果与预期行为进行比较，并使用差异来纠正软件包（或者如果准备不正确，则更正源代码模型）。 经常重复模型编码，测试生成，测试执行和比较步骤，以彻底测试软件包。 在一些实施例中，由模型生成的测试脚本使用XML（可扩展标记语言）进行编写，从而允许将测试脚本与许多基于XML的工具集成起来。