Verification and Validation of Real-Time Software [electronic resource] / edited by William J. Quirk.
W.J. Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may ra...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
1985.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | b7992874 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 121227s1985 gw o 000 0 eng d | ||
| 005 | 20240708145858.2 | ||
| 019 | |a 851828482 |a 934985595 |a 936310390 |a 968660647 | ||
| 020 | |a 9783642702242 |q (electronic bk.) | ||
| 020 | |a 3642702244 |q (electronic bk.) | ||
| 020 | |a 9783642702266 |q (print) | ||
| 020 | |a 3642702260 |q (print) | ||
| 020 | |z 3642702244 | ||
| 024 | 7 | |a 10.1007/978-3-642-70224-2 |2 doi | |
| 029 | 1 | |a AU@ |b 000051702167 | |
| 029 | 1 | |a NZ1 |b 15001494 | |
| 029 | 1 | |a NZ1 |b 15305725 | |
| 035 | |a (OCoLC)spr840294567 | ||
| 035 | |a (OCoLC)840294567 |z (OCoLC)851828482 |z (OCoLC)934985595 |z (OCoLC)936310390 |z (OCoLC)968660647 | ||
| 037 | |a spr978-3-642-70224-2 | ||
| 040 | |a I9W |b eng |e pn |c I9W |d UV0 |d OCLCO |d GW5XE |d OCLCF |d UA@ |d COO |d OCLCQ |d EBLCP |d OCLCQ |d YDX |d UAB |d OCLCQ |d AU@ |d LEAUB |d OCLCQ |d OCLCO |d UKAHL |d OCLCO |d OCL |d OCLCQ |d OCLCO |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.758 | |
| 100 | 1 | |a Quirk, William J. |0 http://id.loc.gov/authorities/names/n80112156 |1 http://isni.org/isni/000000040032737X | |
| 245 | 1 | 0 | |a Verification and Validation of Real-Time Software |h [electronic resource] / |c edited by William J. Quirk. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg, |c 1985. | ||
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 505 | 0 | |a 1 Introduction -- 1.1 Real-time software and the real world -- 1.2 The characteristics of real-time software -- 1.3 Problems of real-time software -- 1.4 Experience to date -- 1.5 Design for reliability -- 1.6 Outline of this report -- 2 Software Reliability and the Software Life Cycle -- 2.1 Real-time system development environments -- 2.2 Traditional system development phases -- 2.3 Verification and validation -- 2.4 Unified system development environments -- 2.5 Current real-time application examples -- 2.6 Conclusions -- 3 Structural Analysis and Proof -- 3.1 Structural analysis -- 3.2 Proving techniques -- 3.3 Fault tree analysis -- 3.4 Review techniques -- 3.5 Conclusions -- 4 Systematic Testing -- 4.1 Practical aspects of testing real time programs -- 4.2 Glass box testing -- 4.3 Black box testing -- 4.4 Hierarchic testing -- 4.5 Test data -- 4.6 Test evaluation -- 4.7 Use of tools -- 4.8 Conclusion -- 5 Statistical Testing of Real Time Software -- 5.1 When to apply statistical testing techniques -- 5.2 The statistical test aim -- 5.3 Simple cases -- 5.4 Reliability growth models -- 5.5 Testing large systems -- 5.6 Testing of diverse systems -- 5.7 Problems with large tests -- 5.8 Conclusions -- 6 Simulation and System Validation -- 6.1 Simulation of plant as a testing aid -- 6.2 Simulation of the system itself -- 6.3 Conclusion -- 7 Conclusion -- 7.1 Review of the problem -- 7.2 The methods reported -- 7.3 Hints for practical use -- 7.4 Final remark -- References -- Appendix I Proof of formula 5.7 -- Appendix II Derivation of formulae 5.8 through 5.11 -- Appendix III Proofs of formulae 5.14 through 5.17. | |
| 520 | |a W.J. Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may range from being inconvenient to disastrous in both economic and human terms. As a result, there is much pressure to develop and apply techniques to improve the reliability of real-time software so that the frequency and consequences of failure are reduced to a level that is as low as reasonably achievable. This report is about such techniques. After a detailed description of the software life cycle, a chapter is devoted to each of the four principle categories of technique available at present. These cover all stages of the software development process and each chapter identifies relevant techniques, the stages to which they are applicable and their effectiveness in improving real-time software reliability. 1.2 The characteristics of real-time software As well as the enhanced reliability requirement discussed above, real-time software has a number of other distinguishing characteristics. First, the sequencing and timing of inputs are determined by the real world and not by the programmer. Thus the program needs to be prepared for the unexpected and the demands made on the system may be conflicting. Second, the demands on the system may occur in parallel rather than in sequence. | ||
| 650 | 0 | |a Computer science. |0 http://id.loc.gov/authorities/subjects/sh89003285 | |
| 650 | 0 | |a Software engineering. |0 http://id.loc.gov/authorities/subjects/sh87007398 | |
| 650 | 0 | |a Electronic data processing. |0 http://id.loc.gov/authorities/subjects/sh85042288 | |
| 650 | 7 | |a Electronic data processing. |2 fast | |
| 650 | 7 | |a Computer science. |2 fast | |
| 650 | 7 | |a Software engineering. |2 fast | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642702266 |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-642-70224-2 |z Full Text (via Springer) |
| 915 | |a - | ||
| 936 | |a BATCHLOAD | ||
| 944 | |a MARS - RDA ENRICHED | ||
| 956 | |a Springer e-books | ||
| 956 | |b Springer Nature - Springer Book Archive - Springer Computer Science | ||
| 994 | |a 92 |b COD | ||
| 998 | |b WorldCat record encoding level change | ||
| 999 | f | f | |i e2e6002f-b256-5893-b735-a99fd81482a6 |s 8fe023df-421c-55e4-bdae-87d217c87065 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.758 |h Library of Congress classification |i Ebooks, Prospector |n 1 |