1987-06-01, English, Article, Journal or magazine article, Poster, chart, other edition: Software verification using branch analysis. Herington, Daniel E.; Nichols, Paul A.; Lipp, Roger D.

User activity

Share to:
 
Bookmark: https://trove.nla.gov.au/version/60913142
Physical Description
  • table (Data compiled for the components of a networking software product.)
  • chart Flow chart for a typical software project suing branch analysis.
  • graph (The higher branch coverage requires more effort to improve it.)
  • chart Information flow in team testing.
  • chart (Flow chart for a comprehensive verification methodology based on analysis.)
  • Magazine/​Journal article
Published
  • Hewlett Packard Company, 1987 June
Language
  • English

Edition details

Title
  • Software verification using branch analysis.
Appears In
  • Hewlett-Packard Journal, v38, no.n6, 1987 June, p13(10) (ISSN: 0018-1153)
Author
  • Herington, Daniel E.
  • Nichols, Paul A.
  • Lipp, Roger D.
Published
  • Hewlett Packard Company, 1987 June
Physical Description
  • table (Data compiled for the components of a networking software product.)
  • chart Flow chart for a typical software project suing branch analysis.
  • graph (The higher branch coverage requires more effort to improve it.)
  • chart Information flow in team testing.
  • chart (Flow chart for a comprehensive verification methodology based on analysis.)
  • Magazine/​Journal article
Subjects
Target Audience
  • Professional
  • Trade
Summary
  • Branch analysis is a method of assessing the thoroughness of software testing. It consists of inserting procedure calls into the code at all decision points. Software quality is measured by elements such as functionality, usability and, above all, reliability. Software reliability is an important part of testing. The software must be exercises, defects noted, and removed. The complexity of the process can be overcome by good metrics. Metrics of interest here fall into two categories: quantification of testing coverage, and quantification of software reliability. Software testing covers functional and structural testing. Functional testing is achieved through equivalence class partitioning and boundary value analysis. Structural testing is conducted using a version of the software which contains transparent procedure calls in the compiler code. Branch analysis follows the above.
Notes
  • table (Data compiled for the components of a networking software product.)
  • chart Flow chart for a typical software project suing branch analysis.
  • graph (The higher branch coverage requires more effort to improve it.)
  • chart Information flow in team testing.
  • chart (Flow chart for a comprehensive verification methodology based on analysis.)
Language
  • English
Database
  • Gale Academic OneFile
  • Gale General OneFile
Identifier
  • 6011932

Get this edition

Published in

Some editions of the publication "Hewlett-Packard journal : technical information from the laboratories of Hewlett-Packard Company" are available from these libraries. The edition containing this article ( v38, n6, 1987 June, p13(10) ) may not be available:

None of your libraries hold this item.

These 22 locations in All:

