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
- 238000012360 testing method Methods 0.000 title claims abstract description 718
- 238000000034 method Methods 0.000 title claims abstract description 282
- 238000007689 inspection Methods 0.000 claims abstract description 354
- 230000000694 effects Effects 0.000 claims abstract description 14
- 230000006870 function Effects 0.000 claims description 152
- 230000002688 persistence Effects 0.000 claims description 36
- 206010024796 Logorrhoea Diseases 0.000 claims description 24
- 230000006378 damage Effects 0.000 claims description 8
- 238000012545 processing Methods 0.000 claims description 7
- 238000001514 detection method Methods 0.000 claims description 3
- 238000010998 test method Methods 0.000 claims 2
- 238000004519 manufacturing process Methods 0.000 description 125
- 230000003068 static effect Effects 0.000 description 22
- 230000002085 persistent effect Effects 0.000 description 20
- 238000013459 approach Methods 0.000 description 13
- 238000006243 chemical reaction Methods 0.000 description 11
- 230000006399 behavior Effects 0.000 description 9
- 238000011161 development Methods 0.000 description 9
- 230000018109 developmental process Effects 0.000 description 9
- 238000004458 analytical method Methods 0.000 description 7
- 241000568443 Aname Species 0.000 description 6
- 235000000332 black box Nutrition 0.000 description 5
- 238000012552 review Methods 0.000 description 5
- 230000007704 transition Effects 0.000 description 5
- 101100323865 Xenopus laevis arg1 gene Proteins 0.000 description 4
- 238000012423 maintenance Methods 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 230000008520 organization Effects 0.000 description 4
- 238000000275 quality assurance Methods 0.000 description 4
- 238000012546 transfer Methods 0.000 description 4
- 238000010200 validation analysis Methods 0.000 description 4
- 230000003993 interaction Effects 0.000 description 3
- 238000000638 solvent extraction Methods 0.000 description 3
- 238000006467 substitution reaction Methods 0.000 description 3
- 238000004891 communication Methods 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 238000002955 isolation Methods 0.000 description 2
- 238000013507 mapping Methods 0.000 description 2
- 238000004806 packaging method and process Methods 0.000 description 2
- 238000003860 storage Methods 0.000 description 2
- 241001074639 Eucalyptus albens Species 0.000 description 1
- 230000009471 action Effects 0.000 description 1
- 238000013142 basic testing Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000008901 benefit Effects 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 238000004140 cleaning Methods 0.000 description 1
- 239000012141 concentrate Substances 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 230000001627 detrimental effect Effects 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000008676 import Effects 0.000 description 1
- 238000013101 initial test Methods 0.000 description 1
- 150000002500 ions Chemical class 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 230000002093 peripheral effect Effects 0.000 description 1
- 238000003825 pressing Methods 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 230000008929 regeneration Effects 0.000 description 1
- 238000011069 regeneration method Methods 0.000 description 1
- 230000003362 replicative effect Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
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 | 1994-10-18 | ||
| US08/324,810 US5737609A (en) | 1994-10-18 | 1994-10-18 | Method and apparatus for testing object-oriented programming constructs |
| 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 | |
| Basin et al. | Model driven security: From UML models to access control infrastructures | |
| 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 | |
| Crocker | Safe object-oriented software: the verified design-by-contract paradigm | |
| Xiang et al. | Co-inflow: Coarse-grained information flow control for java-like languages | |
| Overgaard | A formal approach to relationships in the uni ed modeling language | |
| Soueidi et al. | Efficient and expressive bytecode-level instrumentation for Java programs | |
| Reed et al. | Practical object-oriented state-based unit testing | |
| 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 | |
| Yiu | Checkstyle for Legacy Applications [J] | |
| Sutherland et al. | The code of many colors: Relating threads to code and shared state | |
| Schiffl et al. | Scar: Verification-Based Development of Smart Contracts | |
| Lyner et al. | Runtime universe type inference | |
| Töberg | Modelling and enforcing access control requirements for smart contracts | |
| Mlinarić | Extension of dynamic software update model for class hierarchy changes and run-time phenomena detection | |
| Ploedereder | Participating in writeup 11 January 2021 Stephen Michell–convenor WG 23 Larry Wagoner Sean McDonagh | |
| Mariani | Capturing and Synthesizing the Behavior of Component-Based Systems | |
| Fourment | Path-dependent capture tracking | |
| Schubert | An evaluation of model transformation languages for uml quality engineering |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| EEER | Examination request | ||
| MKLA | Lapsed |