发布求助
文献互助 智能选刊 最新文献

Testen, Analysieren und Verifizieren von Software最新文献

筛选
英文 中文
Test Activities for Object-Oriented Software Development 面向对象软件开发的测试活动
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_15
J. Overbeck
{"title":"Test Activities for Object-Oriented Software Development","authors":"J. Overbeck","doi":"10.1007/978-3-642-77747-9_15","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_15","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133528267","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest 测试图标是欧洲一体化的单元
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_6
Ute Pelkmann
{"title":"TESTSCOPE - ein Werkzeug für den Modul- und Integrationstest","authors":"Ute Pelkmann","doi":"10.1007/978-3-642-77747-9_6","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_6","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131934708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Testen paralleler Betriebssysteme 测试平行操作系统
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_11
L. Eichler
{"title":"Testen paralleler Betriebssysteme","authors":"L. Eichler","doi":"10.1007/978-3-642-77747-9_11","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_11","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131876930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Klassifikation von Software-Testmethoden 对软件测试方法进行分类
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_2
J. Herrmann, K. Grimm
{"title":"Klassifikation von Software-Testmethoden","authors":"J. Herrmann, K. Grimm","doi":"10.1007/978-3-642-77747-9_2","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_2","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121114799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Validation und Verifikation von Software durch symbolische Ausführung 信用规范和核查软件
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_14
Ralf Kneuper
{"title":"Validation und Verifikation von Software durch symbolische Ausführung","authors":"Ralf Kneuper","doi":"10.1007/978-3-642-77747-9_14","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_14","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"73 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116208703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Methoden und Werkzeuge zur Automatisierung des Software-Tests 软件分析自动化的方法和工具
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_5
Peter Schless
{"title":"Methoden und Werkzeuge zur Automatisierung des Software-Tests","authors":"Peter Schless","doi":"10.1007/978-3-642-77747-9_5","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_5","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127740539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung 大学训练报告
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_7
R. Haselhorst
{"title":"Der Software-Analyse-Baukasten - Ein Bericht aus der universitären Ausbildung","authors":"R. Haselhorst","doi":"10.1007/978-3-642-77747-9_7","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_7","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115741507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren 测试、分析和核查软件
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_1
P. Liggesmeyer
{"title":"Testen, Analysieren und Verifizieren von Software - eine klassifizierende Übersicht der Verfahren","authors":"P. Liggesmeyer","doi":"10.1007/978-3-642-77747-9_1","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_1","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123170033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Zur Formalisierung von Testkonzepten 作业准备
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_3
M. Müllerburg
{"title":"Zur Formalisierung von Testkonzepten","authors":"M. Müllerburg","doi":"10.1007/978-3-642-77747-9_3","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_3","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133093798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Ein stochastisches Fehlermodell zur Kommunikation 一个在交流上的偶然错误模型
Testen, Analysieren und Verifizieren von Software Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-77747-9_13
Hans Werner Pohl
{"title":"Ein stochastisches Fehlermodell zur Kommunikation","authors":"Hans Werner Pohl","doi":"10.1007/978-3-642-77747-9_13","DOIUrl":"https://doi.org/10.1007/978-3-642-77747-9_13","url":null,"abstract":"","PeriodicalId":104348,"journal":{"name":"Testen, Analysieren und Verifizieren von Software","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115145614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信