Library Access Call number(s) Formats held Language
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 000308636; Full Text Available; EBSCOhost - Available from 1995 until 1998 Periodical; Journal, magazine, other English
CSIRO. Black Mountain Library. May not be open to the public 997637940001981; KENS P HEW; Vol. 1, no. 5 (1950)-v. 49, no. 3 (1998) (impf.) Periodical; Journal, magazine, other English
CSIRO. Riverside Library. May not be open to the public 997637940001981; NA 621.3 He; v.44- 1993- Periodical; Journal, magazine, other English
Cumberland Council. Auburn Library. Open to the public Periodical; Journal, magazine, other English
Edith Cowan University. Edith Cowan University Library. Open to the public Periodical; Journal, magazine, other English
Griffith University. Griffith University Library. Open to the public .b15540017; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
Monash University. Monash University Library. Open to the public 993713001751; 621.39 HEW; v. 22, no. 5 (Jan. 1971) to v. 49, no. 3 (Aug. 1998) ; Incomplete; Lacks : v. 28, no. 3 (Nov. 1976) ; v. 29, no. 13 (Sept. 1978) ; v. 36, no. 8 (Aug 1985) ; v. 36, no. 9 (Sept. 1985) ; v. 37, no. 7 (Jul 1986) ; v. 37, no. 8 (Aug 1986) ; v. 38, no. 1 (Jan. 1987) ; v. 38, no. 9 (Sept. 1987) ; v. 43, no. 3 (Jun 1992) ; v. 43, no. 4 (Aug 1992) ; v. 44, no. 1 (Feb. 1993) ; v. 44, no. 2 (Apr. 1993) ; v. 44, no. 5 (Oct. 1993) ; v. 45, no. 2 (Apr. 1994) ; v. 45, no. 6 (Dec. 1994) ; v. 46, no. 5 (Oct. 1995) ; v. 48, no. 5 (Oct. 1997) ; v. 48, no. 6 (Dec. 1997); OS; YOS-SER Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 2071355; S 621.3705 HEW; Vol. 3, no. 11-v. 42, no. 6 (1952-Dec. 1991) [Imperfect] Periodical; Journal, magazine, other English
Plantagenet Shire Council Libraries. Mount Barker Library. Open to the public Held. Check holdings Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9914545700001341; PER 621.381 H612; Incomplete. Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 23 (1972)-v. 42, no. 5 (Dec. 1991) Periodical; Journal, magazine, other English
Shellharbour City Council. Shellharbour City Library Service. Open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
State Library of NSW. Open to the public R NQ621.305/50; Vol. 34, no. 1 (Jan. 1983)-v. 39 (1989); v. 41 (1991)-v. 42, no. 5 (Dec. 1991); v. 46, no. 1 (Feb. 1995)-v. 49, no. 3 (Aug. 1998) Periodical; Journal, magazine, other English
State Library of Western Australia. Open to the public .b14210721; held Periodical; Journal, magazine, other English
State Library Victoria. Open to the public held; Vol. 18, no. 9-v. 45, no. 6; May 1967-Dec. 1994; Incomplete Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public held; v.2 no.10-v.49 no.3; June 1951-Aug.1998; incomplete Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public COMPUTER SELECT Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b11277889; whsp AP02629 : 5:3(1953/54)-31(1980); eslp TK7800 .H4 : 32(1981)-43:4(1992); lacking 39:3-4; 40:4; 41:3; 42:1 Periodical; Journal, magazine, other English
University of South Australia. University of South Australia Library. Open to the public 9942756701831; PER 606.5 H612; v. 14, no. 1 (1962 Jan.)-v. 35, no. 6 (1984 Dec.) Periodical; Journal, magazine, other English
University of Western Australia. University of Western Australia Library. Open to the public 9952780002101; HELD; V. 16(5-12), 17(1-3, 5), 18, 19(1-4), 22(5-12), 23(2-12), 24, 25(1-8, 10-12), 26, 27(1-2, 4-12), 28-30, 31(1-2, 4-12), 32, 33(1-2, 4-12), 34(1, 3-12), 35(1-6, 8-12), 36-37, 38(1-7, 9-11) ; 1965-1987 Periodical; Journal, magazine, other English
UNSW Sydney. UNSW Library. Open to the public 9941605890001731; HELD; Vol. 5 (1953)-v. 41, no. 3 (June 1990) Incomplete Periodical; Journal, magazine, other English
Show 0 more libraries...

These 2 locations in Australian Capital Territory:

Library Access Call number(s) Formats held Language
CSIRO. Black Mountain Library. May not be open to the public 997637940001981; KENS P HEW; Vol. 1, no. 5 (1950)-v. 49, no. 3 (1998) (impf.) Periodical; Journal, magazine, other English
National Library of Australia. Open to the public 2071355; S 621.3705 HEW; Vol. 3, no. 11-v. 42, no. 6 (1952-Dec. 1991) [Imperfect] Periodical; Journal, magazine, other English
Show 0 more libraries...

These 9 locations in New South Wales:

