[특허]Optimum functional test method to determine the quality of a software system embedded in a large electronic system

Optimum functional test method to determine the quality of a software system embedded in a large electronic system 원문보기

IPC분류정보
국가/구분	United States(US) Patent 등록
국제특허분류(IPC7판)	G06F-011/00
출원번호	US-0271422 (1994-07-06)
발명자 / 주소	Gil Luis (Madrid ESX)
출원인 / 주소	Ericsson, S.A. (Madrid ESX 03)
인용정보	피인용 횟수 : 71 인용 특허 : 0

초록 ▼

A method of performing software validation testing on large electronic systems applies Usage Concepts specially modelled as Markov chains to forrealize the expected use of the system, to define the system behavior, and to introduce statistical measurements. The functional requirements of the software system are defined in a Markov chain by identifying a plurality of states through which the software system transitions when performing the functional requirements. Stimuli and responses which cause the software system to transition from one state to another are identified, and the probability of each state transition is calculated. Usage cases beginning at an invocation state and ending at a termination state of the software system are defined and listed in order of descending probability of occurrence in a Usage Profile. The Usage Profile, stimuli, and responses are automatically compiled into an automated test program, and associated test equipment is automatically programmed to generate a set of test cases. The set of test cases are then executed on the software system. The end of the set of test cases is determined, and the method analyzes and reports the software system quality.

대표청구항 ▼

An electronic media for a stored program for electronic systems wherein said stored program performs the method of performing validation testing to determine the quality of a software system embedded in a large electronic system having associated test equipment, said method comprising the steps of: defining a set of functional requirements for said software system; constructing a Markov chain, said constructing step further comprising the steps of, identifying a plurality of states through which said software system transitions when performing said functional requirements; defining a plurality of stimuli which cause said software system to transition from one of said plurality of states to another; identifying a response, comprising at least one state transition, which occurs in response to each of said plurality of stimuli for each of said plurality of states; and calculating the probability of occurrence of each of said state transitions; identifying a plurality of usage cases, each of said usage cases comprising a set of state transitions beginning at an invocation state and ending at a termination state of said software system; building a Usage Model for said software system, said Usage Model comprising a plurality of usage cases; calculating the probability of occurrence of each of said usage cases; building a Usage Profile for said software system by listing said usage cases in order of descending probability of occurrence; automatically compiling said Usage Profile, said stimuli, and said responses into an automated test program; providing a stored program media containing the programming for said associated test equipment with said automated test program to generate a set of test cases; executing said set of test cases on said software system; determining the end of said set of test cases; and analyzing and reporting said software system quality.

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

