Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate
2006-09-12
2010-10-12
Frejd, Russell (Department: 2128)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Software program
C717S104000, C717S127000, C717S131000
Reexamination Certificate
active
07813911
ABSTRACT:
A model based testing framework is provided that can be incorporated into and used to supplement existing testing approaches. Via annotation of custom attributes and requirements, the framework provides the ability to author models in the same language as code (e.g., test code) that interacts with the model. Optionally, the model-based testing techniques are accessible and changeable at run-time so that tests and models that are executing can be dynamically altered. Optionally, weights (and other techniques) may be exerted on one or more portions of the model to influence the execution of the tests. The ability to execute the model-based testing techniques on some portions of test code, while running hand-crafted or custom test code on other portions, is also provided.
REFERENCES:
patent: 5870590 (1999-02-01), Kita et al.
patent: 5950004 (1999-09-01), Bearse et al.
patent: 6038378 (2000-03-01), Kita et al.
patent: 6577982 (2003-06-01), Erb
patent: 6934934 (2005-08-01), Osborne et al.
patent: 6944848 (2005-09-01), Hartman et al.
patent: 6976246 (2005-12-01), Rosaria et al.
patent: 6993747 (2006-01-01), Friedman
patent: 7000224 (2006-02-01), Osborne et al.
patent: 7089534 (2006-08-01), Hartman et al.
patent: 7237231 (2007-06-01), Lambert
patent: 7363616 (2008-04-01), Kalyanaraman
patent: 2003/0046613 (2003-03-01), Farchi et al.
patent: 2003/0196191 (2003-10-01), Hartman et al.
patent: 2005/0256665 (2005-11-01), Hartmann et al.
patent: 2006/0075305 (2006-04-01), Robinson et al.
patent: 2006/0085681 (2006-04-01), Feldstein et al.
patent: 2006/0101397 (2006-05-01), Mercer et al.
patent: 2008/0263506 (2008-10-01), Broadfoot et al.
Tan et al., Model-Based Testing and Monitoring for Hybrid Embedded Systems, Proceedings of the 2004 IEEE Int. Conference on Information Reuse and Integration, Nov. 2004, pp. 487-492.
Grieskamp et al., XRT—Exploring Runtime for .NET Architecture and Applications, Electronic Notes in Theoretical Computer Science, vol. 144, Iss. 3, Feb. 2006, pp. 3-26.
Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes: Model-Based Testing with AsmL.NET in 1st European Conference on Model-Driven Software Engineering , Dec. 2003 http://research.microsoft.com/users/schulte/Papers/ModelBasedTestingWithAsmL(agedis2003).pdf.
S.R. Dalal, A. Jain, N. Karunanithi, J.M. Leaton, C.M. Lott, G.C. Patton, and B.M. Horowitz, Model-based testing in practice. In Intl. Conf. Software Engineering, pp. 285-294, May 1999. http://aetgweb.argreenhouse.com/papers/1999-icse.pdf.
A. Bertolino, E. Marchetti and H. Muccini: Introducing a Reasonably Complete and Coherent Approach for Model-based Testing, In: Proc. ETAPS 2004 workshop on “Test and Analysis of Component Based Systems”(Tacos), Barcelona, Spain, Mar. 2004. http://www.henrymuccini.com/Research/2004/Tacos04/BertolinoEtAl—Tacos04—CR.pdf.
IK El-Far and JA Whittaker, “Model-Based Software Testing”. Encyclopedia of Software Engineering (edited by JJ Marciniak). Wiley, 2001. [Farchi, 2002] http://geocities.com/model—based—testing/ModelBasedSoftwareTesting.pdf.
Kher Amol Janardan
Triou, Jr. Edward John
Frejd Russell
Microsoft Corporation
Turocy & Watson LLP
LandOfFree
Model based testing language and framework does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Model based testing language and framework, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model based testing language and framework will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4157096