Data processing: speech signal processing – linguistics – language – Linguistics – Natural language
Reexamination Certificate
2011-06-28
2011-06-28
McFadden, Susan (Department: 2626)
Data processing: speech signal processing, linguistics, language
Linguistics
Natural language
C704S275000
Reexamination Certificate
active
07970601
ABSTRACT:
The invention relates to a method of creating a requirement description for an embedded system, including but not only a motor vehicle electronic control unit, in which a vocabulary of natural-language, selectable text segments is stored in a data processing system, said text segments being combinable with one another to form at least one natural-language sentence, possibly but not necessarily in the English language, to form a machine-readable requirement description, and that each text segment is linked to a set of further text segments that can be combined with it, whereby for a text segment that is selected, the data processing system automatically represents the further combinable text segments in selectable form on a display unit. The invention further relates to a computer program product stored on a data medium that, when executed on a data processing system executes a method according to one of the previous claims.
REFERENCES:
patent: 6163785 (2000-12-01), Carbonell et al.
patent: 6275789 (2001-08-01), Moser et al.
patent: 6334103 (2001-12-01), Surace et al.
patent: 7085708 (2006-08-01), Manson
patent: 7165236 (2007-01-01), America
German Examiner's Report dated May 14, 2008 and English Translation thereof.
German Examiner's Report dated Oct. 29, 2008 and English Translation thereof.
Uwe Schöning. Logik für Informatiker. Spektrum-Akademischer Verlag, Jan. 2000 (with English machine translation).
Georg E. Thaller. Software-Test: Verifikation und Validation. Verlag Heinz Heise, 2000, Sections 2.1 and 3.5 (with English machine translation).
Rupert Wiebel, Steffen Höh, and Stefan Hendrata. Specification Requirements Interchange Format (RIF), 2005.
Mario Friske and Holger Schlingloff. Von Use Cases zu Test Cases: Eine systematische Vorgehensweise. In T. Klein, B. Rumpe, and B. Schätz, editors, Tagungsband Dagstuhl-Workshop MBEES: Model Based Engineering of Embedded Systems, No. 2005-01 in Informatik-Bericht. TU Braunschweig, Jan. 2005 (with English machine translation).
Juergen Grossmann, Mirko Conrad, Ines Fey, Alexander Krupp, Klaus Lamberg, and Christian Wewetzer. TestML—A Test Exchange Language for Modelbased Testing of Embedded Software. In Proceedings of Automotive Software Workshop, Mar. 2006.
Matthias Grochtmann and Klaus Grimm. Classification Trees for Partition Testing. vol. 3 of Software Testing, Verification and Reliability, pp. 63-82. 1993.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Entwurfsmuster. Addison-Wesley, Jul. 2004, Section 1.2—pp. 4-6 and 163-173.
Robert Bosch GmbH. Kraftfahrtechnisches Taschenbuch. Springer Verlag, 1999, pp. 124 and 167 (with English machine translation).
Jens Grabowski. TTCN-3—A new Test Specification Language for BlackBox Testing of Distributed Systems. In Proceedings of the 17th International Conference and Exposition on Testing Computer Software (TCS'2000), Theme: Testing Technology vs.Testers' Requirements, Washington D.C., Jun. 2000, Jun. 2000.
Mou Hu. A New Test Design Method for Requirement-Based Software Testing. Beijing, China, Aug. 2000.
IEEE. IEEE Standard Glossary of Software Engineering Terminology, Dec. 1990.
British Computer Society Specialist Interest Group in Software Testing. Standard for software component testing (draft 3.4), Apr. 2001.
Erik Kamsties, Daniel M. Berry, and Barbara Paech. Detecting Ambiguities in Requirements Documents Using Inspections. In Mark Lawford and David L. Parnas, editors, Proceedings of the First Workshop on Inspection in Software Engineering (WISE'01), pp. 68-80, Paris, France, Jul. 2001. Software Quality Research Lab, McMaster University, Hamilton, Canada.
Stuart Kent. Model Driven Engineering. In M. Butler, L. Petre, and K. Sere, editors, Proceedings of the Third International Conference on Integrated Formal Methods (IFM 2002), vol. 2335 of Lecture Notes in Computer Science, p. 286-298, Turku, Finland, May 2002. Springer Verlag.
Klaus Lamberg. Software-Entwicklung: Software-Testen. In H. Wallentowitz and K. Reif, editors, Handbuch Kraftfahrzeugelektronik Grundlagen—Komponenten—Systeme—Anwendungen. Vieweg Verlag, Wiesbaden, 2006 (with English machine translation).
Peter Liggesmeyer. Software-Qualität. Spektrum Akademischer Verlag, 2002, Sections 1.3.2 and 13.1 (with English machine translation).
EPO Search Report for EP09002479.5, dated Jul. 21, 2009 (with translation of Examiner's Notes).
Mahajan R., et al., “A Multi-Language Goal-Tree Based Functional Test Planning System”, ITC International Test Conference, pp. 472-481, 2002.
Håkan L.S. Younes and Reid G. Simmons, “VHPOP: Versatile Heuristic Partial Order Planner”, Journal of Artificial Intelligence Research 20: pp. 405-430, © 2003 AI Access Foundation.
Rolf Schwitter et al., “Attempto Controlled English (ACE) for Software Specifications”, Department of Computer Science, University of Zurich, pp. 1-8, 2002.
K. Amschler Andrews et al., “AI Planner Assisted Test Generation, Anneliese Software Quality Journal”, 10, pp. 225-259, © 2002 Kluwer Academic Publishers, Manufactured in the Netherlands.
Michael Esser and Peter Struss, “Automated Test Generation from Models Based on Functional Software Specifications”, To appear in: 3rd Indian International Conference on Artificial Intelligence (HCAI-07), Dec. 17-19, 2007, Pune, India, 14 pages—No. 1.
M. Esser and P. Struss, “Model-based Test Generation for Embedded Software”, To appear in 2nd Monet Workshop on Model-Based Systems at IJCAI-05, Jul. 30, 2005, 7 pages—No. 2.
Michael Esser and Peter Struss, “Obtaining Models for Test Generation from Natural-language-like Functional Specifications”, Model-Based Systems & Qualitative Reasoning Group of the Technical University of Munich, pp. 1-36—No. 3.
M.W. Esser and P. Struss, “Obtaining Models for Test Generation from Natural-language-like Functional Specifications”, In: G. Biswas et al. (eds.) DX'07, 18th International Workshop on Principles of Diagnosis, May 29-31, 2007, Nashville (USA), pp. 75-82—No. 4.
P. Struss, “Model-based Optimization of Testing through Reduction of Stimuli”, In: International Joint Conference on Artificial Intelligence (IJCAI), Jan. 6-12, 2007, Hyderabad, India; 6 pages—No. 5.
Atif M. Memon et al., “Hierarchical GUI Test Case Generation Using Automated Planning”, IEEE Transactions on Software Engineering, vol. 27, No. 2, Feb. 2001, pp. 144-155.
Martin Sachenbacher and Stefan Schwoon, “Model-based Test Generation using Quantified CSPs”, Technische Universität München, Institut für Informatik, Boltzmannstraβe 3, 85748 Garching, Germany, 6 pages, 2008.
Michael Scheetz et al., “Generating Test Cases from an OO Model with an AI Planning System”, Computer Science Department, Colorado State University, Fort Collins, CO 80523, Downloaded on Nov. 11, 2008 at 06:39 from IEEE Ixplore, 10 pages.
Ghallab, M. and Traverso, P., “Automated Planning: Theory and Practice”, Morgan Kaufmann, 2004, Chapter 14 Temporal Planning, pp. 309-347.
German Search Report, Jul. 11, 2007.
Altova UModel—UML 2.1 Software Modeling and Application Development Tool; http://web.archive.org/web/20060904173222/http://www.altova.com/products/um; Jun. 29, 2007.
Agedis Consortioum; Agedis Model Based Test Generation Tools, Alan Hartman, Hartman@il.ibm.com, www.agedis.de, 2002.
Automated Test Generation Technology, Assertion Definition Language Project, X/Open Company Ltd., 1997.
From Natural Language Requirements to Executable Models of Software Components, Barrett R. Bryant, Beum-Seuk Lee, Fei Cao, Wei Zhao, Carol C. Burt, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, and Auguston, Mikhail, Proceedings of the 2003 Monterey Workshop on Software Engineering for Embedded Systems, Sep. 24-26, 2003, Chicago, IL 2003, pp. 51-58.
Gebit Solutions, A.S. (planty@gebit.de); http://web.archive.org/web/20030618051817/http://ww
Burmester Sven
Lamberg Klaus
Thiessen Christine
Wewetzer Christian
dSPACE digital signal processing and control engineering GmbH
McFadden Susan
Orrick Herrington & Sutcliffe LLP
LandOfFree
Method of creating a requirement description for testing an... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method of creating a requirement description for testing an..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method of creating a requirement description for testing an... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2633902