Kavaklioglu,Kadir; Dillon,Steven R.; Rome,Gregory H.; Westbrock,Jon, Aggregation of asset use indices within a process plant.
상세보기
Apfelbaum, Larry; Savage, Peter L.; Trumpler, Mark; Doyle, John D.; Lynch, Thomas; Vaswani, Ramesh, Analyzing an extended finite state machine system model.
상세보기
James Hunt ; Jared Blustein, Apparatus and method for providing support software for an agent workstation of an automatic call distributor.
상세보기
Psaras,Nancy M.; Cleary,Thomas J.; Ziegler,George P., Application system certification process.
상세보기
Apostoloiu,Laura Ioana; Day,Philip Arthur; Ghazizadeh,Behrad, Automated atomic system testing.
상세보기
Noller, Jesse A.; Mason, Jr., Robert S., Automated software testing framework.
상세보기
Sivakumar Arunachallam ; Kaufer Stephen L., Computer software testing management.
상세보기
Sivakumar Arunachallam ; Kaufer Stephen L., Computer software testing management.
상세보기
Eryurek,Evren; Schleiss,Trevor D., Creation and display of indices within a process plant.
상세보기
Morales, Jr., Rene; Rankin, Charles Vaughn, Data processing system, method and program for generating a job within an automated test environment.
상세보기
Morales, Jr., Rene; Rankin, Charles Vaughn, Data processing system, method, and program for automatically testing software applications.
상세보기
Eryurek,Evren; Schleiss,Trevor D.; Harris,Stuart, Data sharing in a process plant.
상세보기
Ottensooser Avner Benjamin,AUX, Determination of software functionality.
상세보기
Hentschel, Dieter; Tschoepe, Constanze; Hoffmann, Ruediger; Eichner, Matthias; Wolff, Matthias, Device and method for assessing a quality class of an object to be tested.
상세보기
Choi, Byoung-Ju; Seo, Joo-Young; Sung, Ah-Young; La, Kwang-Hyun; Kang, Sung-Bong; Lee, Ki-Cheol; Kim, Yong-Hun, Device and method for testing embedded software using emulator.
상세보기
Schleiss, Trevor D.; Nixon, Mark; Blevins, Terrence Lynn; Brase, Todd B.; Ganesamoorthi, Suresh, Diagnostic expert in a process control system.
상세보기
Schleiss Trevor D. ; Wojsznis Wilhelm K. ; Blevins Terrence L., Diagnostics in a process control system.
상세보기
Schleiss, Trevor D.; Wojsznis, Wilhelm K.; Blevins, Terrence L., Diagnostics in a process control system.
상세보기
Blevins, Terrence L.; Nixon, Mark J.; Wojsznis, Wilhelm K., Diagnostics in a process control system which uses multi-variable control techniques.
상세보기
Li,Chia Hsin; Chan,Brian, Dynamic class packaging.
상세보기
Li,Chia Hsin; Nelson,Steve; Chan,Brian, Dynamic java class loading for application execution.
상세보기
Keyes, IV, Marion A.; Nixon, Mark J.; Blevins, Terrence Lynn, Economic calculations in a process control system.
상세보기
Keyes, Marion A.; Nixon, Mark J.; Blevins, Terrence Lynn, Economic calculations in a process control system.
상세보기
Zhang, Haidong; Liu, Guowei; Li, Yantao; Sun, Bing; Wang, Jian, Efficient data infrastructure for high dimensional data analysis.
상세보기
Eryurek, Evren; Ramachandran, Ram; Scott, Cindy Alsup; Schleiss, Trevor Duncan, Enhanced fieldbus device alerts in a process control system.
상세보기
Miller, John Philip, Field device with capability of calculating digital filter coefficients.
상세보기
Eryurek, Evren; Llewellyn, Craig Thomas; Marschall, Lester David; Westbrock, Jon D.; Harris, Stuart A.; Hokeness, Scott N., Integrated alert generation in a process plant.
상세보기
Eryurek, Evren; Harris, Stuart Andrew; Hokeness, Scott Nels; Marschall, Lester David, Integrated device alerts in a process control system.
상세보기
Cohen, Paul M.; Kluck, Joseph R.; Nerenberg, William J.; Dent, David E.; Vora, Sanjay V., Method and apparatus for cheating an information report resulting from a diagnostic session.
상세보기
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.
상세보기
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.
상세보기
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.
상세보기
Whitten Thomas G., Method and computer program product for generating a computer program product test that includes an optimized set of co.
상세보기
Frank Eliot Levine ; Robert J. Urguhart, Method and system for compensating for instrumentation overhead in trace data by computing average minimum event times.
상세보기
Lau,Michael; Kemp,Dean; Ng,Clement; Yu,Hong; Atallah,Dario, Method and system for optimizing software upgrades.
상세보기
Sutton,Zhihong, Method and system for testing a computer system by applying a load.
상세보기
Szermer Wojciech, Method for automated generation of tests for software.
상세보기
Hushyar,Kaveh; Nadji,Behzad; Tofighbakhsh,Mostafa, Method for embedded integrated end-to-end testing.
상세보기
Stoddard II Robert William, Method for estimating software operation and performance using a goal-question-metric paradigm.
상세보기
Schaffer Daniel H., Method for generalized windows application install testing for use with an automated test tool.
상세보기
Schaffer Daniel H., Method for generalized windows application install testing for use with an automated test tool.
상세보기
Timothy C. Snyder, Method for limit checking.
상세보기
Barrett,Geoff, Method of generating a test suite.
상세보기
Garland Stephen J. ; Lynch Nancy A., Model-based software design and validation.
상세보기
Hushyar, Kaveh; Tofighbakhsh, Mostafa, Open application interface for complex systems.
상세보기
Hushyar, Kaveh; Tofighbakhsh, Mostafa, Open application interface for complex systems.
상세보기
Keong Woo Peng,SGX ; Yun Khoong Hock,SGX ; Huat Sia Siong,SGX ; Chung Liau Hon,SGX ; Salzberg Ken, Part development system.
상세보기
Prowell,Stacy Jackson, Performing hierarchical analysis of Markov chain usage models.
상세보기
Chitale, Poonam P.; Cox, Catherine M.; D'Angelo, Dario; Jiang, Xiyao; Mohammadi-Rashedi, Shahin; Pavela, Thomas J.; Rhodes, Jeffrey S.; Sadowski, Marian E., Predicting software product quality.
상세보기
Stuecheli, Jeffrey Adam, Pseudo random test pattern generation using Markov chains.
상세보기
Mitra, Rudra Raj; Siddesha, Paramesh; Thai, Ken H., Rapid development of distributed web service.
상세보기
Hartman,Alan; Kirshin,Andrei; Nagin,Kenneth; Olvovsky,Sergey, Reducing the complexity of finite state machine test generation using combinatorial designs.
상세보기
Galperin,Gregory R.; DeMarcken,Carl G., Robustness and notifications in travel planning system.
상세보기
Fuller Billy J. (Colorado Springs CO), Scatter load for system test.
상세보기
Klein, Udo, Scheduling of checks in computing systems.
상세보기
Kline, Jr., Robert C., Sequential function chart validation tool.
상세보기
Miller, John P., Simplified algorithm for abnormal situation prevention in load following applications including plugged line diagnostics in a dynamic process.
상세보기
Miller, John Philip, Simplified algorithm for abnormal situation prevention in load following applications including plugged line diagnostics in a dynamic process.
상세보기
Li, Yantao; Sun, Bing; Ye, Shuguang; Liu, Guowei; Zhu, Wenli; Zhang, Haidong; Wang, Min; Wang, Jian, Software feature modeling and recognition.
상세보기
Zhu, Wenli; Li, Yantao; Wang, Qiang; Zhang, Haidong; Sun, Bing; Liu, Guowei; Ye, Shuguang; Wang, Min; Mahmud, Adan Azfar; Wang, Jian, Software feature usage analysis and reporting.
상세보기
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.
상세보기
Hinckley David N., System and method for automatically testing software programs.
상세보기
Pasala, Anjaneyulu; Dsouza, Sharal Nisha, System and method for functional test case generation of end-to-end business process models.
상세보기
Walls,Thomas J.; Shah,Viren; Ghosh,Anup K., System and method for identifying and eliminating vulnerabilities in computer software applications.
상세보기
Voas, Jeffrey M.; Ghosh, Anup K., System and method for software certification.
상세보기
Liggesmeyer,Peter, System for determining a total error description of at least one part of a computer program.
상세보기
Eryurek, Evren; Westbrock, Jon, System for preserving and displaying process control data associated with an abnormal situation.
상세보기
Harbarth, Juliane; Sch-Ning, Harald; Kuhn, Helmut, Techniques for test automation in emergent systems.
상세보기
Lane Harriet, Technology regression and verification acceptance method.
상세보기
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.
상세보기
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.
상세보기

