US7950004B2 - Devices systems and methods for testing software - Google Patents
Devices systems and methods for testing software Download PDFInfo
- Publication number
- US7950004B2 US7950004B2 US11/549,741 US54974106A US7950004B2 US 7950004 B2 US7950004 B2 US 7950004B2 US 54974106 A US54974106 A US 54974106A US 7950004 B2 US7950004 B2 US 7950004B2
- Authority
- US
- United States
- Prior art keywords
- test
- machine instructions
- software system
- predetermined software
- test case
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active, expires
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Prevention of errors by analysis, debugging or testing of software
- G06F11/3668—Testing of software
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
Definitions
- FIG. 1 is a block diagram of an exemplary embodiment of a system 1000 ;
- FIG. 2 is a flowchart of an exemplary embodiment of a method 2000 ;
- FIG. 3 is a block diagram of an exemplary embodiment of a method 3000 ;
- FIG. 4 is a block diagram of an exemplary embodiment of a method 4000 .
- FIG. 5 is a block diagram of an exemplary embodiment of a system 5000 .
- Certain exemplary embodiments comprise a method comprising rendering a verdict indicative of whether a predetermined software system functions in a predetermined manner.
- the verdict can be determined based upon machine instructions.
- the machine instructions can be automatically generated via a module adapted to parse and/or load an Extensible Markup Language XML file indicative of a test case.
- FIG. 1 is a block diagram of an exemplary embodiment of a system 1000 , which can comprise an information device 1100 .
- Information device 1100 can be communicatively coupled to a plurality of information devices via a network 1400 .
- an information device 1600 and/or an information device 1700 can be communicatively coupled to information device 1100 and/or each other.
- Information device 1600 can be adapted to develop a predetermined software system.
- Information device 1600 can comprise a user interface 1620 and a user program 1660 .
- User program 1660 can be adapted to provide computer assisted software engineering functions adapted to develop the predetermined software system.
- User interface 1620 can be adapted to render information related to developing the predetermined software system.
- Information device 1600 can be communicatively coupled to a memory device 1640 , which can be adapted to store the predetermined software system and/or information related thereto.
- information device 1700 can comprise a user program 1760 , which can be adapted to generate and/or provide one or more test cases adapted to evaluate and/or determine a verdict regarding performance of the predetermined software system.
- Information device 1700 can comprise a user interface 1720 , which can be adapted to render information related to the one or more test cases.
- Information device 1700 can be communicatively coupled to a memory device 1740 , which can be adapted to store the one or more test cases and/or information related thereto.
- the predetermined software system can be developed and/or the one or more test cases can be generated and/or provided by a single information device.
- the predetermined software system can be developed and/or the one or more test cases can each be generated and/or provided by a plurality of information device.
- FIG. 2 is a flowchart of an exemplary embodiment of a method 2000 .
- a use case diagram can be developed, provided, and/or received.
- the use case diagram can be related to a predetermined software system.
- the use case diagram can be compliant with a Unified Modeling Language (UML) testing profile and/or standard.
- UML Unified Modeling Language
- UML Unified Modeling Language
- the UML testing profile can be adapted to test the predetermined software system.
- the use case diagram and/or the UML testing profile can be developed, provided, and/or received at any phase of a software development process, such as prior to software development, during an initial stage of software development, during a testing phase of software development, and/or at a release stage of software development.
- a test generator can be applied to the use case diagram.
- the test generator can be adapted to refine the use case diagram via an activity model and a sequence diagram to determine a test case.
- the test case can be adapted to test the predetermined software system.
- Each of the use activity model and/or the sequence diagram can be compliant with a Unified Modeling Language (UML) testing profile and/or standard.
- UML testing profile can comprise the test case.
- an XML file indicative of the test case can be generated manually and/or automatically.
- the XML file can comprise predetermined structural characteristics, which can comprise:
- test case and/or machine instructions of the test case can be generated.
- the test case and/or machine instructions can be generated automatically in a predetermined programming language via a plurality of modules that can comprise:
- the predetermined programming language can be Pascal, C, C+, C++, awk, Simula, Eiffel, Smalltalk, XML, Tree and Tabular Combined Notation-3 (TTCN-3), Ruby, Java, Lisp, Visual Basic for Applications (VBA), Perl, JUnit, and/or A Programming Language (APL), etc.
- test case and/or machine instructions can be transmitted via a signal.
- Certain exemplary embodiments can be adapted to cause the test case and/or machine instructions to be transmitted as a signal to an information device adapted to execute the test case and/or machine instructions.
- the test case can be validated manually and/or automatically.
- the test case can be compared to predetermined criteria to establish compliance with one or more standards.
- the test case can be examined by an automatic compiler and/or interpreter adapted to determine syntactical errors therein.
- the validation action can comprise evaluating a status of an execution of the test case and/or machine instructions via data provided by and/or obtained from the predetermined software system.
- the predetermined software system, test case, and/or machine instructions can be executed via an information device.
- the predetermined software system can be executed with the test case and/or machine instruction providing inputs and/or an environment for execution.
- data and/or a renderable verdict can be generated and/or obtained from the predetermined software system, and/or an information device related thereto, responsive to activity 2700 .
- the verdict can be adapted to be analyzed by an Arbiter.
- the verdict can be indicative of whether the predetermined software system functioned in a predetermined manner responsive the test case and/or machine instructions.
- the data, a verdict associated with the data, and/or information derived from the data can be rendered via a user interface.
- a Unified Modeling Language (UML) testing profile can be adapted for relatively early consideration and tight integration of test aspects in software development.
- a Test Development Environment TDE/UML
- TDE/UML can be adapted to enable automated generation of multiple test cases from system use cases.
- Certain exemplary embodiments can be adapted to generate and/or execute tests based on an integration of the UML testing profile into TDE/UML. Certain exemplary embodiments can be adapted to reduce costs of test automation, yet provide test automation benefits.
- Tight time schedules and/or a desire for software security can make automated software testing desirable.
- Certain exemplary embodiments can comprise testing from an initial phase of a software development process, and/or providing a means to facilitate test automation.
- Certain exemplary embodiments can comprise harnessing tests based on a UML testing profile and TDE/UML. Certain exemplary embodiments can comprise integrating the testing profile into TDE/UML and/or utilizing a code generator that produces and executes tests. Such embodiments can be described as harness test cases.
- a test harness can be a system that can start a System Under Test (SUT), send test messages to the SUT, and/or evaluate test pass/no pass results.
- SUT System Under Test
- UML Unified Modeling Language
- OMG Object Management Group
- UML can be adapted to allow a model to be constructed, analyzed, and manipulated in a standard way at analysis and/or design time.
- UML can provide extension mechanisms like stereotypes, tagged values, and constraints.
- a profile can be a collection of such extensions that together describe a particular modeling problem and can facilitate modeling constructs in a specific domain.
- UML 2.0 testing profile U2TP
- U2TP is such an extension of the UML, which can be adapted for use in the testing domain.
- U2TP can provide various concepts to employ UML for test specification and/or design.
- U2TP can be utilized for testing at the initial phase of a software development project.
- U2TP can be applied to enhance TDE/UML with information adapted to generate executable tests.
- TDE/UML is an exemplary algorithm for creating test cases based on UML one or more use cases, corresponding activity diagrams, and/or annotations.
- TDE/UML is an exemplary extension of the test development environment (TDE), which can be based on a category partition method.
- Test automation can be associated with capture/reply mechanisms, which can involve efforts of a tester.
- capture/reply can be adapted to allow testing at an end of a software development cycle.
- TDE/UML can be adapted to allow a creation of test cases from a system specification.
- TDE/UML can be adapted to automate and/or formalize a process of test design, generation, and/or execution, in order to deliver relatively systematic and efficient system testing.
- the UML testing profile can consider test aspects from a beginning of software development and might achieve tight integration of software testing in a development process.
- the UML testing profile can be adapted for test modeling and/or design.
- a Testing and Test Control Notation (TTCN) can be a test specification language.
- TTCN-3 can comprise a runtime environment that, via requesting further work, can enable automated execution of the designed tests.
- U2TP is a language that can be utilized for designing, visualizing, specifying, analyzing, constructing, and/or documenting artifacts of test systems.
- U2TP can be adapted to support automated testing of system implementations according to computational UML models.
- U2TP can be adapted for the specification of conformance requirements and conformance testing and/or functional black box testing procedures.
- a testing profile can extend UML with test specific concepts such as test components and/or verdicts, etc.
- the testing profile can group such concepts into logical parts that can comprise: test architecture, test behavior, test data, and time.
- An architectural part can comprise a set of concepts to specify structural aspects of a test context covering the System Under Test (SUT), test components, and/or test configuration, etc.
- SUT System Under Test
- test components test components
- test configuration etc.
- Test components can be active entities that realize the behavior of a test case.
- a test component can be a class of a test system that has a set of interfaces via which the test component can communicate via a connection with other test components and/or with the SUT.
- a test component can also perform a validation action, which can be retrieved by an arbiter.
- the SUT can be a system, subsystem, or component being tested.
- the SUT can comprise several objects and can be exercised via a public interface operations and signals by test components.
- the SUT can be a black box in which a public interface is known.
- the arbiter can be adapted to assess a final verdict for a test case and/or a test context.
- the Arbiter can assess a property of a test case or a test context.
- the arbiter can be assigned different arbitration strategies, however a default can comprise verdicts such as Pass, Inconclusive, Fail, and/or Error, etc.
- the arbiter can retrieve the verdict of each single test component and/or assess an overall verdict.
- a Test Context can be a collection of test cases together with a test configuration, which can be a collection of test component objects and connections between these objects and the SUT.
- Utility parts can be miscellaneous components that can help the test components to realize test behavior.
- a behavioral part can comprise a set of concepts to specify test behavior, the objectives thereof, and/or the evaluation of SUT.
- the behavioral part can be adapted to describe test cases as intercommunication of test components amongst the test components and/or with the SUT, and can provide a means to describe test evaluation, such as verdicts and/or validation actions, etc.
- the test objective can describe the aim, purpose, and/or intention of a test.
- the test objective can be associated with a test case and can reflect what can and/or should be tested, with what anticipated result, and/or why the anticipated result is expected.
- a test case can comprise a specification of one case to test the SUT.
- the test case can comprise information regarding what to test, with which input, with what expected result, and/or under which condition.
- the test case can use a technical specification of how the SUT should be tested, i.e. the test behavior.
- the test case can be the implementation of a test objective.
- the test case can be a property of a test context specifying how a set of cooperating test components interact with the SUT to realize a test objective.
- the test case can use an arbiter to evaluate a test result. Thereby, each test component can maintain a corresponding local verdict. Each local verdict can be sampled by the arbiter to assess an overall verdict for the test case.
- a verdict can be an assessment of correctness of the SUT.
- Test cases can yield verdicts.
- the testing profile can result in verdicts that comprise:
- a validation action can be an action to evaluate the status of the execution of a test scenario by assessing the SUT observations and/or additional parameters of the SUT.
- the validation action can be performed by a test component and can set a local verdict of the test component.
- Observations and stimuli can be the data sent and received from the SUT respectively. Observations and stimuli can be viable for logging actions. In certain exemplary embodiments, observations and stimuli can be logged, transmitted, stored, and/or recorded automatically.
- Defaults can be executed by test components and can be triggered by a test observation that is not handled in the behavior of a test case directly.
- a test case can describe an expected behavior for the SUT. However, if unexpected test behavior is observed during test execution, then a default handler can be applied. Defaults can be used to complete the test definition. Defaults can be defined hierarchically and can be added to single events, test components or complete tests.
- U2TP can define a principal constituent, but might not provide all details of the test.
- the testing profile can provide a description of a test case at an abstract level that can be independent of realization technologies.
- a UML testing profile can reflect concepts of testing approaches for UML such as TTCN-3.
- TTCN-3 can comprise a mapping that can serve as a basis for harnessing U2TP models.
- Certain exemplary embodiments can be adapted to harness tests in a relatively seamless manner. Certain exemplary embodiments can be adapted to create executable tests from the models, including test case generation by means of TDE/UML.
- the testing profile can, and/or ought to, be on an abstract level, independent on the realization technologies, the testing profile might not consider initialization and setup issues of a test.
- the components included in the test case can be initialized.
- the SUT as well as test components and possibly utility parts can be started. Test control and test invocation might be suitable as far as test cases are concerned.
- the technical realization of the test cases which can be performed between test components and the SUT, can be ignored by U2TP.
- the components participating in a test case can be set up for communication as well initialized.
- the components can be adapted to communicate between each other and with the SUT.
- the SUT can be aware of particular test components, for the SUT might have to communicate with the particular test components. Since the SUT can be a black box, certain exemplary embodiments can utilize knowledge of the SUT interface.
- the knowledge can comprise information about the initialization and configuration of the SUT.
- test component which emulates an existing part of the system, providing certain functionality and/or acting as a stub component.
- the testing profile can consider test components entirely as stub objects.
- a test component can provide functionality as well.
- Test data and related topics like stimulus and observation can impede a total automation of tests. This might not be a particular problem of the testing profile.
- the testing profile suggests some methods to model the data that can utilize stimuli and observations.
- defaults can be utilized to model certain aspects of a test, even unexpected behavior. However, the profile might not suggest how to employ such a tool. Samples presented in the specification can apply to timing constraints, i.e. if a specific time is exceeded a default is triggered.
- the arbiter should enable the use of different arbitration strategies, the specification might not specify how the arbiter can be realized.
- U2TP can be adapted to provide the description of a test case on an abstract level that is independent on the realization technologies.
- U2TP can be adapted to allow capturing certain information for black box test approaches to evaluate a correctness of system implementations.
- the intended independency on the realization technologies can collide with an immediate generation of executable test scripts based on models. Conversely, a more precise modeling might counteract such a problem and allow a creation of such test scripts.
- U2TP proposes and advertises some methodologies without unfolding the application thereof, which can obstruct an employment of certain technologies proposed by the profile, such as defaults.
- Certain exemplary embodiments can comprise an automated creation of executable tests from a system specification, which can be TDE/UML and/or U2TP. Certain exemplary embodiments can incorporate U2TP into TDE/UML to capture information adapted for generating executable tests.
- FIG. 3 is a block diagram of an exemplary embodiment of a generation process.
- the process can employ TDE/UML 3500 for creating test cases 3600 from a system specification.
- TDE/UML 3500 can and/or should work according to a specification thereof.
- TDE/UML 3500 can be adapted to utilize case diagrams 3200 , which can be refined with activity diagrams 3500 via test generator 3100 to create test cases 3600 from a refined system specification.
- Created test cases 3600 might not contain sufficient information to make created test cases 3600 executable.
- the created test cases 3600 can be used along with capture/reply tools to create executable tests 3800 .
- Certain exemplary embodiments can incorporate U2TP to receive information. Certain exemplary embodiments can refine activity diagrams with sequence diagrams 3400 on the U2TP standard in order to have the activities comprise information adapted for use in code generation. Certain exemplary activities can comprise a description of a behavior. With behavioral information a code generator 3700 can be capable of creating and executing test cases 3600 created by TDE/UML 3500 . In certain exemplary embodiments, TDE/UML 3500 can utilize produced test cases 3600 that embrace more information than might be recognized by U2TP. Such test cases can be stored in an XML data structure, which is adapted for storage of test cases 3600 . Using such an XML data structure, code generator 3700 can produce and/or execute the tests.
- Code generator 3700 can comprise a generic interface that allows the generation of tests for different target programming languages. New target languages can be added during run time.
- U2TP models can utilize further information to harness such models and to utilize certain features that U2TP advertises.
- U2TP can be incorporated in TDE/UML 3500 to integrate the approach with a beginning of a software development process.
- modeling suggestions can be split into two parts, integrating U2TP in TDE/UML 3500 and enhancing U2TP, in order to employ U2TP for test harness, namely generating and executing tests.
- U2TP can delineate test behavior with a test case defined in terms of sequences, alternatives, loops, and/or defaults of stimuli to and observations from the SUT.
- Test evaluation can be provided by concepts like verdicts, validation actions, arbiter, etc.
- TDE/UML 3500 can employ UML use case diagrams 3200 and activity diagrams 3300 for generating test cases 3600 from refined system specification. Thereby TDE/UML 3500 can combine graph with data coverage. Graph coverage can be achieved through different coverage criteria for activity diagrams 3300 , which can describe use case diagrams 3200 . Considering the activities as different steps of a test, can lead to activities that comprise information that can be utilized to execute a test.
- U2TP can allow the use of an interaction diagram for modeling test behavior.
- Certain exemplary embodiments can employ sequence diagrams 3400 , for sequence diagrams 3400 can be utilized for describing test behavior.
- Sequence diagrams 3400 can be interaction diagrams that emphasize a time ordering of messages.
- FIG. 4 illustrates the integration of sequence diagrams into activities. Certain exemplary embodiments can utilize integration for embedding information about test behavior in activities.
- FIG. 4 illustrates a sequence that describes an activity Geometric mean 4100 .
- FIG. 4 delivers insight into modeling with U2TP.
- the depicted test comprises two test components that interact with the SUT 4400 comprising a math library.
- U2TP beholds test components as stubs.
- test components can implement some functionality as well.
- a user can select whether a component is stub, implement existing functionality, and/or if the component can be utilized for test purposes.
- the components can be marked as to whether the test component is to implement existing functionality and/or is created for test purpose.
- a note adherent to the specific component can be utilized to indicate the selection of the user.
- components to be created can be marked with a note.
- FIG. 4 is a block diagram of an exemplary embodiment of a method 4000 .
- An initial method call can be performed by an added activity that can be recognizable by a name.
- methods that are called by SUT 4400 can be modeled, in order to evaluate certain exemplary tests.
- Method 4000 can comprise an arithmetic mean 4200 .
- method 4000 can comprise a geometric test component 4300 and/or a display test component 4500 .
- Geometric test component 4300 can be adapted to provide a proceed instruction 4600 to SUT 4400 in order to calculate a geometric mean.
- SUT 4400 can be adapted to provide a result 4700 to geometric test component 4300 and/or an instruction 4800 to display the result to display test component 4500 .
- Certain exemplary embodiments of tests created via TDE/UML can utilize a data structure capable of storing test information.
- Certain exemplary embodiments can utilize the eXtensible Markup Language (XML).
- XML can separate structure/syntax, content, and/or presentation.
- Certain exemplary embodiments can employ an XML schema to define the data structure.
- Certain exemplary embodiments can draw on XMLSpy to create the schema.
- the statistical information can comprise data about a number of paths and/or number of generated test cases, etc.
- the statistical information can be affiliated to the simple TDE/UML output that describes the activities and the associated actors of a test case.
- the architectural structure can reflect U2TP architectural concepts.
- the architectural structure can define the structure of the test case, the partaking components, and so on.
- the behavioral part can be associated with U2TP behavioral concepts.
- the behavioral part can define the structure for the test behavior, like stimuli, observations, validation actions, etc.
- Blending sub-parts together the global schema might not have further functionality.
- the global schema can define the entire data structure.
- Apache's XMLBeans can be used to write and read the XML file.
- XMLBeans can access the XML schema via a Java compatible interface.
- XMLBeans Based on the created data structure, namely the XML schema, XMLBeans can create an object model for the XML schema.
- data comprised by an XML document can be accessed and/or manipulated using Java classes.
- the code generation process can be divided into five self-contained steps:
- the test application can be adapted to harness the test (e.g., starting SUT 4400 , sending messages to, and/or receiving messages from SUT 4400 , etc.). A separation of the steps can be utilized to produce code for different target languages.
- code design can be separated into five independent components, which can be structured in independent components.
- Certain exemplary embodiments can allow switching a target language at runtime without changing remaining code.
- an interface can be implemented that writes the new target code, which can be added to the code generation process.
- Certain exemplary embodiments can exchange other components of the code as well without affecting other components.
- each component can be adapted to provide functionality via respective interfaces to other components.
- a general component can encapsulate certain functionality and deliver the functionality to a user interface, sustaining different GUTs.
- a direct compilation and build of generated code can allow for a treatment of errors. Since the initialization and/or compiling of the component in a test might entail errors, the code generator can be adapted to recognize, correct, and/or present such errors to the user. Having the initialization of the components contained in one file also might reduce rework of the generated code. Being able to execute the produced test can enable the code generator to harness the test. The user can provide the path of SUT 4400 , further test components, and/or utility parts.
- the structure of the generated code can be based on the target language Java.
- the code generator Preliminary to the creation of target code, the code generator can be adapted to build an object model. However, the object model might only reflect a behavior of a test case. Logging and arbitration can be target language specific solutions.
- the target Java code can be structured in five packages. Two packages can comprise the U2TP environment including arbiter, verdicts, logging, etc. The two packages can form a global structure of target code.
- Logging can be based on Apache log 4j. Although log 4j can be designated for logging while development, log 4j can be adapted for logging in a test context as well. Therefore, log 4j can be extended with logging levels for test purposes like SUT, TRACE, VALIDATION ACTION, and so on. Logging can be added to each test component that realizes real functionality. Each communication with and/or from SUT 4400 can be logged as well as each communication between the test component and/or utility parts.
- the application can comprise a logging level adapted to encircle test application errors.
- the generated code can comprise a test context, which can also comprise a main test application and a graphic user interface (GUI).
- GUI graphic user interface
- the GUI can represent the results of the test cases and test components, namely their verdicts, and/or the gathered logging messages.
- the test context can be adapted to handle test invocation, e.g., starting the different test cases that belong to the specific context.
- each test case can be executed in a distinct, separate, independent, and/or proprietary thread, which can improve execution of certain test cases, even though one test case might not perform well.
- FIG. 5 is a block diagram of an exemplary embodiment of a system 5000 , which can comprise a test component 5100 , a test case 5200 , and/or an arbiter 5300 .
- Test case 5200 can invoke test component 5100 to conduct test case 5100 . Each test component 5100 can conclude by performing a validation action. Arbiter 5200 can sample a verdict of each test component 5100 and determine an overall verdict for test case 5100 . Certain exemplary embodiments can be adapted to utilize a default arbitration strategy. Certain exemplary embodiments can define an explicit arbitration strategy. Such a strategy can be bequeathed to the test application via a code generator GUI or via a command line.
- Certain exemplary embodiments can automate a testing process using U2TP and/or TDE/UML. Certain exemplary embodiments can create and/or harness tests from a refined system specification. In certain exemplary embodiments, testing can be considered from a beginning of a software development project.
- U2TP can enable an integration of testing in the development process, and TDE/UML can allow an automated creation of test cases based on system specification. U2TP and/or TDE/UML can provide a means to automatically harness the test cases supplied by TDE/UML
- test cases created by TDE/UML can be enhanced with information comprised by a data structure.
- executable tests for exemplary software systems can be generated manually, automatically, and/or any combination thereof.
- the code generator can be adapted to harness test cases in an XML file. Reworking generated code might involve relatively little effort.
- the code generator equips TDE/UML with a test execution environment that empowers harnessing test cases created by TDE/UML.
- the generated test applications can be repeatedly executable and the generated Java code can comprise a concise structure that might allow manual enhancements of the generated tests.
- Certain exemplary embodiments can comprise an integration of sequence diagrams into TDE/UML. Certain exemplary embodiments can be adapted for the modeling of explicit defaults.
- a data structure an organization of a collection of data that allows the data to be manipulated effectively and/or a logical relationship among data elements that is designed to support specific data manipulation functions.
- a data structure can comprise meta data to describe the properties of the data structure. Examples of data structures can include: array, dictionary, graph, hash, heap, linked list, matrix, object, queue, ring, stack, tree, and/or vector.
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
-
- a structure adapted to obtain statistical information during a test of the predetermined software system, the statistical information can comprise a number of paths and/or a number of tests;
- a structure adapted to obtain output from the predetermined software system during the test of the predetermined software system; and/or
- architectural information related to a structure of the test case and an identification of components taking part in the test, the architectural information can comprise definition of a test case structure and/or identification of software, firmware, and/or hardware components taking part in the test of the predetermined software system;
- behavioral information regarding the test of the predetermined software system; and/or
- information regarding organization of an XML data structure associated with the XML file.
-
- a first module adapted to parse and load the XML file;
- a second module adapted to create a programming language independent object model based upon the XML file;
- a third module adapted to produce the machine instructions in the predetermined programming language;
- a fourth module adapted to compile and build the machine instructions associated with the test case, the fourth module adapted to initialize components of the test case in a file; and/or
- a fifth module adapted to execute the machine instructions, the fifth module adapted to log results obtained from the predetermined software system.
-
- Pass: implies SUT might have behaved according to specification;
- Inconclusive: implies that a determination might not have been made as to whether the SUT performed according to specification or not;
- Fail: implies that the SUT might not have behaved according to the specification; and
- Error: implies that a determination has been made of a failure other than the SUT.
-
- a structure for statistical information;
- a simple TDE/UML output that might lack certain execution information;
- architectural information;
- behavioral information; and/or
- organize sub-parts.
-
- the XML file can be parsed and/or loaded;
- a programming language independent object model can be created;
- using the object model, code can be produced in a definitive target programming language;
- using the produced code, compile and build the test code; and/or
- using the produced code, executing the built test application.
-
- a—at least one.
- activity—an action, act, deed, function, step, and/or process and/or a portion thereof.
- activity model—a graphical notation that describes, in terms of activity diagrams of the Unified Modeling Language (UML), specifications for one or more activities.
- adapted to—suitable, fit, and/or capable of performing a specified function.
- adjust—to change so as to match, fit, adapt, conform, and/or be in a more effective state.
- algorithm—a method and/or procedure adapted to solve a problem and/or perform a function.
- analyze—to review, study, examine, evaluate, and/or consider in detail and/or to subject to an analysis in order to discover essential features and/or meaning.
- and/or—either in conjunction with or in alternative to.
- apparatus—an appliance or device for a particular purpose
- applying to put to use for a purpose.
- Arbiter—hardware, firmware, and/or software adapted to analyze verdicts regarding a system under test.
- architectural information—data related to a test case structure and/or identification of components of a predetermined system.
- associate—to relate, bring together in a relationship, map, combine, join, and/or connect.
- associated with—related to.
- attempt—to try to achieve.
- automatically—acting and/or operating in a manner essentially independent of external human influence and/or control. For example, an automatic light switch can turn on upon “seeing” a person in its view, without the person manually operating the light switch.
- based upon—determined in consideration of and/or derived from.
- below—less than.
- between—in a separating interval and/or intermediate to.
- build—to prepare hardware, firmware, and/or software for testing and/or release to users.
- can—is capable of, in at least some embodiments.
- cause—to bring about, provoke, precipitate, produce, elicit, be the reason for, result in, and/or effect.
- characteristic—a distinguishing feature.
- compatible—an ability of one device or program to work with another device or program.
- compile—to translate machine instructions from a high-level language into another language using a compiler.
- component—a constituent element and/or part.
- comprises includes, but is not limited to, what follows.
- comprising—including but not limited to, what follows.
- configure—to design, arrange, set up, shape, and/or make suitable and/or fit for a specific purpose.
- constant—continually occurring; persistent; and/or unchanging.
- constraint—a limitation.
- create—to make, form, produce, generate, bring into being, and/or cause to exist.
- data—information represented in a form suitable for processing by an information device.
-
- define—to establish the meaning, relationship, outline, form, and/or structure of; and/or to precisely and/or distinctly describe and/or specify.
- determination—an act of making or arriving at a decision.
- determine—to obtain, calculate, decide, deduce, establish, and/or ascertain.
- develop—to bring a software system into being.
- device—an instrumentality adapted to a particular purpose.
- distinct—discrete and/or readily distinguishable from all others.
- during—at some time in a time interval.
- each—every one of a group considered individually.
- establish—to create, form, and/or set-up.
- estimate—to calculate and/or determine approximately and/or tentatively.
- execute to carry out a computer program and/or one or more instructions.
- Extensible Markup Language (XML)—a simple, very flexible text format that serves as a standard for creating markup languages that describe the structure of data. It is not a fixed set of elements like HTML, but rather, it is like SGML (Standard Generalized Markup Language) in that it is a meta-language, or a language for describing languages. XML enables authors to define their own tags. XML is a formal specification of the World Wide Web Consortium.
- file—a set of data, such as related data, that is kept together.
- fifth—following a fourth thing in an ordering.
- first—before one or more other things in an ordering.
- fourth—following a third thing in an ordering.
- from—used to indicate a source.
- function—to perform as expected when applied.
- further—in addition.
- generate—to create, produce, render, give rise to, and/or bring into existence.
- haptic—involving the human sense of kinesthetic movement and/or the human sense of touch. Among the many potential haptic experiences are numerous sensations, body-positional differences in sensations, and time-based changes in sensations that are perceived at least partially in non-visual, non-audible, and non-olfactory manners, including the experiences of tactile touch (being touched), active touch, grasping, pressure, friction, traction, slip, stretch, force, torque, impact, puncture, vibration, motion, acceleration, jerk, pulse, orientation, limb position, gravity, texture, gap, recess, viscosity, pain, itch, moisture, temperature, thermal conductivity, and thermal capacity.
- identification—evidence of identity, such as a moniker, description, designation, and/or characteristics, and/or something that uniquely and/or substantially uniquely identifies a person and/or thing.
- image—an at least two-dimensional representation of an entity and/or phenomenon.
- independent object—a hardware, firmware, and/or software item that can be individually selected and/or manipulated.
- indicate—to show, mark, signal, signify, denote, evidence, evince, manifest, declare, enunciate, specify, explain, exhibit, present, reveal, disclose, and/or display.
- indicative—serving to indicate.
- information—facts, terms, concepts, phrases, expressions, commands, numbers, characters, and/or symbols, etc., that are related to a subject. Sometimes used synonymously with data, and sometimes used to describe organized, transformed, and/or processed data. It is generally possible to automate certain activities involving the management, organization, storage, transformation, communication, and/or presentation of information.
- information device—any device on which resides a finite state machine capable of implementing at least a portion of a method, structure, and/or or graphical user interface described herein. An information device can comprise well-known communicatively coupled components, such as one or more network interfaces, one or more processors, one or more memories containing instructions, one or more input/output (I/O) devices, and/or one or more user interfaces (e.g., coupled to an I/O device) via which information can be rendered to implement one or more functions described herein. For example, an information device can be any general purpose and/or special purpose computer, such as a personal computer, video game system (e.g., PlayStation, Nintendo Gameboy, X-Box, etc.), workstation, server, minicomputer, mainframe, supercomputer, computer terminal, laptop, wearable computer, and/or Personal Digital Assistant (PDA), iPod, mobile terminal, Bluetooth device, communicator, “smart” phone (such as a Treo-like device), messaging service (e.g., Blackberry) receiver, pager, facsimile, cellular telephone, a traditional telephone, telephonic device, a programmed microprocessor or microcontroller and/or peripheral integrated circuit elements, a digital signal processor, an ASIC or other integrated circuit, a hardware electronic logic circuit such as a discrete element circuit, and/or a programmable logic device such as a PLD, PLA, FPGA, or PAL, or the like, etc.
- initialize—to create, produce, render, give rise to, and/or bring into existence.
- input/output (I/O) device—an input/output (I/O) device of an information device can be any sensory-oriented input and/or output device, such as an audio, visual, haptic, olfactory, and/or taste-oriented device, including, for example, a monitor, display, projector, overhead display, keyboard, keypad, mouse, trackball, joystick, gamepad, wheel, touchpad, touch panel, pointing device, microphone, speaker, video camera, camera, scanner, printer, haptic device, vibrator, tactile simulator, and/or tactile pad, potentially including a port to which an I/O device can be attached or connected.
- knowledge—the ability to interpret information in order to extract greater meaning.
- load—to bring a program and/or data into a predetermined memory device.
- log—a record of events.
- machine instructions—directions adapted to cause a machine, such as an information device, to perform one or more particular activities, operations, and/or functions. The directions, which can sometimes form an entity called a “processor”, “kernel”, “operating system”, “program”, “application”, “utility”, “subroutine”, “script”, “macro”, “file”, “project”, “module”, “library”, “class”, and/or “object”, etc., can be embodied as machine code, source code, object code, compiled code, assembled code, interpretable code, and/or executable code, etc., in hardware, firmware, and/or software.
- machine-readable medium—a physical structure from which a machine, such as an information device, computer, microprocessor, and/or controller, etc., can obtain and/or store data, information, and/or instructions. Examples include memories, punch cards, and/or optically-readable forms, etc.
- manner—a mode of action.
- may—is allowed and/or permitted to, in at least some embodiments.
- memory device—an apparatus capable of storing analog or digital information, such as instructions and/or data. Examples include a non-volatile memory, volatile memory, Random Access Memory, RAM, Read Only Memory, ROM, flash memory, magnetic media, a hard disk, a floppy disk, a magnetic tape, an optical media, an optical disk, a compact disk, a CD, a digital versatile disk, a DVD, and/or a raid array, etc. The memory device can be coupled to a processor and/or can store instructions adapted to be executed by processor, such as according to an embodiment disclosed herein.
- method—a process, procedure, and/or collection of related activities for accomplishing something.
- module—a set of instructions for operating a processor.
- network—a communicatively coupled plurality of nodes, communication devices, and/or information devices. Via a network, such devices can be linked, such as via various wireline and/or wireless media, such as cables, telephone lines, power lines, optical fibers, radio waves, and/or light beams, etc., to share resources (such as printers and/or memory devices), exchange files, and/or allow electronic communications therebetween. A network can be and/or can utilize any of a wide variety of sub-networks and/or protocols, such as a circuit switched, public-switched, packet switched, connection-less, wireless, virtual, radio, data, telephone, twisted pair, POTS, non-POTS, DSL, cellular, telecommunications, video distribution, cable, terrestrial, microwave, broadcast, satellite, broadband, corporate, global, national, regional, wide area, backbone, packet-switched TCP/IP, IEEE 802.03, Ethernet, Fast Ethernet, Token Ring, local area, wide area, IP, public Internet, intranet, private, ATM, Ultra Wide Band (UWB), Wi-Fi, BlueTooth, Airport, IEEE 802.11, IEEE 802.11a, IEEE 802.11b, IEEE 802.11g, X-10, electrical power, multi-domain, and/or multi-zone sub-network and/or protocol, one or more Internet service providers, and/or one or more information devices, such as a switch, router, and/or gateway not directly connected to a local area network, etc., and/or any equivalents thereof.
- network interface—any physical and/or logical device, system, and/or process capable of coupling an information device to a network, Exemplary network interfaces comprise a telephone, cellular phone, cellular modem, telephone data modem, fax modern, wireless transceiver, Ethernet card, cable modem, digital subscriber line interface, bridge, hub, router, or other similar device, software to manage such a device, and/or software to provide a function of such a device.
- obtain—to receive, get, take possession of, procure, acquire, calculate, determine, and/or compute.
- operate to perform a function and/or to work.
- originate—to give rise to and/or initiate.
- output—(n) something produced and/or generated; data produced by an information device executing machine-readable instructions; and/or the energy, power, work, signal, and/or information produced by a system. (v) to provide, produce, manufacture, and/or generate.
- packet—a generic term for a bundle of data organized in a specific way for transmission, such as within and/or across a network, such as a digital packet-switching network, and comprising the data to be transmitted and certain control information, such as a destination address.
- parse—to analyze in order to associate groups of characters with the syntactic units of underlying grammar.
- plurality—the state of being plural and/or more than one.
- predetermined—determine, decide, or establish in advance.
- prior—preceding in time.
- probability—a quantitative representation of a likelihood of an occurrence.
- processor—a hardware, firmware, and/or software machine and/or virtual machine comprising a set of machine-readable instructions adaptable to perform a specific task. A processor can utilize mechanical, pneumatic, hydraulic, electrical, magnetic, optical, informational, chemical, and/or biological principles, mechanisms, signals, and/or inputs to perform the task(s). In certain embodiments, a processor can act upon information by manipulating, analyzing, modifying, and/or converting it, transmitting the information for use by an executable procedure and/or an information device, and/or routing the information to an output device. A processor can function as a central processing unit, local controller, remote controller, parallel controller, and/or distributed controller, etc. Unless stated otherwise, the processor can be a general-purpose device, such as a microcontroller and/or a microprocessor, such the Pentium IV series of microprocessor manufactured by the Intel Corporation of Santa Clara, Calif. In certain embodiments, the processor can be dedicated purpose device, such as an Application Specific Integrated Circuit (ASIC) or a Field Programmable Gate Array (FPGA) that has been designed to implement in its hardware and/or firmware at least a part of an embodiment disclosed herein. A processor can reside on and use the capabilities of a controller.
- produce—to manufacture or make.
- profile—a representation, outline, and/or description of an object, structure, and/or surface.
- programming language—an artificial language used to write instructions that can be translated into machine language and then executed by a computer.
- project—to calculate, estimate, or predict.
- provide—to furnish, supply, give, convey, send, and/or make available.
- receive—to gather, take, acquire, obtain, accept, get, and/or have bestowed upon.
- recommend—to suggest, praise, commend, and/or endorse.
- refine—to adjust, enhance, and/or improve.
- related—connected to and/or associated with.
- relative—considered with reference to and/or in comparison to something else.
- render—to display, annunciate, speak, print, and/or otherwise make perceptible to a human, for example as data, commands, text, graphics, audio, video, animation, and/or hyperlinks, etc., such as via any visual, audio, and/or haptic means, such as via a display, monitor, printer, electric paper, ocular implant, cochlear implant, speaker, etc.
- request—(v.) to express a need and/or desire for; to inquire and/or ask for. (n.) that which communicates an expression of desire and/or that which is asked for.
- responsive—reacting to an influence and/or impetus.
- result—an outcome and/or consequence of a particular action, operation, and/or course.
- said when used in a system or device claim, an article indicating a subsequent claim term that has been previously introduced.
- second following a first thing in an ordering.
- select—to make and/or indicate a choice and/or selection from among alternatives.
- sequence diagram—a graphical notation compliant with a standard of the Unified Modeling Language (UML) that indicates processes that execute in a determined order.
- set—a related plurality of predetermined elements; and/or one or more distinct items and/or entities having a specific common property or properties.
- signal—information, such as machine instructions for activities and/or one or more letters, words, characters, symbols, signal flags, visual displays, and/or special sounds, etc. having prearranged meaning, encoded as automatically detectable variations in a physical variable, such as a pneumatic, hydraulic, acoustic, fluidic, mechanical, electrical, magnetic, optical, chemical, and/or biological variable, such as power, energy, pressure, flowrate, viscosity, density, torque, impact, force, voltage, current, resistance, magnetomotive force, magnetic field intensity, magnetic field flux, magnetic flux density, reluctance, permeability, index of refraction, optical wavelength, polarization, reflectance, transmittance, phase shift, concentration, and/or temperature, etc. Depending on the context, a signal and/or the information encoded therein can be synchronous, asychronous, hard real-time, soft real-time, non-real time, continuously generated, continuously varying, analog, discretely generated, discretely varying, quantized, digital, broadcast, multicast, unicast, transmitted, conveyed, received, continuously measured, discretely measured, processed, encoded, encrypted, multiplexed, modulated, spread, de-spread, demodulated, detected, demultiplexed, decrypted, and/or decoded, etc.
- software—instructions executable on a machine and/or processor to create a specific physical configuration of digital gates and machine subsystems for processing signals.
- specification—a description or characterization.
- statistical information—data that is determined based upon a collection, classification, analysis, and/or interpretation of facts. Exemplary statistics can comprise count, sum, sub-total, total, ratio, mean, average, running average, weighted average, mode, median, maximum, minimum, local maximum, local minimum, standard deviation, variance, correlation coefficient, control chart range, statistical analysis of variance parameter, statistical hypothesis testing value, and/or a deviation from a standard value, etc.
- step—one of a series of actions, processes, or measures taken to achieve a goal.
- store—to place, hold, retain, enter, and/or copy into and/or onto a machine-readable medium.
- structure—a manner in which components are organized and/or form a whole.
- substantially—to a considerable, large, and/or great, but not necessarily whole and/or entire, extent and/or degree.
- system—a collection of mechanisms, devices, data, and/or instructions, the collection designed to perform one or more specific functions.
- taking part—participating in.
- test—(n.) an evaluation; (v.) to evaluate.
- test case—a set of parameters and/or conditions adapted to serve as an input to an assessment of functionality in a hardware, firmware, and/or software system.
- test case structure—how information in a test case is organized and/or related.
- test generator—hardware firmware, and/or software adapted to refine a use case diagram.
- third—following a second thing in an ordering.
- threshold—a point that when exceeded produces a given effect or result.
- transmit—to provide, furnish, supply, send as a signal, and/or to convey (e.g., force, energy, and/or information) from one place and/or thing to another.
- Unified Modeling Language (UML)—an industry-standard language for specifying, visualizing, constructing, and/or documenting the artifacts of software systems standardized by the Object Management Group.
- update—to change.
- use case diagram—a graphical notation of a technique for capturing functional characteristics of systems and systems-of-systems as defined by the Unified Modeling Language (UML).
- user interface—a device and/or software program for rendering information to a user and/or requesting information from the user. A user interface can include at least one of textual, graphical, audio, video, animation, and/or haptic elements. A textual element can be provided, for example, by a printer, monitor, display, projector, etc. A graphical element can be provided, for example, via a monitor, display, projector, and/or visual indication device, such as a light, flag, beacon, etc. An audio element can be provided, for example, via a speaker, microphone, and/or other sound generating and/or receiving device. A video element or animation element can be provided, for example, via a monitor, display, projector, and/or other visual device. A haptic element can be provided, for example, via a very low frequency speaker, vibrator, tactile stimulator, tactile pad, simulator, keyboard, keypad, mouse, trackball, joystick, gamepad, wheel, touchpad, touch panel, pointing device, and/or other haptic device, etc. A user interface can include one or more textual elements such as, for example, one or more letters, number, symbols, etc. A user interface can include one or more graphical elements such as, for example, an image, photograph, drawing, icon, window, title bar, panel, sheet, tab, drawer, matrix, table, form, calendar, outline view, frame, dialog box, static text, text box, list, pick list, pop-up list, pull-down list, menu, tool bar, dock, check box, radio button, hyperlink, browser, button, control, palette, preview panel, color wheel, dial, slider, scroll bar, cursor, status bar, stepper, and/or progress indicator, etc. A textual and/or graphical element can be used for selecting, programming, adjusting, changing, specifying, etc. an appearance, background color, background style, border style, border thickness, foreground color, font, font style, font size, alignment, line spacing, indent, maximum data length, validation, query, cursor type, pointer type, autosizing, position, and/or dimension, etc. A user interface can include one or more audio elements such as, for example, a volume control, pitch control, speed control, voice selector, and/or one or more elements for controlling audio play, speed, pause, fast forward, reverse, etc. A user interface can include one or more video elements such as, for example, elements controlling video play, speed, pause, fast forward, reverse, zoom-in, zoom-out, rotate, and/or tilt, etc. A user interface can include one or more animation elements such as, for example, elements controlling animation play, pause, fast forward, reverse, zoom-in, zoom-out, rotate, tilt, color, intensity, speed, frequency, appearance, etc. A user interface can include one or more haptic elements such as, for example, elements utilizing tactile stimulus, force, pressure, vibration, motion, displacement, temperature, etc.
- validate to corroborate and/or establish the validity and/or soundness of.
- value—a measured, assigned, determined, and/or calculated quantity or quality for a variable and/or parameter.
- verdict—an indicator of a level of performance of a system under test. Exemplary performance levels and/or indicators can include “pass”, “fail”, “78% in compliance”, “no-go”, “error”, “warning”, etc.
- via by way of and/or utilizing.
- weight—a value indicative of importance.
- where—in a situation or position.
- wherein—in regard to which; and; and/or in addition to.
- whether—a conjunction used to introduce the first of two or more alternatives.
Note
-
- there is no requirement for the inclusion of any particular described or illustrated characteristic, function, activity, or element, any particular sequence of activities, or any particular interrelationship of elements;
- any elements can be integrated, segregated, and/or duplicated;
- any activity can be repeated, performed by multiple entities, and/or performed in multiple jurisdictions; and
- any activity or element can be specifically excluded the sequence of activities can vary, and/or the interrelationship of elements can vary.
Claims (10)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/549,741 US7950004B2 (en) | 2005-10-21 | 2006-10-16 | Devices systems and methods for testing software |
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US72925705P | 2005-10-21 | 2005-10-21 | |
US11/549,741 US7950004B2 (en) | 2005-10-21 | 2006-10-16 | Devices systems and methods for testing software |
Publications (2)
Publication Number | Publication Date |
---|---|
US20070220342A1 US20070220342A1 (en) | 2007-09-20 |
US7950004B2 true US7950004B2 (en) | 2011-05-24 |
Family
ID=38543858
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
US11/549,741 Active 2030-03-24 US7950004B2 (en) | 2005-10-21 | 2006-10-16 | Devices systems and methods for testing software |
Country Status (1)
Country | Link |
---|---|
US (1) | US7950004B2 (en) |
Cited By (53)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070074167A1 (en) * | 2005-08-31 | 2007-03-29 | Christian Cohrs | Systems and methods for testing application accessibility |
US20070234314A1 (en) * | 2006-04-03 | 2007-10-04 | Godwin David R | Generating a test suite to test support for routines |
US20080115114A1 (en) * | 2006-11-10 | 2008-05-15 | Sashank Palaparthi | Automated software unit testing |
US20080270996A1 (en) * | 2007-04-25 | 2008-10-30 | Samsung Electronics Co., Ltd. | Apparatus and method for automatically extracting interface of embedded software |
US20080276227A1 (en) * | 2007-05-06 | 2008-11-06 | Bernd Greifeneder | Method and System for Adaptive, Generic Code Instrumentation using Run-time or Load-time generated Inheritance Information for Diagnosis and Monitoring Application Performance and Failure |
US20090049429A1 (en) * | 2007-08-14 | 2009-02-19 | Bernd Greifeneder | Method and System for Tracing Individual Transactions at the Granularity Level of Method Calls Throughout Distributed Heterogeneous Applications Without Source Code Modifications |
US20090113251A1 (en) * | 2007-10-26 | 2009-04-30 | Microsoft Corporation | Real-time analysis of performance data of a video game |
US20090313312A1 (en) * | 2008-06-11 | 2009-12-17 | International Business Machines Corporation | Method of Enhancing De-Duplication Impact by Preferential Selection of Master Copy to be Retained |
US20100042977A1 (en) * | 2008-08-12 | 2010-02-18 | International Business Machines Corporation | Selective Execution of Trace Mechanisms for Applications Having Different Bit Structures |
US20100281460A1 (en) * | 2009-05-01 | 2010-11-04 | Microsoft Corporation | Whitebox Trace Fuzzing |
US20110154127A1 (en) * | 2009-12-21 | 2011-06-23 | International Business Machines Corporation | Test support system, method and computer program product, which optimize test scenarios to minimize total test time |
US20110161926A1 (en) * | 2009-12-30 | 2011-06-30 | Robert B Cruise | Finite state machine architecture for software development |
US20110276833A1 (en) * | 2010-05-04 | 2011-11-10 | Oracle International Corporation | Statistical analysis of heap dynamics for memory leak investigations |
US20120054726A1 (en) * | 2010-08-24 | 2012-03-01 | International Business Machines Corporation | General purpose emit for use in value profiling |
US20120054723A1 (en) * | 2010-08-27 | 2012-03-01 | Samsung Electronics Co., Ltd. | Dynamic instrumentation method and apparatus thereof |
US8214701B1 (en) * | 2009-04-17 | 2012-07-03 | Altera Corporation | Hardware and software debugging |
US20120198421A1 (en) * | 2011-01-31 | 2012-08-02 | Tata Consultancy Services Limited | Testing Lifecycle |
US20120297367A1 (en) * | 2011-05-19 | 2012-11-22 | Verizon Patent And Licensing, Inc. | Testing an application |
US20130117720A1 (en) * | 2006-11-21 | 2013-05-09 | Fujitsu Limited | Computer product for supporting design and verification of integrated circuit |
US20130137482A1 (en) * | 2011-11-30 | 2013-05-30 | Microsoft Corporation | Perspective correction using a reflection |
US8522216B2 (en) | 2010-05-04 | 2013-08-27 | Oracle International Corporation | Memory leak detection |
US8533687B1 (en) | 2009-11-30 | 2013-09-10 | dynaTrade Software GmbH | Methods and system for global real-time transaction tracing |
US20130318486A1 (en) * | 2012-05-23 | 2013-11-28 | Lawrence SASAKI | Method and system for generating verification environments |
US20140059520A1 (en) * | 2010-08-23 | 2014-02-27 | Micro Focus (Us), Inc. | Architecture for state driven testing |
US8762948B1 (en) * | 2012-12-20 | 2014-06-24 | Kaspersky Lab Zao | System and method for establishing rules for filtering insignificant events for analysis of software program |
US20140181592A1 (en) * | 2012-12-21 | 2014-06-26 | Microsoft Corporation | Diagnostics of declarative source elements |
US20140189449A1 (en) * | 2012-12-31 | 2014-07-03 | Hyundai Motor Company | Method and system for checking software |
US8850391B1 (en) * | 2012-01-27 | 2014-09-30 | Google Inc. | System and method for building components of a software product in a distributed system |
US20150012911A1 (en) * | 2012-01-31 | 2015-01-08 | United States Government As Represented By The Secretary Of The Navy | Interface simulator for test rig in data distribution service |
US9047412B2 (en) | 2007-05-06 | 2015-06-02 | Dynatrace Corporation | System and method for extracting instrumentation relevant inheritance relationships for a distributed, inheritance rule based instrumentation system |
US20150234585A1 (en) * | 2012-11-05 | 2015-08-20 | SystemicLogic Innovation Agency (Pty) Ltd. | Innovation management |
US9231858B1 (en) | 2006-08-11 | 2016-01-05 | Dynatrace Software Gmbh | Completeness detection of monitored globally distributed synchronous and asynchronous transactions |
US9274919B2 (en) | 2011-04-29 | 2016-03-01 | Dynatrace Software Gmbh | Transaction tracing mechanism of distributed heterogenous transactions having instrumented byte code with constant memory consumption and independent of instrumented method call depth |
US20160124827A1 (en) * | 2014-10-30 | 2016-05-05 | The Mathworks, Inc. | System and method for performing model verification |
US9336137B2 (en) | 2011-09-02 | 2016-05-10 | Google Inc. | System and method for performing data management in a collaborative development environment |
US9354769B1 (en) * | 2011-03-31 | 2016-05-31 | Emc Corporation | Electronically controlling commitment of a change to stored information |
US9483484B1 (en) * | 2011-05-05 | 2016-11-01 | Veritas Technologies Llc | Techniques for deduplicated data access statistics management |
US20160349312A1 (en) * | 2015-05-28 | 2016-12-01 | Keysight Technologies, Inc. | Automatically Generated Test Diagram |
US9552283B2 (en) * | 2007-11-12 | 2017-01-24 | Ca, Inc. | Spreadsheet data transfer objects |
US20170177466A1 (en) * | 2015-12-21 | 2017-06-22 | Tryon Solutions, Inc. | Volume testing |
US20170277627A1 (en) * | 2014-04-08 | 2017-09-28 | Turnkey Solutions Corp. | Software test automation system and method |
US10095596B1 (en) * | 2015-12-18 | 2018-10-09 | Amazon Technologies, Inc. | Executing integration tests in a distributed load and performance evaluation framework |
US20190018748A1 (en) * | 2016-01-13 | 2019-01-17 | Entit Software Llc | Determining a functional state of a system under test |
US10236076B2 (en) * | 2016-09-30 | 2019-03-19 | Intel Corporation | Methods and apparatus for predictable protocol aware testing on memory interface |
US10394533B2 (en) * | 2013-09-30 | 2019-08-27 | The Mathworks, Inc. | Reusable component in a modeling environment |
US10445414B1 (en) | 2011-11-16 | 2019-10-15 | Google Llc | Systems and methods for collaborative document editing |
US10609003B2 (en) * | 2017-04-25 | 2020-03-31 | International Business Machines Corporation | Cryptography using multi-factor key system and finite state machine |
US10637589B1 (en) * | 2019-07-31 | 2020-04-28 | Keysight Technologies, Inc. | System and method for performing over-the-air testing on devices under test |
US11061809B2 (en) * | 2019-05-29 | 2021-07-13 | Red Hat, Inc. | Software debugging system with improved test execution and log file tracking |
US11294792B2 (en) * | 2018-11-20 | 2022-04-05 | Rubrik, Inc. | Automated review of source code for style issues |
US11301363B2 (en) * | 2020-08-27 | 2022-04-12 | Red Hat, Inc. | Dynamic correlation of log messages with continuous integration test jobs |
US20220358029A1 (en) * | 2013-03-15 | 2022-11-10 | Devfactory Innovations Fz-Llc | Test case reduction for code regression testing |
US11593255B2 (en) | 2020-07-31 | 2023-02-28 | Bank Of America Corporation | Mobile log heatmap-based auto testcase generation |
Families Citing this family (70)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20060135190A1 (en) * | 2004-12-20 | 2006-06-22 | Drouet Francois X | Dynamic remote storage system for storing software objects from pervasive devices |
US7571312B2 (en) * | 2005-05-13 | 2009-08-04 | Intel Corporation | Methods and apparatus for generating endorsement credentials for software-based security coprocessors |
US8015550B2 (en) * | 2005-12-01 | 2011-09-06 | Siemens Corporation | Systems and methods for hazards analysis |
US7757121B1 (en) * | 2006-04-21 | 2010-07-13 | Cydone Solutions Inc. | Requirement driven interoperability/compliance testing systems and methods |
JP4629646B2 (en) * | 2006-11-01 | 2011-02-09 | インターナショナル・ビジネス・マシーンズ・コーポレーション | Apparatus, method, and program for generating application program |
KR100787974B1 (en) * | 2006-11-16 | 2007-12-24 | 삼성전자주식회사 | Mobile terminal and its multi central processing unit test system and method |
TWI322350B (en) * | 2006-12-15 | 2010-03-21 | Inst Information Industry | Test device, method, application program, and computer readable medium for deriving a qualified test case plan from a test case database |
US8005466B2 (en) * | 2007-02-14 | 2011-08-23 | Samsung Electronics Co., Ltd. | Real time reproduction method of file being received according to non real time transfer protocol and a video apparatus thereof |
US7865779B2 (en) * | 2007-08-23 | 2011-01-04 | International Business Machines Corporation | Server side logic unit testing |
US20090082880A1 (en) * | 2007-09-20 | 2009-03-26 | Tridium Inc. | Wireless device for a building control system |
US20090089005A1 (en) * | 2007-09-28 | 2009-04-02 | Geoff Hopcraft | Generation of test specifications based on measured data points |
US8006136B2 (en) * | 2007-10-08 | 2011-08-23 | Wurldtech Security Technologies | Automatic grammar based fault detection and isolation |
US9026394B2 (en) | 2007-10-08 | 2015-05-05 | Wurldtech Security Technologies | Testing and mitigation framework for networked devices |
CN101441587B (en) * | 2007-11-19 | 2011-05-18 | 辉达公司 | Method and system for automatically analyzing GPU test result |
WO2009105883A1 (en) * | 2008-02-27 | 2009-09-03 | Wurldtech Security Technologies | System and method for grammar based test planning |
WO2009105889A1 (en) | 2008-02-27 | 2009-09-03 | Wurldtech Security Technologies | Testing framework for control devices |
US20090299680A1 (en) * | 2008-05-29 | 2009-12-03 | Electronic Data Systems Corporation | System and method for message-queue-based server testing |
WO2010004557A1 (en) * | 2008-07-07 | 2010-01-14 | Quali Systems Ltd | System and method for automatic hardware and software sequencing of computer-aided design (cad) functionality testing |
US8904276B2 (en) | 2008-11-17 | 2014-12-02 | At&T Intellectual Property I, L.P. | Partitioning of markup language documents |
US8589884B2 (en) * | 2009-01-15 | 2013-11-19 | Infosys Limited | Method and system for identifying regression test cases for a software |
US8869111B2 (en) * | 2009-01-15 | 2014-10-21 | Infosys Limited | Method and system for generating test cases for a software application |
US8756564B2 (en) * | 2009-05-29 | 2014-06-17 | International Business Machines Corporation | Techniques for providing environmental impact information associated with code |
US8627295B2 (en) * | 2009-10-09 | 2014-01-07 | General Electric Company | Methods and apparatus for testing user interfaces |
US20110131451A1 (en) * | 2009-11-30 | 2011-06-02 | Ricardo Bosch | Methods and system for testing an enterprise system |
US8259719B2 (en) * | 2009-12-18 | 2012-09-04 | Alcatel Lucent | Method and apparatus for imposing preferences on broadcast/multicast service |
US8707263B2 (en) | 2010-04-19 | 2014-04-22 | Microsoft Corporation | Using a DSL for calling APIS to test software |
US8645908B2 (en) * | 2010-08-24 | 2014-02-04 | International Business Machines Corporation | Method for generating specifications of static test |
US10687250B2 (en) | 2010-11-05 | 2020-06-16 | Mark Cummings | Mobile base station network |
US10531516B2 (en) | 2010-11-05 | 2020-01-07 | Mark Cummings | Self organizing system to implement emerging topologies |
US10694402B2 (en) | 2010-11-05 | 2020-06-23 | Mark Cummings | Security orchestration and network immune system deployment framework |
US9268578B2 (en) | 2010-11-05 | 2016-02-23 | Mark Cummings | Integrated circuit design and operation for determining a mutually compatible set of configuration for cores using agents associated with each core to achieve an application-related objective |
FI20115104A0 (en) * | 2011-02-02 | 2011-02-02 | Teknologian Tutkimuskeskus Vtt Oy | SYSTEM AND METHOD FOR MODEL-BASED TESTING |
US9323418B2 (en) * | 2011-04-29 | 2016-04-26 | The United States Of America As Represented By Secretary Of The Navy | Method for analyzing GUI design affordances |
US8726225B2 (en) * | 2011-08-01 | 2014-05-13 | Vmware, Inc. | Testing of a software system using instrumentation at a logging module |
US8949774B2 (en) | 2011-09-06 | 2015-02-03 | Microsoft Corporation | Generated object model for test automation |
US20130091444A1 (en) * | 2011-10-11 | 2013-04-11 | Microsoft Corporation | Automatic rendering of interactive user interface elements |
US10387294B2 (en) | 2012-10-12 | 2019-08-20 | Vmware, Inc. | Altering a test |
US9684587B2 (en) * | 2012-10-12 | 2017-06-20 | Vmware, Inc. | Test creation with execution |
US10067858B2 (en) | 2012-10-12 | 2018-09-04 | Vmware, Inc. | Cloud-based software testing |
CN103020396B (en) * | 2012-12-31 | 2016-04-06 | 青岛中星微电子有限公司 | A kind of method that automatic generation is asserted and device |
US9003234B2 (en) * | 2013-03-08 | 2015-04-07 | Infineon Technologies Ag | Machine and methods for reassign positions of a software program based on a fail/pass performance |
JP2014235127A (en) * | 2013-06-04 | 2014-12-15 | 株式会社アドバンテスト | Test system, control program, and configuration data write method |
US9721561B2 (en) * | 2013-12-05 | 2017-08-01 | Nuance Communications, Inc. | Method and apparatus for speech recognition using neural networks with speaker adaptation |
US9505051B2 (en) * | 2014-07-09 | 2016-11-29 | The Boeing Company | Mobile platforms for performing operations along an exterior of a fuselage assembly |
US9400737B2 (en) * | 2014-08-07 | 2016-07-26 | International Business Machines Corporation | Generation of automated unit tests for a controller layer system and method |
WO2016085409A1 (en) * | 2014-11-24 | 2016-06-02 | Agency For Science, Technology And Research | A method and system for sentiment classification and emotion classification |
JP6417937B2 (en) * | 2014-12-26 | 2018-11-07 | 富士ゼロックス株式会社 | Decoding device, program, and information transmission system |
US9928656B2 (en) * | 2015-09-11 | 2018-03-27 | Futurewei Technologies, Inc. | Markerless multi-user, multi-object augmented reality on mobile devices |
CN105139892B (en) * | 2015-09-23 | 2018-01-26 | 浪潮(北京)电子信息产业有限公司 | A data-driven testing method and system applied to storage products |
US10356597B2 (en) * | 2016-05-03 | 2019-07-16 | Verizon Patent And Licensing Inc. | Testing and validation of user equipment for a cellular network |
WO2018089800A1 (en) * | 2016-11-10 | 2018-05-17 | Ronald Scott Visscher | System with a unique and versatile evaluation method |
US10055330B2 (en) * | 2016-11-29 | 2018-08-21 | Bank Of America Corporation | Feature file validation tool |
US10460415B2 (en) * | 2017-04-10 | 2019-10-29 | Intel Corporation | Contextual configuration adjuster for graphics |
CN107367657A (en) * | 2017-08-28 | 2017-11-21 | 广东电网有限责任公司电力科学研究院 | A kind of distribution automation system integration test method and device |
EP3493051A1 (en) * | 2017-11-30 | 2019-06-05 | The MathWorks, Inc. | System and methods for evaluating compliance of implementation code with a software architecture specification |
WO2019113308A1 (en) | 2017-12-05 | 2019-06-13 | Franchitti Jean Claude | Active adaptation of networked compute devices using vetted reusable software components |
DE102018003142A1 (en) | 2017-12-13 | 2019-06-13 | The Mathworks, Inc. | Automatic setting of multitasking configurations for a code checking system |
US11625628B2 (en) * | 2018-01-05 | 2023-04-11 | Daniel Suklja | Method of improving processing efficiency decision making within a computer system |
EP3547143B1 (en) * | 2018-03-27 | 2022-06-01 | Siemens Aktiengesellschaft | System and method for model-based and behaviour-driven testing |
US11477667B2 (en) | 2018-06-14 | 2022-10-18 | Mark Cummings | Using orchestrators for false positive detection and root cause analysis |
US10909013B2 (en) * | 2018-10-16 | 2021-02-02 | Rohde & Schwarz Gmbh & Co. Kg | TTCN-based test system and method for testing test-cases, non-transitory computer-readable recording medium |
US11216781B2 (en) | 2019-06-25 | 2022-01-04 | Scientia Potentia Est., LLC | System for management and verification of code compliance |
US11449949B2 (en) | 2019-06-25 | 2022-09-20 | Scientia Potentia Est, LLC. | System for management of insurance risk and insurance events |
US11423360B2 (en) | 2019-06-25 | 2022-08-23 | Scientia Potentia Est, LLC. | Digital asset system for management of projects and materials |
US10713737B1 (en) | 2019-06-25 | 2020-07-14 | Scientia Potentia Est, LLC | Use of blockchain-based distributed ledger to reference construction metadata and to use smart contracts for a construction project |
US11521157B2 (en) | 2019-06-25 | 2022-12-06 | Scientia Potentia Est II, LLC | System for verification and management of paired assets related applications |
US11288308B2 (en) | 2019-06-25 | 2022-03-29 | Scientia Potentia Est., LLC | System for a verifiable physical object with a digital representation and related applications |
US20220292177A1 (en) * | 2021-03-15 | 2022-09-15 | Jpmorgan Chase Bank, N.A. | Method and system for controlling access to security credential in continuous integration / continuous deployment pipeline |
US11392486B1 (en) * | 2021-07-09 | 2022-07-19 | Morgan Stanley Services Group Inc. | Multi-role, multi-user, multi-technology, configuration-driven requirements, coverage and testing automation |
JP2023023529A (en) * | 2021-08-05 | 2023-02-16 | 株式会社日立製作所 | Policy evaluation system, policy evaluation method and program |
Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5493689A (en) * | 1993-03-01 | 1996-02-20 | International Business Machines Corporation | System for configuring an event driven interface including control blocks defining good loop locations in a memory which represent detection of a characteristic pattern |
US5892947A (en) | 1996-07-01 | 1999-04-06 | Sun Microsystems, Inc. | Test support tool system and method |
US6421822B1 (en) | 1998-12-28 | 2002-07-16 | International Business Machines Corporation | Graphical user interface for developing test cases using a test object library |
US6505342B1 (en) | 2000-05-31 | 2003-01-07 | Siemens Corporate Research, Inc. | System and method for functional testing of distributed, component-based software |
US6732357B1 (en) * | 1997-12-12 | 2004-05-04 | International Business Machines Corporation | Determining and compensating for temporal overhead in trace record generation and processing |
US6751789B1 (en) * | 1997-12-12 | 2004-06-15 | International Business Machines Corporation | Method and system for periodic trace sampling for real-time generation of segments of call stack trees augmented with call stack position determination |
US6922828B1 (en) * | 1997-12-12 | 2005-07-26 | International Business Machines Corporation | Method and system for detecting common bytecode sequences |
-
2006
- 2006-10-16 US US11/549,741 patent/US7950004B2/en active Active
Patent Citations (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5493689A (en) * | 1993-03-01 | 1996-02-20 | International Business Machines Corporation | System for configuring an event driven interface including control blocks defining good loop locations in a memory which represent detection of a characteristic pattern |
US5892947A (en) | 1996-07-01 | 1999-04-06 | Sun Microsystems, Inc. | Test support tool system and method |
US6732357B1 (en) * | 1997-12-12 | 2004-05-04 | International Business Machines Corporation | Determining and compensating for temporal overhead in trace record generation and processing |
US6751789B1 (en) * | 1997-12-12 | 2004-06-15 | International Business Machines Corporation | Method and system for periodic trace sampling for real-time generation of segments of call stack trees augmented with call stack position determination |
US6922828B1 (en) * | 1997-12-12 | 2005-07-26 | International Business Machines Corporation | Method and system for detecting common bytecode sequences |
US6421822B1 (en) | 1998-12-28 | 2002-07-16 | International Business Machines Corporation | Graphical user interface for developing test cases using a test object library |
US6505342B1 (en) | 2000-05-31 | 2003-01-07 | Siemens Corporate Research, Inc. | System and method for functional testing of distributed, component-based software |
Non-Patent Citations (18)
Title |
---|
Briand, et al. "A UML-Based Approach to System Testing," Springer-Verlag, 12 (2002). |
CHOPRA, "Programming with XML Beans," (2004) http://www.106.ibm.com/developerworks/library/x-beams1/. |
ECLIPSE, "Eclipse Technology-Hyades Project," (2005) http://eclipse.org/tptp/home/archives/hyades/project-info/hyades.html. |
Gelperin, et al. "The Growth of Software Testing," Communications of the ACM, (1998) 31:6 pp. 687-695. |
Gross, et al., "Modeling and Implementation of Built-In Contract Tests," IESE-Report, No. 122.03/E Version 1.0 Fraunhofer IESE (2003). |
Hartmann, et al., "A UML-based Approach to System Testing," NASA Journal of Innovations in Systems and Software Engineering, (2005). |
KANER, 'Pitfalls and Strategies in Automated Testing, Computer, (1997) pp. 114-116. |
KOREL, "Automated Test Data Generation for Programs with Procedures," International Symposium Software Testing and Analysis, (1996). |
Matthias Riebisch et al., UML-Based Statistical Test Case Generation [online], 2002, [retrieved on Mar. 22, 2011]. Retrieved from the Internet: . * |
Matthias Riebisch et al., UML-Based Statistical Test Case Generation [online], 2002, [retrieved on Mar. 22, 2011]. Retrieved from the Internet: <URL: http://portal.acm.org/citation.cfm?id=744220>. * |
Matthijs Wessels, High level performance analysis and dependency management [online], 2010, [retrieved on Mar. 22, 2011], pp. 1-65. Retrieved from the Internet: . * |
Matthijs Wessels, High level performance analysis and dependency management [online], 2010, [retrieved on Mar. 22, 2011], pp. 1-65. Retrieved from the Internet: <URL: http://alexandria.tue.nl/extra1/afstversl/wsk-i/wessels2010.pdf>. * |
Offutt, et al., "Testing Object-Oriented Software Using the Category-Partition Method," Seventeenth International Conference on Technology of Object-Oriented Languages and Systems, (1995) 293-304. |
OMG, "UML 2.0 Superstructure Specification," OMG Revised Final Adopted Specification ptc/04-10-02, (2004) Object Management Group, Inc. |
OMG, "UML 2.0 Testing Profile Specification,"OMG Adopted Specification pro/03=08-03, (2003) Object Management Group, Inc., http://www.omg.org/docs/ptc/04-04-02.pdf. |
Ostrand, et al., "The Category-Partition Method for Specifying and Generating functional Tests," Communications of the ACM, 31:6 )1988) pp. 676-686. |
Schieferdecker, et al. "The UML 2.0 Testing Profile and its Relation to TTCN-3," Fraunhofer FOKUS, Berlin, Germany (2003). |
W3C, "SML Schema,"W3C, (2004) http;//www.w3.org/XML/Scheme. |
Cited By (86)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8196104B2 (en) * | 2005-08-31 | 2012-06-05 | Sap Ag | Systems and methods for testing application accessibility |
US20070074167A1 (en) * | 2005-08-31 | 2007-03-29 | Christian Cohrs | Systems and methods for testing application accessibility |
US20070234314A1 (en) * | 2006-04-03 | 2007-10-04 | Godwin David R | Generating a test suite to test support for routines |
US8225285B2 (en) * | 2006-04-03 | 2012-07-17 | International Business Machines Corporation | Generating a test suite to test support for routines |
US9231858B1 (en) | 2006-08-11 | 2016-01-05 | Dynatrace Software Gmbh | Completeness detection of monitored globally distributed synchronous and asynchronous transactions |
US20080115114A1 (en) * | 2006-11-10 | 2008-05-15 | Sashank Palaparthi | Automated software unit testing |
US9378316B2 (en) | 2006-11-21 | 2016-06-28 | Fujitsu Limited | Computer product for supporting design and verification of integrated circuit |
US20130117720A1 (en) * | 2006-11-21 | 2013-05-09 | Fujitsu Limited | Computer product for supporting design and verification of integrated circuit |
US9177088B2 (en) * | 2006-11-21 | 2015-11-03 | Fujitsu Limited | Computer product for supporting design and verification of integrated circuit |
US8255874B2 (en) * | 2007-04-25 | 2012-08-28 | Samsung Electronics Co., Ltd. | Apparatus and method for automatically extracting interface of embedded software |
US20080270996A1 (en) * | 2007-04-25 | 2008-10-30 | Samsung Electronics Co., Ltd. | Apparatus and method for automatically extracting interface of embedded software |
US20080276227A1 (en) * | 2007-05-06 | 2008-11-06 | Bernd Greifeneder | Method and System for Adaptive, Generic Code Instrumentation using Run-time or Load-time generated Inheritance Information for Diagnosis and Monitoring Application Performance and Failure |
US9047412B2 (en) | 2007-05-06 | 2015-06-02 | Dynatrace Corporation | System and method for extracting instrumentation relevant inheritance relationships for a distributed, inheritance rule based instrumentation system |
US8464225B2 (en) | 2007-05-06 | 2013-06-11 | Dynatrace Software Gmbh | Method and system for adaptive, generic code instrumentation using run-time or load-time generated inheritance information for diagnosis and monitoring application performance and failure |
US20090049429A1 (en) * | 2007-08-14 | 2009-02-19 | Bernd Greifeneder | Method and System for Tracing Individual Transactions at the Granularity Level of Method Calls Throughout Distributed Heterogeneous Applications Without Source Code Modifications |
US8234631B2 (en) * | 2007-08-14 | 2012-07-31 | Dynatrace Software Gmbh | Method and system for tracing individual transactions at the granularity level of method calls throughout distributed heterogeneous applications without source code modifications |
US8219975B2 (en) * | 2007-10-26 | 2012-07-10 | Microsoft Corporation | Real-time analysis of performance data of a video game |
US20090113251A1 (en) * | 2007-10-26 | 2009-04-30 | Microsoft Corporation | Real-time analysis of performance data of a video game |
US9552283B2 (en) * | 2007-11-12 | 2017-01-24 | Ca, Inc. | Spreadsheet data transfer objects |
US8682850B2 (en) * | 2008-06-11 | 2014-03-25 | International Business Machines Corporation | Method of enhancing de-duplication impact by preferential selection of master copy to be retained |
US20090313312A1 (en) * | 2008-06-11 | 2009-12-17 | International Business Machines Corporation | Method of Enhancing De-Duplication Impact by Preferential Selection of Master Copy to be Retained |
US8261243B2 (en) * | 2008-08-12 | 2012-09-04 | International Business Machines Corporation | Selective execution of trace mechanisms for applications having different bit structures |
US20100042977A1 (en) * | 2008-08-12 | 2010-02-18 | International Business Machines Corporation | Selective Execution of Trace Mechanisms for Applications Having Different Bit Structures |
US8214701B1 (en) * | 2009-04-17 | 2012-07-03 | Altera Corporation | Hardware and software debugging |
US8387016B2 (en) * | 2009-05-01 | 2013-02-26 | Microsoft Corporation | Whitebox trace fuzzing |
US20100281460A1 (en) * | 2009-05-01 | 2010-11-04 | Microsoft Corporation | Whitebox Trace Fuzzing |
US8533687B1 (en) | 2009-11-30 | 2013-09-10 | dynaTrade Software GmbH | Methods and system for global real-time transaction tracing |
US20110154127A1 (en) * | 2009-12-21 | 2011-06-23 | International Business Machines Corporation | Test support system, method and computer program product, which optimize test scenarios to minimize total test time |
US8584095B2 (en) * | 2009-12-21 | 2013-11-12 | International Business Machines Corporation | Test support system, method and computer program product, which optimize test scenarios to minimize total test time |
US8429605B2 (en) * | 2009-12-30 | 2013-04-23 | The United States Of America As Represented By The Secretary Of The Navy | Finite state machine architecture for software development |
US20110161926A1 (en) * | 2009-12-30 | 2011-06-30 | Robert B Cruise | Finite state machine architecture for software development |
US8504878B2 (en) * | 2010-05-04 | 2013-08-06 | Oracle International Corporation | Statistical analysis of heap dynamics for memory leak investigations |
US8522216B2 (en) | 2010-05-04 | 2013-08-27 | Oracle International Corporation | Memory leak detection |
US20110276833A1 (en) * | 2010-05-04 | 2011-11-10 | Oracle International Corporation | Statistical analysis of heap dynamics for memory leak investigations |
US20140059520A1 (en) * | 2010-08-23 | 2014-02-27 | Micro Focus (Us), Inc. | Architecture for state driven testing |
US20120054726A1 (en) * | 2010-08-24 | 2012-03-01 | International Business Machines Corporation | General purpose emit for use in value profiling |
US8479184B2 (en) * | 2010-08-24 | 2013-07-02 | International Business Machines Corporation | General purpose emit for use in value profiling |
US8806448B2 (en) * | 2010-08-27 | 2014-08-12 | Samsung Electronics Co., Ltd. | Dynamic instrumentation method and apparatus for tracing and analyzing a program |
US20120054723A1 (en) * | 2010-08-27 | 2012-03-01 | Samsung Electronics Co., Ltd. | Dynamic instrumentation method and apparatus thereof |
US8745589B2 (en) * | 2011-01-31 | 2014-06-03 | Tata Consultancy Services Limited | Automatic extraction of test case for a build in testing lifecycle |
US20120198421A1 (en) * | 2011-01-31 | 2012-08-02 | Tata Consultancy Services Limited | Testing Lifecycle |
US9354769B1 (en) * | 2011-03-31 | 2016-05-31 | Emc Corporation | Electronically controlling commitment of a change to stored information |
US9811362B2 (en) | 2011-04-29 | 2017-11-07 | Dynatrace Software Gmbh | Method and system for transaction controlled sampling of distributed heterogeneous transactions without source code modifications |
US9274919B2 (en) | 2011-04-29 | 2016-03-01 | Dynatrace Software Gmbh | Transaction tracing mechanism of distributed heterogenous transactions having instrumented byte code with constant memory consumption and independent of instrumented method call depth |
US9483484B1 (en) * | 2011-05-05 | 2016-11-01 | Veritas Technologies Llc | Techniques for deduplicated data access statistics management |
US8745590B2 (en) * | 2011-05-19 | 2014-06-03 | Verizon Patent And Licensing Inc. | Testing an application |
US20120297367A1 (en) * | 2011-05-19 | 2012-11-22 | Verizon Patent And Licensing, Inc. | Testing an application |
US9336137B2 (en) | 2011-09-02 | 2016-05-10 | Google Inc. | System and method for performing data management in a collaborative development environment |
US10445414B1 (en) | 2011-11-16 | 2019-10-15 | Google Llc | Systems and methods for collaborative document editing |
US8774556B2 (en) * | 2011-11-30 | 2014-07-08 | Microsoft Corporation | Perspective correction using a reflection |
US8983227B2 (en) | 2011-11-30 | 2015-03-17 | Microsoft Technology Licensing, Llc | Perspective correction using a reflection |
US20130137482A1 (en) * | 2011-11-30 | 2013-05-30 | Microsoft Corporation | Perspective correction using a reflection |
US8850391B1 (en) * | 2012-01-27 | 2014-09-30 | Google Inc. | System and method for building components of a software product in a distributed system |
US9015672B2 (en) * | 2012-01-31 | 2015-04-21 | The United States Of America As Represented By The Secretary Of The Navy | Interface simulator for test rig in data distribution service |
US20150012911A1 (en) * | 2012-01-31 | 2015-01-08 | United States Government As Represented By The Secretary Of The Navy | Interface simulator for test rig in data distribution service |
US20130318486A1 (en) * | 2012-05-23 | 2013-11-28 | Lawrence SASAKI | Method and system for generating verification environments |
US20150234585A1 (en) * | 2012-11-05 | 2015-08-20 | SystemicLogic Innovation Agency (Pty) Ltd. | Innovation management |
US9904451B2 (en) * | 2012-11-05 | 2018-02-27 | SystemicLogic Innovation Agency (Pty) Ltd. | Innovation management |
US8762948B1 (en) * | 2012-12-20 | 2014-06-24 | Kaspersky Lab Zao | System and method for establishing rules for filtering insignificant events for analysis of software program |
US9367429B2 (en) * | 2012-12-21 | 2016-06-14 | Microsoft Technology Licensing, Llc | Diagnostics of declarative source elements |
US20140181592A1 (en) * | 2012-12-21 | 2014-06-26 | Microsoft Corporation | Diagnostics of declarative source elements |
US20140189449A1 (en) * | 2012-12-31 | 2014-07-03 | Hyundai Motor Company | Method and system for checking software |
US20220358029A1 (en) * | 2013-03-15 | 2022-11-10 | Devfactory Innovations Fz-Llc | Test case reduction for code regression testing |
US11947448B2 (en) * | 2013-03-15 | 2024-04-02 | Devfactory Innovations Fz-Llc | Test case reduction for code regression testing |
US10394533B2 (en) * | 2013-09-30 | 2019-08-27 | The Mathworks, Inc. | Reusable component in a modeling environment |
US20170277627A1 (en) * | 2014-04-08 | 2017-09-28 | Turnkey Solutions Corp. | Software test automation system and method |
US10540272B2 (en) | 2014-04-08 | 2020-01-21 | Turnkey Solutions Corp. | Software test automation system and method |
US10127148B2 (en) * | 2014-04-08 | 2018-11-13 | Turnkey Solutions Corp. | Software test automation system and method |
US11126543B2 (en) | 2014-04-08 | 2021-09-21 | Turnkey Solutions Corp. | Software test automation system and method |
US20160124827A1 (en) * | 2014-10-30 | 2016-05-05 | The Mathworks, Inc. | System and method for performing model verification |
US10387585B2 (en) * | 2014-10-30 | 2019-08-20 | The Mathworks, Inc. | System and method for performing model verification |
US10429437B2 (en) * | 2015-05-28 | 2019-10-01 | Keysight Technologies, Inc. | Automatically generated test diagram |
US20160349312A1 (en) * | 2015-05-28 | 2016-12-01 | Keysight Technologies, Inc. | Automatically Generated Test Diagram |
US10095596B1 (en) * | 2015-12-18 | 2018-10-09 | Amazon Technologies, Inc. | Executing integration tests in a distributed load and performance evaluation framework |
US9898396B2 (en) * | 2015-12-21 | 2018-02-20 | Tryon Solutions, Inc. | Automated software testing and validation via graphical user interface |
US20170177466A1 (en) * | 2015-12-21 | 2017-06-22 | Tryon Solutions, Inc. | Volume testing |
US20190018748A1 (en) * | 2016-01-13 | 2019-01-17 | Entit Software Llc | Determining a functional state of a system under test |
US10860448B2 (en) * | 2016-01-13 | 2020-12-08 | Micro Focus Llc | Determining a functional state of a system under test |
US10236076B2 (en) * | 2016-09-30 | 2019-03-19 | Intel Corporation | Methods and apparatus for predictable protocol aware testing on memory interface |
US10897456B2 (en) * | 2017-04-25 | 2021-01-19 | International Business Machines Corporation | Cryptography using multi-factor key system and finite state machine |
US10609003B2 (en) * | 2017-04-25 | 2020-03-31 | International Business Machines Corporation | Cryptography using multi-factor key system and finite state machine |
US11294792B2 (en) * | 2018-11-20 | 2022-04-05 | Rubrik, Inc. | Automated review of source code for style issues |
US11061809B2 (en) * | 2019-05-29 | 2021-07-13 | Red Hat, Inc. | Software debugging system with improved test execution and log file tracking |
US10637589B1 (en) * | 2019-07-31 | 2020-04-28 | Keysight Technologies, Inc. | System and method for performing over-the-air testing on devices under test |
US11593255B2 (en) | 2020-07-31 | 2023-02-28 | Bank Of America Corporation | Mobile log heatmap-based auto testcase generation |
US11301363B2 (en) * | 2020-08-27 | 2022-04-12 | Red Hat, Inc. | Dynamic correlation of log messages with continuous integration test jobs |
Also Published As
Publication number | Publication date |
---|---|
US20070220342A1 (en) | 2007-09-20 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7950004B2 (en) | Devices systems and methods for testing software | |
Muškardin et al. | AALpy: an active automata learning library | |
US8640104B2 (en) | Computer method and apparatus for debugging in a dynamic computer language | |
Torres et al. | Real-time feedback in node-red for iot development: An empirical study | |
US20080209405A1 (en) | Distributed debugging for a visual programming language | |
CN112187585A (en) | Network protocol testing method and device | |
Fernandes et al. | Evaluating the accessibility of web applications | |
US11237948B2 (en) | Rendering engine component abstraction system | |
KR101110241B1 (en) | Program test device and program | |
Mendonca et al. | Detecting implied scenarios from execution traces | |
CN112988267B (en) | Loading method and device, storage medium and electronic equipment | |
Grieskamp et al. | Instrumenting scenarios in a model-driven development environment | |
Classen et al. | Modelling variability in self-adaptive systems: Towards a research agenda | |
EP3991047B1 (en) | Chat bot diagnostic visualization | |
Vontell | Bility: automated accessibility testing for mobile applications | |
Singh et al. | Towards extraction of message-based communication in mixed-technology architectures for performance model | |
Torres | Increasing the feedback on IoT development in Node-RED | |
Achkar | Model based testing of web applications | |
Chatley et al. | Model-based Simulation of Web Applications for Usability Assessment. | |
Vreže et al. | Sdl2pml—Tool for automated generation of Promela model from SDL specification | |
Ribeiro et al. | A formal framework for the development of concurrent object-based systems | |
Mozaffari et al. | Verification and validation of UML 2.0 sequence diagrams using colored Petri nets | |
Frosch-Wilke et al. | Evolutionary design of collaborative learning processes through reflective petri nets | |
Kallin | Visualizing Distributed Algorithms on the Seattle Platform | |
Domínguez Osorio et al. | Automated GUI ripping for web applications |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
AS | Assignment |
Owner name: SIEMENS CORPORATE RESEARCH, INC., NEW JERSEY Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:VIEIRA, MARLON E.R.;HANSELMANN, GERRIT;SIGNING DATES FROM 20070412 TO 20070419;REEL/FRAME:019237/0882 Owner name: SIEMENS CORPORATE RESEARCH, INC., NEW JERSEY Free format text: ASSIGNMENT OF ASSIGNORS INTEREST;ASSIGNORS:VIEIRA, MARLON E.R.;HANSELMANN, GERRIT;REEL/FRAME:019237/0882;SIGNING DATES FROM 20070412 TO 20070419 |
|
AS | Assignment |
Owner name: SIEMENS CORPORATION,NEW JERSEY Free format text: MERGER;ASSIGNOR:SIEMENS CORPORATE RESEARCH, INC.;REEL/FRAME:024216/0434 Effective date: 20090902 Owner name: SIEMENS CORPORATION, NEW JERSEY Free format text: MERGER;ASSIGNOR:SIEMENS CORPORATE RESEARCH, INC.;REEL/FRAME:024216/0434 Effective date: 20090902 |
|
STCF | Information on status: patent grant |
Free format text: PATENTED CASE |
|
FPAY | Fee payment |
Year of fee payment: 4 |
|
MAFP | Maintenance fee payment |
Free format text: PAYMENT OF MAINTENANCE FEE, 8TH YEAR, LARGE ENTITY (ORIGINAL EVENT CODE: M1552); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY Year of fee payment: 8 |
|
MAFP | Maintenance fee payment |
Free format text: PAYMENT OF MAINTENANCE FEE, 12TH YEAR, LARGE ENTITY (ORIGINAL EVENT CODE: M1553); ENTITY STATUS OF PATENT OWNER: LARGE ENTITY Year of fee payment: 12 |