[go: up one dir, main page]

Bertolino et al., 2000 - Google Patents

Deriving test plans from architectural descriptions

Bertolino et al., 2000

View PDF
Document ID
2983451141832066010
Author
Bertolino A
Corradini F
Inverardi P
Muccini H
Publication year
Publication venue
Proceedings of the 22nd international conference on Software engineering

External Links

Snippet

The paper presents an approach for deriving test plans for the conformance testing of a system implementation with respect to the formal description of its Ëoft w are Architecture (ËA). The ËA describes a system in terms of its components and connections, therefore the …
Continue reading at dl.acm.org (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL 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/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30861—Retrieval from the Internet, e.g. browsers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting

Similar Documents

Publication Publication Date Title
Bertolino et al. Deriving test plans from architectural descriptions
Balsamo et al. Model-based performance prediction in software development: A survey
US6385765B1 (en) Specification and verification for concurrent systems with graphical and textual editors
CN103049385B (en) PHP code debugging method and system under a kind of cloud environment
Marzolla Simulation-based performance modeling of UML software architectures.
Arcaini et al. ASM-based formal design of an adaptivity component for a cloud system
Bertolino et al. An explorative journey from architectural tests definition downto code tests execution
Morkevičius et al. Enterprise knowledge based software requirements elicitation
Kharwat Computer simulation: an important tool in the fast-food industry
CN118796180B (en) A method, device, equipment and medium for automatically generating code
CN112699042B (en) Unit test case generation method and device
Kerraoui et al. MATT: multi agents testing tool based nets within nets
Konur Towards Light‐Weight Probabilistic Model Checking
Balsamo et al. Software performance: state of the art and perspectives
Babac et al. AgentTest: A specification language for agent-based system testing
López et al. Automatic generation of test models for web services using WSDL and OCL
Corradini et al. Deriving Test Plans from Architectural Descriptions
JP2011154568A (en) Information processing apparatus, program verification method and program
Andersson Modeling the temporal behavior of complex embedded systems: a reverse engineering approach
Polack et al. On Developing and Validating Dynamic Systems: Simulation Engineering.
Scollo et al. Architectural unit testing
Duske et al. A Survey on Approaches for Timed Services.
Ponnalagu Ontology-driven root-cause analytics for user-reported symptoms in managed IT systems
Wu-Hen-Chang et al. A new approach in model-based testing: Designing test models in ttcn-3
Haga et al. Inconsistency Checking of UML Sequence Diagrams and State Machines Using the Structure-Behavior Coalescence Method