IPC	Description
A	생활필수품
A62	인명구조; 소방(사다리 E06C)
A62B	인명구조용의 기구, 장치 또는 방법(특히 의료용에 사용되는 밸브 A61M 39/00; 특히 물에서 쓰이는 인명구조 장치 또는 방법 B63C 9/00; 잠수장비 B63C 11/00; 특히 항공기에 쓰는 것, 예. 낙하산, 투출좌석 B64D; 특히 광산에서 쓰이는 구조장치 E21F 11/00)
A62B-1/08	.. 윈치 또는 풀리에 제동기구가 있는 것

내보내기 구분	파일저장 인쇄 메일전송
구성항목	기본정보 상세정보 관리번호, 국가코드, 자료구분, 상태, 출원번호, 출원일자, 공개번호, 공개일자, 등록번호, 등록일자, 발명명칭(한글), 발명명칭(영문), 출원인(한글), 출원인(영문), 출원인코드, 대표IPC 관리번호, 국가코드, 자료구분, 상태, 출원번호, 출원일자, 공개번호, 공개일자, 공고번호, 공고일자, 등록번호, 등록일자, 발명명칭(한글), 발명명칭(영문), 출원인(한글), 출원인(영문), 출원인코드, 대표출원인, 출원인국적, 출원인주소, 발명자, 발명자E, 발명자코드, 발명자주소, 발명자 우편번호, 발명자국적, 대표IPC, IPC코드, 요약, 미국특허분류, 대리인주소, 대리인코드, 대리인(한글), 대리인(영문), 국제공개일자, 국제공개번호, 국제출원일자, 국제출원번호, 우선권, 우선권주장일, 우선권국가, 우선권출원번호, 원출원일자, 원출원번호, 지정국, Citing Patents, Cited Patents
저장형식	Text(ASCII format) Excel format PIAS분석(.xls)
메일정보	받는사람 (필수) @ 보내는사람 (선택) @ 제목 내용 KISTI 검색결과 이메일 서비스
안내	총 건의 자료가 검색되었습니다. 다운받으실 자료의 인덱스를 입력하세요. (1-10,000) 검색결과의 순서대로 최대 10,000건 까지 다운로드가 가능합니다. 데이타가 많을 경우 속도가 느려질 수 있습니다.(최대 2~3분 소요) 다운로드 파일은 UTF-8 형태로 저장됩니다. 파일의 내용이 제대로 보이지 않을실 때는 웹브라우저 상단의 보기 -> 인코딩 -> 자동선택 여부를 확인하십시오. ~ Text(ASCII format) Excel format

연합인증

Optimum functional test method to determine the quality of a software system embedded in a large electronic system 원문보기

초록 ▼

대표청구항 ▼

연구과제 타임라인

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

관련 콘텐츠

특허 원문 보기

IPC 상위 출원인

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

선택된 텍스트

연합인증

Optimum functional test method to determine the quality of a software system embedded in a large electronic system 원문보기

초록 ▼

대표청구항 ▼

연구과제 타임라인

전체(0) 논문(0) 특허(0) 보고서(0)

전체(0) 논문(0) 특허(0) 보고서(0)

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

관련 콘텐츠

특허 원문 보기

IPC 상위 출원인

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

선택된 텍스트