CA2201618C - Procede et appareil pour l'essai de structures de programmation orientees objet - Google Patents
Procede et appareil pour l'essai de structures de programmation orientees objet Download PDFInfo
- Publication number
- CA2201618C CA2201618C CA 2201618 CA2201618A CA2201618C CA 2201618 C CA2201618 C CA 2201618C CA 2201618 CA2201618 CA 2201618 CA 2201618 A CA2201618 A CA 2201618A CA 2201618 C CA2201618 C CA 2201618C
- Authority
- CA
- Canada
- Prior art keywords
- members
- test
- inspection
- class
- signal
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Landscapes
- Debugging And Monitoring (AREA)
Abstract
L'invention concerne des procédés et un appareil pour générer, à partir d'un signal source définissant une classe de sujets à tester (40), un signal d'inspection définissant une classe d'inspection (34) qui comprend un ou plusieurs éléments pour (i) générer un objet d'essai se présentant sous forme d'instanciation de la classe de sujets ou d'une classe dérivée de celle-ci, (ii) invoquer un ou plusieurs des éléments de méthode sélectionnés de l'objet d'essai, et (iii) générer un signal rendant compte basé sur un résultat de l'appel de ces éléments. La classe d'inspection, conformément à la définition donnée par le signal d'inspection, peut comprendre un ou plusieurs éléments de méthode (50f) appelés "éléments d'inspection", afin de tester les éléments de méthode correspondants de l'objet d'essai (et donc dans la classe de sujets). Des éléments appelés "éléments de suite d'essais" (50a-50e) qui sont également définis comme faisant partie intégrante de la classe d'inspection, exercent les éléments d'inspection. L'invention concerne également des procédés et un appareil conçus pour répondre à un signal d'inspection afin de créer un objet d'inspection instanciant la classe d'inspection. Les éléments de l'objet d'inspection sont invoqués pour la création de l'objet d'essai (80), et l'invocation de ses éléments de méthode et la génération d'un signal rendant compte d'un effet de l'appel. Les éléments de l'objet d'essai peuvent être invoqués par les éléments d'inspection correspondants de la classe d'inspection qui, à leur tour, peuvent être invoqués par les éléments de suite d'essais de la classe d'inspection.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US08/324,810 US5737609A (en) | 1994-10-18 | 1994-10-18 | Method and apparatus for testing object-oriented programming constructs |
| US08/324,810 | 1994-10-18 | ||
| PCT/US1995/006059 WO1996012224A1 (fr) | 1994-10-18 | 1995-05-12 | Procede et appareil pour l'essai de structures de programmation orientees objet |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CA2201618A1 CA2201618A1 (fr) | 1996-04-25 |
| CA2201618C true CA2201618C (fr) | 2000-10-24 |
Family
ID=29422744
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CA 2201618 Expired - Fee Related CA2201618C (fr) | 1994-10-18 | 1995-05-12 | Procede et appareil pour l'essai de structures de programmation orientees objet |
Country Status (1)
| Country | Link |
|---|---|
| CA (1) | CA2201618C (fr) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN114675912B (zh) * | 2021-05-06 | 2024-10-15 | 腾讯云计算（北京）有限责任公司 | 主题皮肤切换方法、装置、计算机设备及计算机存储介质 |
-
1995
- 1995-05-12 CA CA 2201618 patent/CA2201618C/fr not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| CA2201618A1 (fr) | 1996-04-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5737609A (en) | Method and apparatus for testing object-oriented programming constructs | |
| Burdy et al. | An overview of JML tools and applications | |
| US8494832B2 (en) | Method and apparatus for software simulation | |
| US5694539A (en) | Computer process resource modelling method and apparatus | |
| Wang et al. | Precise constraint-based type inference for Java | |
| Chan et al. | Promises: Limited specifications for analysis and manipulation | |
| Reiss | Simplifying data integration: the design of the Desert software development environment | |
| Crocker | Safe object-oriented software: the verified design-by-contract paradigm | |
| Overgaard | A formal approach to relationships in the uni ed modeling language | |
| Xiang et al. | Co-Inflow: Coarse-grained information flow control for Java-like languages | |
| Soueidi et al. | Efficient and expressive bytecode-level instrumentation for Java programs | |
| CA2201618C (fr) | Procede et appareil pour l'essai de structures de programmation orientees objet | |
| Kempf et al. | Experience with CommonLoops | |
| Arnout et al. | Finding implicit contracts in. NET components | |
| Sutherland et al. | The code of many colors: Relating threads to code and shared state | |
| Costa Seco et al. | Types for dynamic reconfiguration | |
| Yiu | Checkstyle for Legacy Applications [J] | |
| Lyner et al. | Runtime universe type inference | |
| Mariani | Capturing and Synthesizing the Behavior of Component-Based Systems | |
| Schubert | An evaluation of model transformation languages for uml quality engineering | |
| Pilskalns et al. | Security consistency in UML designs | |
| Vincenzi et al. | JaBUTi–Java Bytecode Understanding and Testing | |
| Melnik | Enhancing secure coding assistant: enforcing secure coding rules for C programming language | |
| Mlinarić | Extension of dynamic software update model for class hierarchy changes and run-time phenomena detection | |
| Rønningen et al. | Metrics for Aspect-Oriented Programming of middleware systems |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| EEER | Examination request | ||
| MKLA | Lapsed |