$\require{mediawiki-texvc}$

연합인증

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

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

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

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

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

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

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

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

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

Verification of computer software

IPC분류정보
국가/구분 United States(US) Patent 등록
국제특허분류(IPC7판)
  • G06F-011/00
출원번호 US-0035802 (1987-04-08)
발명자 / 주소
  • Delucia R. Ralph (Valencia PA) Wolf Daniel J. (Bethel Park PA) Casteel Eric P. (N. Huntingdon PA)
출원인 / 주소
  • Westinghouse Electric Corp. (Pittsburgh PA 02)
인용정보 피인용 횟수 : 130  인용 특허 : 2

초록

A computer program is verified, unit by unit, by automatically instrumentating the code and generating a test driver program which executes all branches of an instrumented code unit. The code is instrumented by operating processors to standardize the code format and to insert executable tracer state

대표청구항

A method of verifying a computer source code having a series of program statements, including control statements which provide for branching to alternative statements of the code, said method comprising: instrumenting the source code to generate when the code is executed an indication for each block

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

  1. Shiozaki Keniti (Hadano JPX) Hibi Hazuo (Hadano JPX), Logic tracing apparatus.
  2. Hirayama Mitsunori (Hyogo JPX) Yamanaka Kimio (Hyogo JPX), Tracing system.

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

  1. Kavaklioglu,Kadir; Dillon,Steven R.; Rome,Gregory H.; Westbrock,Jon, Aggregation of asset use indices within a process plant.
  2. Arnold,Kenneth C. R. C.; Wollrath,Ann M.; Waldo,James H., Apparatus and method for dynamically verifying information in a distributed system.
  3. Sifter Daniel J., Apparatus and method for testing computer systems.
  4. Ogawa Akira,JPX, Apparatus for analyzing the task specification (business rule specification) of a source program.
  5. Motoyama, Tetsuro; Fong, Avery, Approach for automatically generating program code.
  6. Parker Marsten H. (Reading MA) Kepple Laurence R. (West Newton MA) Sklar Leah R. (Auburndale MA) Laroche David C. (Hampton NH), Automated GUI interface testing.
  7. Motoyama, Tetsuro, Automated management of development project files over a network.
  8. Motoyama,Tetsuro, Automated management of development project files over a network.
  9. Thompson,Ryan C.; Maly,John W., Automated method and system for backtracing of instruction parameters from specified instruction in test cases.
  10. Goossen Emray R. ; Shema David K. ; Lippitt Carl E., Automated validation and verification of computer software.
  11. Hunt Galen C., Automatic detection of per-unit location constraints.
  12. Jones, Gareth Edward; Owen, Andrew John; Whitehead, Matthew, Automatic formatting of computer program source code.
  13. Atkin, Steven E.; Huang, Xing Jiang; Yin, Jun, Automatically generating unit test cases which can reproduce runtime problems.
  14. Lawrence T. Ciccone, Jr. ; Thomas M. Camden, Jr. ; Duane E. Altman ; Charles F. Fuller ; Harold J. Kopp ; Gwen Thee, Change monitoring system for a computer system.
  15. Dollin,Christopher J; Gopalakrishnan,Vaideswar, Code verification system and method.
  16. Dollin,Christopher; Gopalakrishnan,Vaideswar, Code verification system and method.
  17. Frank, Joachim H.; Jamison, Wilfred C., Compiler for a declarative event-driven programming model.
  18. Brassard, Michel, Component-based source code generator.
  19. Negoro Fumio (Yokohama JPX) Murata Tetsuri (Tokyo JPX) Sawamura Kozo (Kawasaki JPX) Yuki Junichi (Sakura JPX) Murai Hiroshi (Tokyo JPX) Onuki Masayasu (Kawasaki JPX) Ito Norihito (Kawasaki JPX) Jiang, Computer system with easy programming architecture and programming method therefor.
  20. Motoyama, Tetsuro; Fong, Avery, Consolidation of member schedules with a project schedule in a network-based management system.
  21. Eryurek,Evren; Schleiss,Trevor D., Creation and display of indices within a process plant.
  22. Eryurek,Evren; Schleiss,Trevor D.; Harris,Stuart, Data sharing in a process plant.
  23. Motoyama, Tetsuro; Fong, Avery, Data structure used for directory structure navigation in a skeleton code creation tool.
  24. Motoyama,Tetsuro; Fong,Avery, Data structure used for directory structure navigation in a skeleton code creation tool.
  25. Frank, Joachim H.; Jamison, Wilfred C.; Miles, Curtis R., Debugger for a declarative event-driven programming model.
  26. Schwiegelshohn Uwe (Dortmund DEX), Debugging of High Performance Fortran programs with backup breakpoints.
  27. Zorn, Benjamin Goth; Livshits, Benjamin; Curtsinger, Charles M.; Seifert, Christian, Detection of code-based malware.
  28. Schleiss, Trevor D.; Nixon, Mark; Blevins, Terrence Lynn; Brase, Todd B.; Ganesamoorthi, Suresh, Diagnostic expert in a process control system.
  29. Bodamer Roger, Diagnostic methodology for debugging integrated software.
  30. Schleiss Trevor D. ; Wojsznis Wilhelm K. ; Blevins Terrence L., Diagnostics in a process control system.
  31. Schleiss, Trevor D.; Wojsznis, Wilhelm K.; Blevins, Terrence L., Diagnostics in a process control system.
  32. Blevins, Terrence L.; Nixon, Mark J.; Wojsznis, Wilhelm K., Diagnostics in a process control system which uses multi-variable control techniques.
  33. Arnold, Kenneth C. R. C.; Waldo, James H.; Scheifler, Robert; Wollrath, Ann M., Downloadable smart proxies for performing processing associated with a remote procedure call in a distributed system.
  34. Galen C. Hunt, Dynamic classification of sections of software.
  35. Hunt, Galen C., Dynamic classification of sections of software.
  36. Murphy, Brian T.; Scheifler, Robert W.; Pan, Zane; Waldo, James H.; Wollrath, Ann M.; Arnold, Kenneth C. R. C., Dynamic lookup service in a distributed system.
  37. Murphy, Brian T.; Scheifler, Robert W.; Pan, Zane; Waldo, James H.; Wollrath, Ann M.; Arnold, Kenneth C. R. C., Dynamic lookup service in a distributed system.
  38. Clarke, James B., Dynamic provisioning for filtering and consolidating events.
  39. Clarke, James B.; Clark, Sean E., Dynamic provisioning of identification services in a distributed system.
  40. Agarwal, Anant; Ayers, Andrew E.; Schooler, Richard, Early warning mechanism for enhancing enterprise availability.
  41. Agarwal, Anant; Ayers, Andrew E.; Schooler, Richard, Early warning mechanism for enhancing enterprise availability.
  42. Keyes, IV, Marion A.; Nixon, Mark J.; Blevins, Terrence Lynn, Economic calculations in a process control system.
  43. Keyes, Marion A.; Nixon, Mark J.; Blevins, Terrence Lynn, Economic calculations in a process control system.
  44. Yokoi, Atsushi, Efficiently developing software using test cases to check the conformity of the software to the requirements.
  45. Yokoi, Atsushi, Efficiently developing software using test cases to check the conformity of the software to the requirements.
  46. Eryurek, Evren; Ramachandran, Ram; Scott, Cindy Alsup; Schleiss, Trevor Duncan, Enhanced fieldbus device alerts in a process control system.
  47. Livshits, Benjamin; Zorn, Benjamin Goth; Seifert, Christian; Kolbitsch, Clemens, Execution of multiple execution paths.
  48. Gunnmarker,Mats; Hansen,Kai; Opem,Audun, Fault detection in an industrial controller during safety control.
  49. Miller, John Philip, Field device with capability of calculating digital filter coefficients.
  50. Simoneau, Matthew J.; Gulley, Edward Whittington, Generating a report document from code.
  51. Hunt Galen C., Heavyweight and lightweight instrumentation.
  52. Hunt,Galen C., Heavyweight and lightweight instrumentation.
  53. Hunt,Galen C., Heavyweight and lightweight instrumentation.
  54. Horikawa Takashi,JPX, Information processor which rewrites instructions in program to dynamically change program structure and method therefor.
  55. Eryurek, Evren; Llewellyn, Craig Thomas; Marschall, Lester David; Westbrock, Jon D.; Harris, Stuart A.; Hokeness, Scott N., Integrated alert generation in a process plant.
  56. Eryurek, Evren; Harris, Stuart Andrew; Hokeness, Scott Nels; Marschall, Lester David, Integrated device alerts in a process control system.
  57. Hudgons, Morrisha; Frank, Michael E.; Lukashevich, Judit; Rheingans, Alex, Integrated system and method for validating the functionality and performance of software applications.
  58. Fukushiro Masayuki,JPX ; Nakayama Daijoh,JPX, Interpreter language processing device.
  59. Gyure, Wesley J.; Robinson, David G.; Tate, Adam; Whinham, Nancy J., Managing software dependencies during software testing and debugging.
  60. Dulong Carole, Memory transfer apparatus and method useful within a pattern recognition system.
  61. Dulong Carole, Memory transfer apparatus and method useful within a pattern recognition system.
  62. Rees Andrew John ; O'Brien Stephen Caine ; Krystad Peter D., Method and apparatus for analyzing software executed in embedded systems.
  63. Rees Andrew John ; O'Brien Stephen Caine ; Krystad Peter D., Method and apparatus for analyzing software executed in embedded systems.
  64. Arnold,Kenneth C. R. C.; Waldo,James H.; Wollrath,Ann M.; Jones,Peter C., Method and apparatus for dynamic distributed computing over a network.
  65. Dulong Carole, Method and apparatus for executing an instruction with multiple brancing options in one cycle.
  66. Armstrong, Steve; Hokeness, Scott N.; Di Giovanni, Augustine, Method and apparatus for monitoring and performing corrective measures in a process plant using monitoring data with corrective measures data.
  67. Babineau, Sean Eric; Berestetsky, Vadim; Chen, Xuan Zhang; Ding, Li, Method and apparatus for on demand debugging, tracing, and logging of applications.
  68. Nixon,Mark J.; Keyes, IV,Marion A.; Schleiss,Trevor D.; Gudaz,John A.; Blevins,Terrence L., Method and apparatus for performing a function in a plant using process performance monitoring with process equipment monitoring and control.
  69. Armstrong, Stephen; Hokeness, Scott N.; Di Giovanni, Augustine, Method and apparatus for performing a function in a process plant using monitoring data with criticality evaluation data.
  70. Apuzzo, Joseph T.; Marino, John P.; Hoskins, Curtis L.; Race, Timothy L.; Suri, Hemant R., Method and apparatus for testing a software component using an abstraction matrix.
  71. Apuzzo,Joseph T.; Marino,John P.; Hoskins,Curtis L.; Race,Timothy L.; Suri,Hemant R., Method and apparatus for testing and evaluating a software component using an abstraction matrix.
  72. Miller Steven M. ; Schwartz David R. ; Smith Rodney A., Method and system for customizing a data processing system graphical user interface.
  73. Bessonov, Dmitry Nickolaevich, Method and system for generating a test file.
  74. John W. Miller ; John R. Douceur ; Robert P. Fitzgerald, Method and system for incrementally improving a program layout.
  75. Lopian, Eli, Method and system for isolating software components.
  76. Lopian, Eli, Method and system for isolating software components.
  77. Colley,Adrian E.; Jones,Peter C.; Schiefler,Robert W.; Warres,Michael P.; Wollrath,Ann M., Method and system for passing objects in a distributed system using serialization contexts.
  78. Vogel Keith Randel, Method and system for selecting instrumentation points in a computer program.
  79. Maxwell, III, Sidney Richards; Steinberger, Michael Louis, Method and system for simulating execution of a target program in a simulated target system.
  80. Cook,David R., Method and system for specifying file-specific program settings.
  81. Witchel, Emmett; Metcalf, Christopher D.; Ayers, Andrew E., Method for determining the degree to which changed code has been exercised.
  82. Witchel,Emmett; Metcalf,Christopher D.; Ayers,Andrew E., Method for determining the degree to which changed code has been exercised.
  83. Smith ; Jr. Ross F. ; Rodrigues James Perry, Method for error identification in a program interface.
  84. Huggins James Dwain, Method for generating random test cases without causing infinite loops.
  85. Borg Anita (San Mateo County CA) Wall David W. (San Mateo County CA), Method for quickly acquiring and using very long traces of mixed system and user memory references.
  86. Ayers, Andrew E.; Schooler, Richard; Agarwal, Anant, Method for simulating back program execution from a traceback sequence.
  87. Inoue Masaharu,JPX, Method of generating data for evaluating programs.
  88. Edwards, Jermaine Charles, Method, system, and program for logging statements to monitor execution of a program.
  89. Wollrath,Ann M.; Waldo,James H.; Riggs,Roger, Methods, apparatus, and product for distributed garbage collection.
  90. Bearse Timothy M. ; Lynch Michael L. ; Souza James ; Gagnon Edward L., Model-based process for translating test programs.
  91. Hunt,Galen C., Network independent profiling of applications for automatic partitioning and distribution in a distributed computing environment.
  92. Fujita Takayuki,JPX ; Murayama Michihei,JPX, Partial display printing, secure-communication and multiple copying functions in image processing apparatus.
  93. Dulong Carole, Pattern recognition system using a four address arithmetic logic unit.
  94. Bartley, Timothy S.; Bray, Gavin G.; Hughes, Elizabeth M.; Singh, Kalvinder P., Prioritizing test cases using multiple variables.
  95. Bartley, Timothy S.; Bray, Gavin G.; Hughes, Elizabeth M.; Singh, Kalvinder P., Prioritizing test cases using multiple variables.
  96. Heisch Randall R. (Austin TX) Kilpatrick Paul J. (Austin TX), Profile-based preprocessor for optimizing programs.
  97. Sasaki, Koji, Program specification generating system.
  98. Motoyama,Tetsuro, Project management over a network with automated task schedule update.
  99. Maxwell Sidney R., Relocatable instrumentation tags for testing and debugging a computer program.
  100. Galen C. Hunt, Reversible load-time dynamic linking.
  101. Li, Jun; Moore, Keith, Runtime monitoring in component-based systems.
  102. Hunt, Galen C., Service installation on a base function and provision of a pass function with a service-free base function semantic.
  103. Miller, John P., Simplified algorithm for abnormal situation prevention in load following applications including plugged line diagnostics in a dynamic process.
  104. Miller, John Philip, Simplified algorithm for abnormal situation prevention in load following applications including plugged line diagnostics in a dynamic process.
  105. Kettley, Paul; Mitchell, Ian J., Software application recreation.
  106. Kettley, Paul; Mitchell, Ian J., Software application recreation.
  107. Vassili Gorshkov ; Richard Efron ; Andrew Jolyon Platt ; Paul William Kohlbrenner, Software debugging method and apparatus.
  108. Motoyama, Tetsuro; Fong, Avery, Software development environment with design specification validation tool.
  109. Motoyama,Tetsuro; Fong,Avery, Software development environment with design specification verification tool.
  110. Tatsumi, Tetsu; Tao, Koki; Saito, Yasuhiro, Software development support system.
  111. Balentine, James R.; Dicaire, Andre A.; Scott, Cindy A.; Lattimer, Donald Robert; Schibler, Kenneth; Shepard, John R.; Jundt, Larry O., Software lockout coordination between a process control system and an asset management system.
  112. Mays Robert George (Chapel Hill NC) Stubbs Thomas Michael (Raleigh NC), Software understanding aid for generating and displaying simiplified code flow paths with respect to target code stateme.
  113. Galen C. Hunt, Summarized application profiling and quick network profiling.
  114. Kyushima Ichiro (Yokohama JPX), Syntax analysis and language processing system.
  115. Gulley, Edward Whittington, System and method for cell-based code editing and publishing.
  116. Wollrath,Ann M.; Waldo,James H.; Riggs,Roger, System and method for facilitating dynamic loading of stub information to enable a program operating in one address space to invoke processing of a remote method or procedure in another space.
  117. Porterfield, John R., System and method for testing of computer programs in programming effort.
  118. Eryurek, Evren; Westbrock, Jon, System for preserving and displaying process control data associated with an abnormal situation.
  119. Brownsmith Joseph D., Systematic enumerating of strings using patterns and rules.
  120. Grey, James; Crank, Erik, Test executive system and method including process models for improved configurability.
  121. Enokido Shigenori,JPX ; Kawabata Isami,JPX ; Akuta Hiromi,JPX, Test specification generation system and storage medium storing a test specification generation program.
  122. Hunt, Galen C., Tools and techniques for instrumenting interfaces of units of a software program.
  123. Hunt,Galen C., Tools and techniques for instrumenting interfaces of units of a software program.
  124. Hunt,Galen C., Tools and techniques for instrumenting interfaces of units of a software program.
  125. Motoyama, Tetsuro; Fong, Avery, Use of a database in a network-based project schedule management system.
  126. Krishna, Goldsmith Murali; Shrotri, Ulka Aniruddha; R, Venkatesh, Validating a specification associated with a software application and/or a hardware.
  127. Frank, Joachim H.; Jamison, Wilfred C., Virtual machine and programming language for event processing.
  128. Frank, Joachim H.; Jamison, Wilfred C., Virtual machine and programming language for event processing.
  129. Peterson, Neil J.; Deitz, David L.; Wilson, Grant; Zhou, Ling; Tanyous, Ebtesam S.; Worek, Christopher J.; Nixon, Mark J., Web services-based communications for use with process control systems.
  130. Peterson, Neil J.; Deitz, David L.; Wilson, Grant; Zhou, Ling; Tanyous, Ebtesam S.; Worek, Christopher J.; Nixon, Mark J., Web services-based communications for use with process control systems.
섹션별 컨텐츠 바로가기

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

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

선택된 텍스트