2011年8月13日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
成才乐园

软件工程领域:
软件架构
需求工程
项目管理
软件测试
软件外包
IT服务管理
嵌入式应用与系统
 
Model-Based Testing
基于模型测试
Model-Based Testing Home Page*
http://www.geocities.com/model_based_testing/
Model-Based Testing Online Papers*
http://www.geocities.com/model_based_testing/online_papers.htm
Model-Based Testing
http://www.goldpractices.com/practices/mbt/index.php
http://www.systematic-testing.com/functional_testing/model_testing.php
http://fmt.cs.utwente.nl/research/testing/
http://www.inria.fr/rapportsactivite/RA2005/triskell/uid68.html
http://www.irisa.fr/triskell/ra/2005/uid68.html
http://portal.acm.org/citation.cfm?id=1062455.1062636
http://home.mit.bme.hu/~micskeiz/pages/modelbased_testing.html
http://www.abo.fi/~jolilius/wwwold/G620/ppt/9%20Model%20Based%20Testing.ppt
http://www.reference.com/browse/wiki/Model-based_testing
http://model-based-testing.brainsip.com/
Model-Based Testing – An Introduction
http://blogs.msdn.com/nihitk/articles/144664.aspx
Model-Based Testing in Practice
http://aetgweb.argreenhouse.com/papers/1999-icse.pdf
http://citeseer.ist.psu.edu/dalal99modelbased.html
http://www.fortia.org/iday05/talks/pretschner.pdf
http://selab.cu.ac.kr/link/testing/DJK+99.pdf
MBT 2006: Second Workshop on Model-Based Testing
http://react.cs.uni-sb.de/mbt2006/
Eliminating Functional Defects Through Model-Based Testing
http://www.stickyminds.com/sitewide.asp?Function=edetail&ObjectType=ART&ObjectId=5995
Enjoying the Perks of Model-Based Testing
http://www.stickyminds.com/sitewide.asp?Function=edetail&ObjectType=ART&ObjectId=3166
International Workshop on Model-Based Testing (MBT 2004)
http://www.ispras.ru/news/MBT2004.html
Model-Based Testing in Evolutionary Software Development
http://www4.in.tum.de/~loetzbey/papers/rsp01.pdf
Model-Based Testing In Real
http://www.inf.ethz.ch/personal/pretscha/papers/sttt04.pdf
Towards Anti-Model-Based Testing
http://www.henrymuccini.com/Research/2004/DSN04/DSN04_BertolinoEtAl.pdf
Model-Based Extreme Testing
http://www.chillarege.com/fastabstracts/issre2002/19.pdf
Specification Based Testing and Model Based Testing
http://people.brunel.ac.uk/~csstrmh/research/specification_based_testing.html
Model-Based Testing of Reactive Systems
http://www.springer.com/sgw/cda/frontpage/0,,5-40109-22-52081580-0,00.html
Model-Based Testing of A Highly Programmable System
http://aetgweb.argreenhouse.com/papers/1998-issre.pdf
Model-Based Testing of Object-Oriented Systems
http://www4.in.tum.de/publ/papers/Rum93c.pdf
Model-Based Testing Helps Sun Microsystems Remove Software Defects
http://builder.com.com/5100-6315-1064538.html
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=912
Model-Based Software Testing
http://www.cs.purdue.edu/homes/apm/courses/cs590T-fall05/objectives.html
Model-based testing using IBM Rational Functional Tester
http://www-128.ibm.com/developerworks/rational/library/05/r-3175/
Model-Based Testing Demo
http://www.sherpas.com/mbt/
Model Based Testing with Constraint Logic Programming: First Results and Challenges
http://citeseer.ist.psu.edu/pretschner01model.html
Uniform Descriptions For Model-Based Testing
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings
/aswec/2004/2089/00/2089toc.xml&DOI=10.1109/ASWEC.2004.1290462
Model-Based Testing: An Overview
http://www.cs.ru.nl/~lf/publications/Bergen.pdf
http://www.ii.uib.no/undervisning/seminar/lista04/abstracts/frantzen.shtml
On The Correctness of Model-Based Testing
http://research.microsoft.com/projects/T5/ppt/Tretmans.ppt
Model-based testing with Spec# and Spec Explorer
http://staff.washington.edu/jon/icfem/specs-icfem.html
Model-Based Testing and Validation of Control Softgware with Reactis
http://www.reactive-systems.com/papers/bcsf.pdf
Software Modeling and Verification
http://www-i2.informatik.rwth-aachen.de/Teaching/Seminar/MBT2006/
Action Refinement In Model-Based Testing
http://homepages.cwi.nl/htbin/pam/PAM?1140001200
Model-Based Testing of Automotive Electronic Control Units
http://www.mdt.tu-berlin.de/publikationen/Guehmann2005
Model-Based Testing For Web and Java
http://www.sherpas.com/mbt/ModelBasedTestingForJava.ppt
Model-Based Software Testing
http://www.math.msu.su/~mcss/2005/materials/gurevich/MBT.pdf
JSS Special Issue On Model-Based Software Testing
http://www-serl.cs.colorado.edu/~serl/seworld/database/5732.html
Hybrid Model-Based Testing
http://homepages.cwi.nl/~ustin/DWFTT_files/presentations/DWFTTpresentation_michiel.ppt
Model-Based Testing For Enterprise Software Solutions
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=
comp/proceedings/compsac/2005/2413/01/24131toc.xml&DOI=10.1109/COMPSAC.2005.109
Demonstration of an Operational Procedure for. the Model-Based Testing of CTI Systems
http://eti.informatik.uni-dortmund.de/imperia/md/content/publikationen/hhmn02-too.pdf
Model-Based Testing and Validation
http://www.reactive-systems.com/tester.msp
Requirements-Based Testing In A Model-Based World
http://www.cs.umn.edu/research/technical_reports.php?page=report&report_id=05-019
State of The Art of Model-Based Testing With Markov Chain Usage Models
http://www.andrew.cmu.edu/user/sprowell/pubs/prowell2004soa_pres.pdf
Arithnet Technical Offers Model-Based Testing Tools
http://www.thehindubusinessline.com/2003/09/23/stories/2003092301780700.htm
Model-Based Testing Using UML
http://www.tcs.hut.fi/Publications/info/bibdb.CankarMsc.shtml
Model-Based Testing of Large-Scale Software
http://www.ispras.ru/groups/rv/downloads/Dagstuhl2004_Kuliamin.pdf
Getting Started With Model-Based Testing
http://www.soft.com/QualWeek/QW2001/Papers/2A1.html
Model-Based Testing with chi and TorX
http://www.wtb.tue.nl/yp/default.htm?http://yp.wtb.tue.nl/showabstract.php/6208~wtbmain
Extended-Model Based Testing by Directed Chinese Postman Algorithm
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=
comp/proceedings/hase/2002/1769/00/1769toc.xml&DOI=10.1109/HASE.2002.1173128
T-UPPAAL: Online Model-Based Testing of Real-Time Systems
http://csdl2.computer.org/comp/proceedings/ase/2004/2131/00/21310396.pdf
Introducing A Reasonably Complete and Coherent Approach For Model-Based Testing
http://csdl2.computer.org/comp/proceedings/ase/2004/2131/00/21310396.pdf
Model-Based Testing Systems
http://www.voithturbo.com/vt_en_pua_marine_fue_mbts.htm
Model-Based Testing With UML Applied To A Roaming Algorithm For Bluetooth Devices
http://www.zju.edu.cn/jzus/2004/0411/041104.pdf
Model-Based Testing and Monitoring For Hybrid Embedded Systems
http://www.cis.upenn.edu/~tanli/publication/modeltest.pdf
Systematic Model-based Testing of Embedded Conrol Software - The MB3T Approach
http://www.immos-projekt.de/site_immos/papers/paper.php?ID=16
Model-Based Testing In the Key of C#
http://www.qasig.org/presentations/QASIG_Goldilocks2.pdf
Is There Any Difference Between Model Based Testing and Model Driven Quality Assurance?
http://www.conformiq.com/faq.php?tag=mbtvsmdqa
Dynamic Model-based Test Automation - A Key to Testing Productivity
http://www.verifysoft.com/en_pr_conformiq_20040712.html
Model-Based Testing In Incremental System Development
http://portal.acm.org/citation.cfm?id=1008455.1008462
Model-based Testing of Embedded Automation Software
http://www.ias.uni-stuttgart.de/forschung/forschungsthemen/li_thema.en.html
Aotomated Model-Based Testing With Formal Methods
http://www.cs.auc.dk/~kgl/ARTIST2TV/TorXartist2.ppt
TorX: Automated Model Based Testing
http://www.citeulike.org/user/turker/article/531154
Automated Model-Based Testing of Communication Protocols
http://fmt.cs.utwente.nl/research/testing/files/125_ctit-workshop2001.pdf
Model-Based Testing of Embedded Systems
http://monet.aber.ac.uk:8080/monet/monetinfo/auto_fp6/docs/topic3.pdf
Model-Based Testing and Monitoring
http://www-verimag.imag.fr/~tripakis/testing.html
Graph Transformations For Model-Based Testing
http://www.es.tu-darmstadt.de/download/publications/Graph_Transformations_for_Model_rev043.pdf
Model-Based Testing with AsmL.NET
http://www.citeulike.org/user/turker/article/276215
Model-Based Testing For Real
http://www.springerlink.com/index/LM5LE5W7XFBRWQV3.pdf
Model Based Exploratory Testing ?
http://www.testingreflections.com/node/view/1512?PHPSESSID=f2ffdd63b6b88ab59e91c10b27755c93
Using Spec Explorer For Model-Based Test Development @ .NET
http://dotnet.sys-con.com/read/163765.htm
Testing and Quality of Systems
http://www.cs.ru.nl/ita/taqs/
Model-Based Analysis and Testing
http://wwwcs.uni-paderborn.de/cs/ag-engels/ag_engl/Segravis/school/html/m3.html
Event Driven Graph Explorer for Model-Based Testing of Software
http://www.patentalert.com/docs/001/z00143757.shtml
Model-Based Automated Security Functional Testing
http://csrc.nist.gov/auto-func-test/publications/DocSec_2003.pdf
Model-Based Specification and Conformance Testing
http://www.dotnetjunkies.com/WebLog/alan.dean/archive/2005/05/26/90874.aspx
Model-Based Statistical Testing
http://www.andrew.cmu.edu/user/sprowell/pubs/prowell2004model_pres.pdf
Automated Model-Based Testing of χ Simulation Models with TorX
http://www.springerlink.com/(qd0yoi45duqonvmdlvzhqv55)/app/home/contribution.asp?referrer=
parent&backto=issue,17,20;journal,189,3334;linkingpublicationresults,1:105633,1
Model-Based Software Development and Usability Testing
http://www.se-hci.org/bridging/interact2005/05_forbrig.pdf
Plavis/FSM An Environment To Integrate FSM-Based Testing Tools
http://www.sbbd-sbes2005.ufu.br/arquivos/Plavis.pdf
Automated Model-Based Conformance Testing of Real-Time Systems
http://vbn.aau.dk/research/automated_model_based_conformance_testing_of_real_time_systems(526888)/
Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints
http://0-ieeexplore.ieee.org.csulib.ctstateu.edu/xpl/freeabs_all.jsp?isnumber=33358&arnumber=1579114&count=63&index=1
Model-Based Test Generation Tools
http://www.geekarticles.com/article/Model-Based-Test-Generation-Tools.html
A Model-Based Approach For Robustness Testing
http://www-verimag.imag.fr/~pachon/testCom05.pdf
Towards Model-Driven Testing
http://www.fleurey.com/weblog/attachments/heckel03.pdf
Model-Based Testing of Cryptographic Protocols
http://www.fsb.hr/~drunje/papers/protocoltesting.pdf
Test-Suite Reduction For Model-Based Test: Effects on Test Quality and Implications for Testing
http://ase.cs.uni-essen.de/olbib/131.pdf
UML-Based Integration Testing
http://www-static.cc.gatech.edu/~harrold/issta00/cfp/slides/hartmann.issta2000.ppt
Unit Testing With Monkeys
http://www.mit.jyu.fi/ji/geek/kalle1_monkey.pdf
Model-Driven Development and Testing – A Case Study
http://modeldrivenarchitecture.esi.es/pdf/paper4-3.pdf
FiniteState Model-Based Testing User Interface
http://cxp.paterra.com/uspregrant20060005170.html
State-Based Testing
http://www.cs.helsinki.fi/u/paakki/software-testing-s05-Ch611.pdf
The UML and Testing : A Perfect Fit ?
http://www.fokus.gmd.de/u2tp/uml2002_panel/Slides/UML2002_Williams.pdf
HOTTest: A Model Based Test Design Technique for Enhanced Testing of Domain Specific Applications
http://www.glue.umd.edu/~avik/hottest.htm
Model-Based Software TestingTechnology Changes Management
http://www.csse.monash.edu.au/hons/se-projects/2002/drow1/thesis.pdf
Model-Driven Testing
http://heim.ifi.uio.no/~janoa/wmdd2004/presentations/alan.pdf
Model-Based Test Data Generation For Testing Integrated Modular Avionics
http://www.informatik.uni-bremen.de/~tsio/papers/Dagstuhl_Tsiolakis_20040906_slides.pdf
Testing Agile Requirements Models
http://www.sse.cs.tu-bs.de/publications/BPR_TestingAgileReqModels_JZUS_04.pdf
Specification-Based Testing of User Interfaces
http://paginas.fe.up.pt/~jpf/research/DSV-IS03.pdf
Top-Down Model-Driven Testing Reduces Risk
http://www.cotsjournalonline.com/home/article.php?id=100171
State Based Testing
http://www.donald-firesmith.com/Components/WorkUnits/Techniques/Testing/StateBasedTesting.html
Generalized Symbolic Execution For Model Checking and Testing
http://sdg.csail.mit.edu/pubs/2003/GSE.pdf
Model-Based Testing In Industry
http://www.agedis.de/documents/d431_1/AGEDIS%20in%20Industry.PDF
The AGEDIS Tools For Model Based Testing
http://wotan.liu.edu/docis/dbl/isstai/2004__129_TATFMB.htm
COTE – Component Testing using the Unified Modelling Language
http://www.ercim.org/publication/Ercim_News/enw48/jard.html
FORTEST Workshop On Model-Based Testing
http://www.jpbowen.com/pub/fortest04.pdf
Automated TTCN-3 Test Case Generation by Means of UML Sequence Diagrams and Markov Chains
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=
/dl/proceedings/&toc=comp/proceedings/ats/2003/1951/00/1951toc.xml&DOI=10.1109/ATS.2003.1250791
Towards Model-Based Test Generation and Validation For TTCN-3
http://www.tt-medal.org/results/deliverable.html
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing
http://www.springerlink.com/(cfrofsmrlyi2wsruckgu3fvx)/app/home/contribution.asp?referrer=
parent&backto=issue,20,25;journal,397,3334;linkingpublicationresults,1:105633,1
Model-Based Built-In Tests
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4F6D1S9-B&_coverDate=01%2F
01%2F2005&_alid=380734739&_rdoc=1&_fmt=&_orig=search&_qd=1&_cdi=13109&_sort=d&view=c&
_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=d477322f40965d85ae0e8b83f3799089
Software Testing Process Automation Based On UTP
http://www.cnsqa.com/cnsqa/jsp/html/spw/ppt/25104/Software%20Testing%20Process%20Automation%20
Based%20on%20UTP%20A%20Case%20Study.pdf
The UML 2.0 Testing Profile and Its Relation To TTCN-3
http://www.springerlink.com/(fmagfi45vgr3l32q1k2ski3z)/app/home/contribution.asp?referrer=parent&backto=issue,7,22;journal,1249,3334;linkingpublicationresults,1:105633,1
The UML 2.0 Testing Profile (U2TP)
http://www.item.ntnu.no/fag/ttm4160/Artikler/U2TP-conquest.pdf
Overview On TTCN-3
http://www.softwarefoerderung.de/projekte/tt-medal/folien_TTMEDAL.pdf
Next Generation Testing-- TTCN-3
http://www.tcs.com/Telecom/Resource_center/White_Papers.aspx
Model-Driven Testing With UML2.0
http://www.cs.kent.ac.uk/projects/kmf/mdaworkshop/submissions/Dai.pdf
Model-Based Testing of Reactive Systems: Advanced Lectures (Book)
http://www.springer.com/sgw/cda/pageitems/document/cda_downloaddocument/0,11855,0-0-45-153539-p52081580,00.pdf
Model Based System Test
http://www.ssw.uni-linz.ac.at/Teaching/DiplomaTheses/ModelBasedSystemTest/Aufgabe.pdf
U2tP and TTCN-3 For Model-Based Testing
http://www.int-evry.fr/tarot/summerschool2005/program.php?tarot=12e277acaf67cea7e8776ac5d8c6f516
Software Test Planning
http://www.wilsonmar.com/1tstplan.htm
From Design To Test With UML
http://citeseer.ist.psu.edu/726058.html
An Introduction To TTCN-3
http://www.itu.int/ITU-T/studygroups/com17/tutorials/tutorial-2005_10_13_ebner.ppt
14 Tools For Test Case Generation
http://www.cs.ru.nl/~lf/publications/BFS05.pdf
TTCN簡介
http://www.sciformosa.com.tw/products/TTCN.asp
U2TP 分析
http://www.zahui.com/html/13/36508.htm
http://www.chinaitpower.com/A/2003-02-15/50174.html
 

 友情链接: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
上海市信息委 || 上海市经委 || 上海市软件行业协会 || 上海构件库
TechTarget || 珞珈远望 || 浦华瑞信 || 北京SPIN || CCW聚焦华东 || 软件出口网 更多 
最近更新日 2005.06.28
建议使用IE5.0以上版本(800*600以上) 小字体 浏览
© 2000-2005 软件出口和信息技术传播中心 制作维护: ASTI Shanghai 沪ICP备05025271号
保留所有权益