적응적으로 생성된 프로그램 모델

프로그램 모델을 적응적으로 생성하는 시스템 및 방법. 코드 문제에 대해 테스팅될 프로그램의 소스 코드, 및 소스 코드에서 테스팅될 기정 패턴 세트가 수신된다. 특징 구성 데이터가 수신된 기정 패턴 세트에 대응하는 특징 세트를 결정함으로써 생성된다. 특징 세트에서의 각 특징에 대해, 특징에 최적화된 복수의 프로그램 모델 중에서 프로그램 모델을 선택함으로써 프로그램 모델 세트가 식별된다. 식별된 프로그램 모델 세트에 기초하여 동적 프로그램 모델이 구축되고, 동적 프로그램 모델은 수신된 기정 패턴 세트에 포함된 패턴의 각각을 해결하도록...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: RICE ZACH, THOME JULIAN, JOHNSON JAMES, SEARLES DANIEL, ART MARK, WOODHAM THOMAS, CHARLES LUCAS, STADELHOFER TODD, DAWSON ISAAC, MCCASLIN TAYLOR
Format: Patent
Sprache:kor
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:프로그램 모델을 적응적으로 생성하는 시스템 및 방법. 코드 문제에 대해 테스팅될 프로그램의 소스 코드, 및 소스 코드에서 테스팅될 기정 패턴 세트가 수신된다. 특징 구성 데이터가 수신된 기정 패턴 세트에 대응하는 특징 세트를 결정함으로써 생성된다. 특징 세트에서의 각 특징에 대해, 특징에 최적화된 복수의 프로그램 모델 중에서 프로그램 모델을 선택함으로써 프로그램 모델 세트가 식별된다. 식별된 프로그램 모델 세트에 기초하여 동적 프로그램 모델이 구축되고, 동적 프로그램 모델은 수신된 기정 패턴 세트에 포함된 패턴의 각각을 해결하도록 구성된다. 동적 프로그램 모델로부터 기정 패턴 세트 각각의 인스턴스를 추출함으로써 소스 코드가 코드 문제에 대해 테스팅된다. A system and method to adaptively generate a program model. Source code of a program to be tested for code issues, and a set of predefined patterns to be tested in the source code are received. Feature configuration data is generated by determining a set of features corresponding to the received set of predefined patterns. A set of program models is identified by selecting, for each feature in the set of features, a program model from among a plurality of program models that is optimized for the feature. A dynamic program model is built based on the identified set of program models, the dynamic program model being adapted to resolve each of the patterns included in the received set of predefined patterns. And the source code is tested for code issues by extracting from the dynamic program model instances of each of the set of predefined patterns.