✦ LIBER ✦

A Methodology of Verification and Testing of Large Software Systems

✍ Scribed by V. V. Lipaev

Book ID: 111603158
Publisher: SP MAIK Nauka/Interperiodica
Year: 2003
Tongue: English
Weight: 60 KB
Volume: 29
Category: Article
ISSN: 0361-7688
DOI: 10.1023/b:pacs.0000004130.36733.12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An integrated methodology for the specif

An integrated methodology for the specification, verification and testing of systems

✍ Mike Holcombe 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

Verification, Validation, and Testing of

Verification, Validation, and Testing of Software: Special Issue of theProgrammirovanieJournal

✍ A. K. Petrenko 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 16 KB

A Methodology for Architectural Design o

A Methodology for Architectural Design of Concurrent and Distributed Software Systems

✍ Hassan Reza 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 358 KB

Semantic verification and satisfiability

Semantic verification and satisfiability verification of MSC specifications by means of Petri nets in telecommunication software testing

✍ Naomoto Kato; Yoshiaki Shigeta; Wataru Tanaka; Haruo Hasegawa 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 230 KB 👁 1 views

This paper discusses the testing of communication system software, focusing on the semantic verification of specifications. Specifications are defined using message sequence charts (MSC) recommended by the ITU-T. Assuming an MSC-based scenario for which operational system specifications are defined,

Verification of Software Requirements on

Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems

✍ S. N. Baranov; V. A. Volkov; A. B. Godlevskii; Yu. V. Kapitonova; A. A. Letichev 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 34 KB

Patterns of large software systems: fail

Patterns of large software systems: failure and success

✍ Jones, C. 📂 Article 📅 1995 🏛 IEEE 🌐 English ⚖ 230 KB