Patent
Apparatus and method for testing computer program implementation against a design model
Hector M. Chavez,Wuwei Shen +1 more
- 24 Feb 2015
8
TL;DR: In this article, a method of testing a computer program implementation according to a predefined design model is proposed, where the program implementation has at least one method under test, and a computer is further used to automatically generate a set of test cases.
read more
Abstract: A method of testing a computer program implementation according to a predefined design model, the program implementation having at least one method under test, employs a computer to generate a post-method corresponding to the method under test. A computer is further used to automatically generate a set of test cases. Then, using the automatically generated set of test cases, the computer explores different execution paths of the computer program implementation, by applying those test cases to both the method under test and the generated post-method, to reveal behavior that is not consistent with the behavior specified by the design model.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Patent
Launcher with helical antenna and methods for use therewith
Peter Wolniansky
- 06 Dec 2016
TL;DR: In this article, a helical antenna is configured to launch the radio frequency signal as a guided electromagnetic wave that is bound to an outer surface of a transmission medium, wherein the guided EM wave propagates along the outer surface without an electrical return path.
241
Patent
Test case reduction in application binary interface (ABI) compatibility testing
Robin Green
- 18 Aug 2016
TL;DR: In this paper, a method and a system of test case reduction in application binary interface (ABI) compatibility testing are provided. But the test cases are generated by generating test cases consisting of called functions with random numbers and types of arguments.
3
Patent
Event-driven software test sequence determination
Martin J. Rogalla,Mukul R. Prasad +1 more
- 03 Oct 2016
TL;DR: In this paper, a behavioral model is generated using passive learning that is based on behavior of an event-driven software program during symbolic execution of the event driven software program and symbolically executing the execution target based on the selection.
3
Patent
Method and device for automatically correcting program homework
Fang Hong
- 11 Jan 2017
TL;DR: In this paper, a method and a device for automatically correcting program homework is presented. But the method and the device are adopted, the program homework can be automatically corrected in batches, and the accuracy of program homework correction of the teacher is improved.
3
Patent
Intermittent failure metrics in technological processes
Zhang Jian,Lu Minghao,Ye Xiaolu,He Ning +3 more
- 08 Aug 2019
TL;DR: In this paper, the authors describe a system that receives Boolean states responsive to repeatedly applying a first test case to a subject system, each Boolean state signifies an outcome of an application of the first test cases to a version of a first software feature over a span of time.
2
References
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
TL;DR: A dynamic test generation technique for the domain of dynamic Web applications that utilizes both combined concrete and symbolic execution and explicit-state model checking and minimizes the conditions on the inputs to failing tests so that the resulting bug reports are small and useful in finding and fixing the underlying faults.
Patent
Method for analyzing calls of application program by inserting monitoring routines into the executable version and redirecting calls to the monitoring routines
David C. Cline,Andrew P. Silverman,Farrell W. Wymore +2 more
- 18 Sep 1990
TL;DR: In this article, the authors propose a method for verifying the conformance of an application program to a set of system rules characterized by the development of a conformance database, the performance of a static analysis of the application program, and a dynamic analysis of a program.
186
Patent
Prioritizing quality improvements to source code
Michael C. Fanning,Nachiappan Nagappan,Thomas Ball,Sean Sandys +3 more
- 29 Nov 2007
TL;DR: An exemplary system prioritizes quality improvements to source code based, in part, on a quality assessment as discussed by the authors, which can improve code quality by assigning higher test coverage levels to modules with higher complexity.
108
Patent
Method and apparatus for testing software
Peter C. Bahrs,Raphael P. Chancey,Brian T. Lillie,Michael R. Olivas +3 more
- 04 Oct 2001
TL;DR: In this paper, a software component is loaded onto a data processing system, and input data is read from a configuration data structure for a test case, which is executed using the test case in which an actual result is generated.
96
Patent
Unit test generalization
Nikolai Tillmann,Wolfgang Grieskamp,Wolfram Schulte +2 more
- 30 Dec 2005
TL;DR: In this article, a generalizor modifies a traditional unit test into a parameterized unit test by replacing plural concrete values in the traditional unit tests with symbols, and exporting the symbols into a signature of the parameterised unit test.
91
Related Papers (5)
Masaru Nishimura,優 西村 +1 more
- 28 Jan 2008
Yang Changyong,Sun Xiao,Sun Yun,Yang Jing +3 more
- 11 Mar 2015
William John Nasuti,Connie Stout Dunbar +1 more
- 29 Mar 2004
Zhu Yijia,Li Rongfa +1 more
- 18 Jan 2019