Library Access Call number(s) Formats held Language
Charles Sturt University. CSU Library - Electronic Resources (shared). Open to the public 000308636; Full Text Available; EBSCOhost - Available from 1995 until 1998 Periodical; Journal, magazine, other English
CSIRO. Riverside Library. May not be open to the public 997637940001981; NA 621.3 He; v.44- 1993- Periodical; Journal, magazine, other English
Cumberland Council. Auburn Library. Open to the public Periodical; Journal, magazine, other English
Shellharbour City Council. Shellharbour City Library Service. Open to the public Held. Not for ILL. Periodical; Journal, magazine, other English
Southern Cross University. University Library Lismore. Open to the public Electronic resource - Check catalogue for holdings Periodical; Journal, magazine, other English
State Library of NSW. Open to the public R NQ621.305/50; Vol. 34, no. 1 (Jan. 1983)-v. 39 (1989); v. 41 (1991)-v. 42, no. 5 (Dec. 1991); v. 46, no. 1 (Feb. 1995)-v. 49, no. 3 (Aug. 1998) Periodical; Journal, magazine, other English
The University of Sydney. University of Sydney Library. Open to the public Periodical; Journal, magazine, other English
University of Newcastle. University of Newcastle Library. Open to the public COMPUTER SELECT Periodical; Journal, magazine, other English
UNSW Sydney. UNSW Library. Open to the public 9941605890001731; HELD; Vol. 5 (1953)-v. 41, no. 3 (June 1990) Incomplete Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

These 2 locations in Queensland:

Library Access Call number(s) Formats held Language
Griffith University. Griffith University Library. Open to the public .b15540017; Electronic Resource : Publ. may restrict Doc. Del. Periodical; Journal, magazine, other English
University of Queensland. University of Queensland Library. Open to the public b11277889; whsp AP02629 : 5:3(1953/54)-31(1980); eslp TK7800 .H4 : 32(1981)-43:4(1992); lacking 39:3-4; 40:4; 41:3; 42:1 Periodical; Journal, magazine, other English
Show 0 more libraries...

This single location in South Australia:

Library Access Call number(s) Formats held Language
University of South Australia. University of South Australia Library. Open to the public 9942756701831; PER 606.5 H612; v. 14, no. 1 (1962 Jan.)-v. 35, no. 6 (1984 Dec.) Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

These 4 locations in Victoria:

Library Access Call number(s) Formats held Language
Monash University. Monash University Library. Open to the public 993713001751; 621.39 HEW; v. 22, no. 5 (Jan. 1971) to v. 49, no. 3 (Aug. 1998) ; Incomplete; Lacks : v. 28, no. 3 (Nov. 1976) ; v. 29, no. 13 (Sept. 1978) ; v. 36, no. 8 (Aug 1985) ; v. 36, no. 9 (Sept. 1985) ; v. 37, no. 7 (Jul 1986) ; v. 37, no. 8 (Aug 1986) ; v. 38, no. 1 (Jan. 1987) ; v. 38, no. 9 (Sept. 1987) ; v. 43, no. 3 (Jun 1992) ; v. 43, no. 4 (Aug 1992) ; v. 44, no. 1 (Feb. 1993) ; v. 44, no. 2 (Apr. 1993) ; v. 44, no. 5 (Oct. 1993) ; v. 45, no. 2 (Apr. 1994) ; v. 45, no. 6 (Dec. 1994) ; v. 46, no. 5 (Oct. 1995) ; v. 48, no. 5 (Oct. 1997) ; v. 48, no. 6 (Dec. 1997); OS; YOS-SER Periodical; Journal, magazine, other English
RMIT University. RMIT University Library. Open to the public 9914545700001341; PER 621.381 H612; Incomplete. Held in Storage. Request from <a href=http://www.rmit.edu.au/library/dds target=_blank>Document Delivery</a>; v. 23 (1972)-v. 42, no. 5 (Dec. 1991) Periodical; Journal, magazine, other English
State Library Victoria. Open to the public held; Vol. 18, no. 9-v. 45, no. 6; May 1967-Dec. 1994; Incomplete Periodical; Journal, magazine, other English
The University of Melbourne. The University of Melbourne Library. Open to the public held; v.2 no.10-v.49 no.3; June 1951-Aug.1998; incomplete Periodical; Journal, magazine, other English
Show 0 more libraries...
None of your libraries hold this item.

Other suppliers

User activity


e.g. test cricket, Perth (WA), "Parkes, Henry"

Separate different tags with a comma. To include a comma in your tag, surround the tag with double quotes.

Be the first to add a tag for this edition

Be the first to add this to a list

Comments and reviews

What are comments? Add a comment

No user comments or reviews for this version

Add a comment