$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

Software verification apparatus 원문보기

IPC분류정보
국가/구분 United States(US) Patent 등록
국제특허분류(IPC7판)
  • G06F-011/00
출원번호 US-0330430 (1989-03-30)
우선권정보 IE-0000956 (1988-03-30)
발명자 / 주소
  • Edmonds Edward J. (Brooklands IEX) Curran John G. (Stoneyhurst IEX)
출원인 / 주소
  • Elverex Limited (Limerick IEX 03)
인용정보 피인용 횟수 : 42  인용 특허 : 2

초록

An apparatus for verification of target software loaded in a target computer. The apparatus includes communication and monitoring circuits inserted in the target computer and in a host computer which is programmed to direct operation of target software tests through the communication and monitoring

대표청구항

An apparatus for non-intrusively verifying target software loaded in a target computer comprising: an input transmission circuit for transmission of external stimuli to the target software; a recording circuit for recordal of external stimuli transmitted to the target software and for recordal of co

이 특허에 인용된 특허 (2)

  1. Kerr Randal H. (Richford NY) Mesnard Robert M. (Endicott NY), System for testing interactive software.
  2. Greer Steven C. (Lisle IL), Test interface circuit which generates different interface control signals for different target computers responding to.

이 특허를 인용한 특허 (42)

  1. Schwabe,Judith E., API representation enabling submerged hierarchy.
  2. Marsico ; Jr. Michael (17 Laurel Rd. Lake Peekskill NY 10537), Apparatus and method for electronically tracking and duplicating user input to an interactive electronic device.
  3. Golfieri, Marcello, Automated bug detection with virtual machine forking.
  4. Cohen, Richard M.; Vollers, William H., Automated recording and replaying of software regression tests.
  5. Stoval, William M.; Edwards, David P., Automated regression testing of workstation software.
  6. Humelsine James E. (Neptune NJ) Ling Moses M. (Warren NJ) Olson ; III Carl H. (Livingston NJ) Warty Pramod (Freehold NJ), Automated software regression test and compilation system.
  7. Hameluck Don E.,CAX ; Velocci Vince V.,CAX, Buffered screen capturing software tool for usability testing of computer applications.
  8. Blandy Geoffrey Owen ; Saba Maher Afif ; Urquhart Robert J., Code instrumentation system with non intrusive means and cache memory optimization for dynamic monitoring of code segme.
  9. Tharp,Duane; Tauber,James Konrad; Ren,Biao; Logue,Clyde Christopher, Collaborative environment for producing software products.
  10. Lee, Sang-Jin, Computer system including a memory having system information stored therein and a repairing technique therefor.
  11. Kearney,Daniel J.; Kostenko,William P.; Makowicki,Robert Philip, Control method, system, and program product employing an embedded mechanism for testing a system's fault-handling capability.
  12. Kearney, Daniel J.; Kostenko, William P.; Makowicki, Robert Philip, Control system, and program product employing an embedded mechanism for testing a system's fault-handling capability.
  13. Schleiss, Trevor D.; Nixon, Mark; Blevins, Terrence Lynn; Brase, Todd B.; Ganesamoorthi, Suresh, Diagnostic expert in a process control system.
  14. Schleiss Trevor D. ; Wojsznis Wilhelm K. ; Blevins Terrence L., Diagnostics in a process control system.
  15. Schleiss, Trevor D.; Wojsznis, Wilhelm K.; Blevins, Terrence L., Diagnostics in a process control system.
  16. Blevins, Terrence L.; Nixon, Mark J.; Wojsznis, Wilhelm K., Diagnostics in a process control system which uses multi-variable control techniques.
  17. Okamoto, Toshiya; Aoki, Toshiya; Oda, Kouichi; Hamachi, Jun; Fujimoto, Fumiaki; Yoda, Kazuhiko, Display system.
  18. Wilner David N. ; Smith Colin ; Cohen Robert D. ; Burd Dana ; Fogelin John C. ; Fox Mark A. ; Long Kent D. ; Burns Stella M., Logic analyzer for software.
  19. Manda,Vijayram; Riner,Gemma G.; Enugula,Sridhar V.; Pallath,Rajendrakumar; Chow,Wanyee A., Mechanism for testing execution of applets with plug-ins and applications.
  20. Ali Santosa,Gunawan; Mojgani,Mehrdad, Method and apparatus for managing remote software code update.
  21. Cardoza Wayne M. (Amherst NH) Diewald Jeffrey M. (Billerica MA) Nelson Jeffrey E. (Milford NH) DiPirro Steven D. (Amherst NH) Goddard James R. (Candia NH) Fisher ; Jr. Wendell B. (Nashua NH) McElearn, Method and apparatus for testing software on a computer network.
  22. Masayuki Kitagawa ; Koji Tsuboi ; Masanori Matsunaga, Method and apparatus for updating firmware.
  23. Chen, Fei-Teng; Chan, Hsin-Yu, Method and system for automated test and result comparison.
  24. McIntosh, John W.; Simons, Douglas P.; Gillaspie, Jonathan D.; Bieber, Ray L., Method for monitoring a graphical user interface on a second computer display from a first computer.
  25. Simons, Douglas P.; Gillaspie, Jonathan D., Method for monitoring a graphical user interface on a second computer display from a first computer.
  26. Simons, Douglas P.; Gillaspie, Jonathan D., Method for monitoring a graphical user interface on a second computer display from a first computer.
  27. Giorgetta, Timothy E.; Hamidi, Madjid, Methods and apparatus for determining whether electronic devices are communicatively compatible.
  28. Hekmatpour,Amir, Methods, systems, and media for management of functional verification.
  29. Hirai, Susumu, Monitoring device and monitoring method for monitoring data held in memory.
  30. Schwabe, Judith E., Populating binary compatible resource-constrained devices with content verified using API definitions.
  31. Schwabe, Judith E., Populating resource-constrained devices with content verified using API definitions.
  32. Dahlin Mats H.ang.kan,GBX ; Eriksson Mats Erland,SEX ; Lofgren Lennart Adolf Nils,SEX, Providing a master device with slave device capability information.
  33. Hogan Keith ; Scholl Thomas H. ; Witowsky William E., Real-time embedded software respository with attribute searching apparatus and method.
  34. Schwabe,Judith E., Remote incremental program binary compatibility verification using API definitions.
  35. Schwabe,Judith E., Remote incremental program verification using API definitions.
  36. Annicchiarico Richard Francis ; Chesler Robert Todd ; Jamison Alan Quentin, Server extension for a computer system.
  37. Weinberg, Amir; Leshem, Eran; Kholmyansky, Maxim; Garri, Amos; Tapiro, Nisim; Hillel, Meni, Software system and methods for testing the functionality of a transactional server.
  38. 't Hooft,Maarten W.; Rider,Ethan J., Support interface module bug submitter.
  39. Prologo, Richard D.; Katis, Bruce D., System and method for automating the testing of software processing environment changes.
  40. Wu Grace-Ann C. (Sunnyvale CA) McCall Mark B. (San Carlos CA) Raney Ella (Los Altos CA) Wu Overcomer (San Jose CA), System and method for determining whether a software package conforms to packaging rules and requirements.
  41. Patrick H. Wood ; Anthony Iannino, System and method for printer output regression testing using display lists.
  42. Inoue Sunao,JPX ; Sasaki Akitomo,JPX, System for recording processing operations of one processing apparatus and reflecting contents of the operations which.
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로