GB0116699D0 - Test specifications for system specifications - Google Patents
Test specifications for system specificationsInfo
- Publication number
- GB0116699D0 GB0116699D0 GB0116699A GB0116699A GB0116699D0 GB 0116699 D0 GB0116699 D0 GB 0116699D0 GB 0116699 A GB0116699 A GB 0116699A GB 0116699 A GB0116699 A GB 0116699A GB 0116699 D0 GB0116699 D0 GB 0116699D0
- Authority
- GB
- United Kingdom
- Prior art keywords
- specifications
- test
- system specifications
- test specifications
- 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.)
- Withdrawn
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3684—Test management for test design, e.g. generating new test cases
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Debugging And Monitoring (AREA)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB0116699A GB2377515A (en) | 2001-07-09 | 2001-07-09 | Test Specifications for System Specifications |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
GB0116699A GB2377515A (en) | 2001-07-09 | 2001-07-09 | Test Specifications for System Specifications |
Publications (2)
Publication Number | Publication Date |
---|---|
GB0116699D0 true GB0116699D0 (en) | 2001-08-29 |
GB2377515A GB2377515A (en) | 2003-01-15 |
Family
ID=9918147
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
GB0116699A Withdrawn GB2377515A (en) | 2001-07-09 | 2001-07-09 | Test Specifications for System Specifications |
Country Status (1)
Country | Link |
---|---|
GB (1) | GB2377515A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113391155A (en) * | 2021-06-23 | 2021-09-14 | 顺德职业技术学院 | Method for testing functional reliability of charging equipment |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB2394322A (en) * | 2002-10-14 | 2004-04-21 | Motorola Inc | Test specifications for system specifications |
GB2406400B (en) * | 2003-09-23 | 2005-11-30 | Motorola Inc | Method and apparatus for testing timing constraints |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6038378A (en) * | 1993-07-29 | 2000-03-14 | Digital Esquipment Corporation | Method and apparatus for testing implementations of software specifications |
US5659555A (en) * | 1993-08-19 | 1997-08-19 | Lucent Technologies Inc. | Method and apparatus for testing protocols |
CA2147536A1 (en) * | 1994-06-01 | 1995-12-02 | Gerard Johan Holzmann | On-the-fly model checking with partial-order state space reduction |
US5870539A (en) * | 1996-07-01 | 1999-02-09 | Sun Microsystems, Inc. | Method for generalized windows application install testing for use with an automated test tool |
CA2207524C (en) * | 1997-06-10 | 2001-01-16 | Arthur Barry Glaser | Apparatus for defining properties in finite-state machines |
-
2001
- 2001-07-09 GB GB0116699A patent/GB2377515A/en not_active Withdrawn
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113391155A (en) * | 2021-06-23 | 2021-09-14 | 顺德职业技术学院 | Method for testing functional reliability of charging equipment |
CN113391155B (en) * | 2021-06-23 | 2022-06-07 | 顺德职业技术学院 | Method for testing functional reliability of charging equipment |
Also Published As
Publication number | Publication date |
---|---|
GB2377515A (en) | 2003-01-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
GB0325395D0 (en) | Software suitability testing system | |
GB0128457D0 (en) | Knowledge system | |
GB0127322D0 (en) | Test device | |
GB0129374D0 (en) | Test apparatus | |
IL144317A0 (en) | Magneto-massage system | |
GB0111108D0 (en) | Testing apparatus | |
GB2383842B (en) | Sample introduction system | |
GB0104772D0 (en) | Assessment system | |
GB0114849D0 (en) | System | |
AU2002255823A1 (en) | Test system formatters | |
GB2382263B (en) | System analysis | |
GB0114106D0 (en) | Inspection system | |
GB0128310D0 (en) | Test | |
GB0116699D0 (en) | Test specifications for system specifications | |
AU2002345671A1 (en) | Post-seal inspection system | |
GB0308546D0 (en) | Test system | |
GB2379276B (en) | Imapct testing apparatus | |
GB0115763D0 (en) | Testing apparatus | |
GB2396456B (en) | Inspection state check system | |
GB0109283D0 (en) | Testing for compliance | |
GB0223698D0 (en) | Test specifications for system specifications | |
GB2389181B (en) | Sample introduction system | |
GB0020954D0 (en) | Test system | |
GB0112046D0 (en) | System | |
GB0123106D0 (en) | Indicating system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
WAP | Application withdrawn, taken to be withdrawn or refused ** after publication under section 16(1) |