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

软件工程领域:
软件架构
需求工程
项目管理
软件测试
软件外包
IT服务管理
嵌入式应用与系统
 
Static Testing
静态测试
Static Testing

http://www.softwaretest.force9.co.uk/cont413.htm

http://www.answers.com/topic/static-testing
Static Analysis
http://www.softwaretest.force9.co.uk/cont411.htm
Static Testing For Quality and Test Professionals
http://www.testinginstitute.com/display.php?id=stqtp_MH
Reviews Inspections and Static Testing (Course)
http://www.objecttraining.com.au/RIST.cfm?lblCourseCode='RIST'
Importance of Static Testing
http://elearning.tvm.tcs.co.in/Rwi/Rwi/2_1.htm
What Is The Difference Between Static and Dynamic Testing
http://www.robdavispe.com/free2/software-qa-testing-test-tester-2220.html
Static Testing Japan’s Top Five Coding Errors
http://www.toyo.co.jp/ss/customersv/doc/qac_clinic1.pdf
Automated Code Inspection at Early Stages Can Reduce Software Failures
http://www.business-standard.com/iceworld/storypage_link.php?chklogin=N&autono=198961&lselect=1%22dftnm=lmnu9%22dftindx=9
Improving The Testing Process By Program Static Analysis
http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991477
Static Testing, Modeling, Fault Injection
http://www.deeds.informatik.tu-darmstadt.de/teaching/courses/WS0405/Exercises/Exercise-10.pdf
Static Analysis
http://www.cs.uu.nl/docs/vakken/swe/slides/SWE04-StaticAnalysis.ppt
http://www.ics.uci.edu/~djr/classes/ics224/lectures/08-StaticAnalysis.pdf
http://openseminar.org/se/modules/184/index/screen.do
http://computing-dictionary.thefreedictionary.com/Static+code+analysis
http://www.klocwork.com/areas/static_analysis.asp
http://computing-dictionary.thefreedictionary.com/static+analysis
Static Code Analysis
http://www.answers.com/topic/static-code-analysis
http://www.1stcustomsoftware.com/Static_code_analysis-508.html
Lecture Notes On Static Analysis
http://www.cs.utah.edu/classes/cs7938/reading/static.pdf
Static Analysis For Security
http://www.cigital.com/papers/download/bsi5-static.pdf
Security and Safety Through Static Analysis
http://www.ercim.org/publication/Ercim_News/enw49/jensen.html
Intrusion Detection via Static Analysis
http://www.csl.sri.com/users/ddean/papers/oakland01.pdf
Static Analysis With PMD
http://www.onjava.com/pub/a/onjava/2003/02/12/static_analysis.html
Static Analysis Tools For C Code
http://spinroot.com/static/
Static Analysis Tools
http://www.testingfaqs.org/t-static.html
Software Metrics and Static Analysis
http://www.cs.queensu.ca/Software-Engineering/archive/static.html
Static Analysis of Executables To Detect Malicious Patterns
http://www.cs.wisc.edu/wisa/papers/safeTR1467/cj03.pdf
Putting Static Analysis To Work For Verification: A Case Study
http://www.cs.wisc.edu/wpis/papers/issta00.pdf
Static Analysis Using Eclipse Test and Performance Tools Platform (TPTP)
http://www.eclipsecon.org/2006/Sub.do?id=339
Static Source Code Analysis
http://www.nku.edu/~waldenj1/research/static_analysis.html
Static Analysis of Role-Based Access Control in J2EE Applications
http://cis.poly.edu/~gnaumovi/papers/j2ee-tavweb.pdf
A Gentle Introduction to Static Analysis and Logic Programming
http://www.cs.mu.oz.au/~schachte/lpanalysis.html
On the Complexity Analysis of Static Analyses
http://citeseer.ist.psu.edu/241040.html
Combined Static and Dynamic Analysis
http://research.nii.ac.jp/~cartho/papers/aiool-2005.pdf
JDBC Checker: A Static Analysis Tool For SQL/JDBC Applications
http://www.cs.ucdavis.edu/~su/publications/demo.pdf
Static Analysis 2006 (Course)
http://www.brics.dk/~mis/static.html
Static Analysis Lecture Notes
http://www.brics.dk/~mis/static.pdf
Validation of Critical Software By Static Analysis and Abstract Testing
http://www.di.ens.fr/~cousot/projects/DAEDALUS/public/seminar/programme.shtml
Where To Use Static Analysis Tools
http://www.securityinnovation.com/security-report/november/staticAnalysis3.htm
Static Program Analysis
http://www.inria.fr/rapportsactivite/RA2005/lande/uid7.html
http://www.irisa.fr/lande/jensen/spa.html
Static Analysis Reports
http://publib.boulder.ibm.com/infocenter/wbihelp/v6rxmx/index.jsp?topic=/com.ibm.btools.help.modeler.doc/doc/concepts/reports/
staticanalysisreports.html
Static Analysis For Dynamic XML
http://xml.coverpages.org/ChristensenPLANX2002.pdf
Type Inference and Static Analysis for Object-Oriented Software
http://www.cs.ucla.edu/~palsberg/typeflow.html
Evaluating and Tuning A Static Analysis To Find Null Pointer Bugs
http://www.cs.umd.edu/~jspacco/marmoset/papers/hovemeyer-paste2005.pdf
Static Analysis of Concurrent Systems
http://laser.cs.umass.edu/analysis.html
Fast Static Analysis Of C++ Virtual Function Calls
http://portal.acm.org/ft_gateway.cfm?id=236371&type=pdf
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
http://www.cs.umd.edu/projects/omega/subsectionstar3_1_2.html
XML Access Control Using Static Analysis
http://www.dsi.unive.it/~avp/murata.pdf
TPTP Static Analysis Tutorial Part 1: A Consistent Analysis Interface
http://www.eclipse.org/tptp/home/documents/process/development/static_analysis/TPTP_static_analysis_
tutorial_part1.html
Static Analysis and Deductive Verification of Programs
http://publications.lib.chalmers.se/records/full_record/18456.html
Static Analysis For Java In Eclipse
http://www.cs.purdue.edu/homes/jv/plditut/eclipse/index.html
Overview of Static Analysis In IBM RAD 6.0
http://librenix.com/?inode=6185
Improving Software Quality Through Static Analysis
http://www.qa-systems.com/concepts/Improving%20Software%20Quality%20through%20Static%20Analysis%201.0.1.pdf
Program Slicing
http://www.9iv.com/down/soft/2006.htm
http://www.ssw.uni-linz.ac.at/Research/Projects/ProgramSlicing/
http://www2.umassd.edu/SWPI/slicing/loyola/survey.pdf
http://bandera.projects.cis.ksu.edu/papers/slicing.shtml
A Survey of Program Slicing Techniques
http://citeseer.ist.psu.edu/tip95survey.html
The Unravel Program Slicing Tool
http://hissa.nist.gov/unravel/
The Wisconsin Program-Slicing Tool, Version 1.1
http://www.cs.wisc.edu/wpis/slicing_tool/
Wisconsin Program Slicing Project
http://www.cs.wisc.edu/wpis/html/
Dependence Graphs and Program Slicing
http://www.grammatech.com/research/slicing/slicingWhitepaper.html
An Overview of Program Slicing
http://www.dcs.kcl.ac.uk/staff/mark/sf.html
Using Program Slicing to Detect Security Problems
http://www.informatik.uni-hamburg.de/SVS/teaching/thesis/DT_program_slicing.php
Program Slicing and Model Checking
http://vv.cs.byu.edu/~msl/blog/archives/000585.html
Symbolic Execution and Program Testing
http://portal.acm.org/citation.cfm?id=360252
Generalized Symbolic Execution For Model Checking and Testing
http://sdg.csail.mit.edu/pubs/2003/GSE.pdf
Symbolic Execution As A Tool For Validation Of Specifications
http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-89-7-1.html
Using Symbolic Execution For Verifying Safety-Critical Systems
http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-89-7-1.html
A Symbolic Execution Based Approach For Verifying Safety Critical Software
http://www.lta.disco.unimib.it/homepage/giovanni.denaro/papers/TSE(submitted)2004.pdf
White Box Testing and Symbolic Execution
http://webcourse.cs.technion.ac.il/234321/Winter2004-2005/ho/WCFiles/white-box-symbolic.ppt
Test Generation Based On Symbolic Execution
http://www.csc.ncsu.edu/faculty/xie/she/index.html
A Unified Symbolic Execution System
http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/aiccsa/2001/1165/00/
1165toc.xml&DOI=10.1109/AICCSA.2001.934045
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=1009
Verifying Concurrent Systems With Symbolic Execution
http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=1009
Combining Symbolic Execution and Model Checking To Reduce Dynamic Program Analysis Overhead
http://www.unab.edu.co/editorialunab/revistas/rcc/pdfs/r61_art4_r.pdf
Using Symbolic Execution To Guide Test Generation
http://www3.interscience.wiley.com/cgi-bin/abstract/109792657/ABSTRACT?CRETRY=1&SRETRY=0
Verification of Java Programs using Symbolic Execution and Invariant Generation
http://citeseer.ifi.unizh.ch/pasareanu04verification.html
Combining Static Concurrency Analysis with Symbolic Execution
http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=53076
Peer Review
http://whatis.techtarget.com/definition/0,,sid9_gci936459,00.html
http://www.webtechniques.com/archives/2000/12/corp/
Peer Reviews
http://members.aol.com/ONeillDon2/peer-reviews.html
Peer Reviews In Software : A Little Help From Your Friends
http://www.informit.com/articles/article.asp?p=24370&rl=1
Peer Reviews – A Key Process Area For CMM Level 3
http://aelinik.free.fr/cmm/tr25_l3g.html
Peer Review Templates and Checklists
http://www.softwaredioxide.com/channels/ConView.asp?id=6309
Peer Reviews In Software: A Practical Guide (Book 2001)
http://www.amazon.com/exec/obidos/tg/detail/-/0201734850?v=glance
Implementing Peer Reviews
http://www.sasqag.org/QAIImplementing_Peer_Reviews.doc
Software and Peer Review
http://www.cindoc.csic.es/cybermetrics/articles/v4i1c3.html
On Peer Review
http://home.hiwaay.net/~taylorc/software/development/lessons/peer-review.html
Conducting Software Peer Reviews
http://www.pesg.com/conducting.html
Collaborative Peer Code Review
http://www.codehistorian.com/codecollab-overview.php
Structured Walkthrough
http://www.wordwebonline.com/en/STRUCTUREDWALKTHROUGH
http://itech.fgcu.edu/cis/slides/chapter13-b.ppt
http://serel.cis.famu.edu/~amoussa/cis4301/chapter04.ppt
Structured Walkthroughs
http://www.hep.wisc.edu/~jnb/structured_walkthroughs.html
http://www.comp.glam.ac.uk/Teaching/projectmanagement/qualitycontrol3f.htm
Structured Walkthroughs (Book 1989)
http://www.amazon.com/gp/product/0138552894/104-8064184-3529539?v=glance&n=283155
Structured Walkthrough (SWT) Process Guide
http://cio.doe.gov/ITReform/sqse/download/SW-V3-G1-0902.pdf
Structured Walkthroughsand Formal Technical Reviews
http://www.jodypaul.com/SWE/WT/walkthroughs.html
SDM Guide: Structured Walkthroughs and Technical Reviews
http://www.dep.state.pa.us/dep/deputate/oit/SDM/inHTML/HtmlFiles/SDM/StyleGuide/sg_walkthru.htm
Best Practices For Structured Walkthrough
http://www.recoverychronicles.com/MediaPR/eNewsletter/June2005/437/Article.asp?ID=41&FromNews=&ArticleID=437
http://www.strohlsystems.com/Software/_files/IncidentManager/StructuredWalkthrough.pdf
Managing a Structured Walkthrough with a Very Large Group
http://cwx.prenhall.com/bookbind/pubbooks/bp_hoffer_modernsad_3/chapter6/essay2/deluxe-content.html
Software Inspections and Structured Walkthroughs (Course)
http://www.alliancenetwork.ca/html/course.php?action=viewCourse&courseId=335
http://www-304.ibm.com/jct03001c/services/learning/ites.wss/ca/en?pageType=course_description&courseCode=QF150CE&country=ca&language=en
Formal Inspections
http://www.goldpractices.com/practices/fi/index.php
Software Formal Inspections
http://satc.gsfc.nasa.gov/fi/fipage.html
Software Formal Inspections Guidebook
http://satc.gsfc.nasa.gov/fi/gdb/fitext.txt
Software Inspection (Book 1993)
http://www.amazon.com/exec/obidos/tg/detail/-/0201631814?v=glance
The WWW Formal Technical Review Archive
http://www2.ics.hawaii.edu/~johnson/FTR/
Fagan Inspections
http://www2.ics.hawaii.edu/~johnson/FTR/Bib/bib-master.html#Fagan76
Parnas Active Design Review
http://www2.ics.hawaii.edu/~johnson/FTR/Bib/bib-master.html#Parnas85
Phased Inspections
http://www2.ics.hawaii.edu/~johnson/FTR/Bib/bib-master.html#Knight93
Inspections & Reviews
http://www.cs.toronto.edu/~sme/CSC444F/slides/L09-Inspections.pdf
Inspections
http://www.softwaretechnews.com/enews/enews3-inspections.html
Formal Inspection Checklist
http://www.cis.ksu.edu/~madhukar/mse/presentation2/formal_inspection.pdf
Peer Reviews and Inspections (Course)
http://www.swqual.com/training/peer_reviews.html
NASA Software Formal Inspection Process Standard
http://citeseer.ist.psu.edu/context/1521553/0
An Inspection Improvement Story
http://www.asq.org/pub/sqp/past/vol8_issue2/sqpv8i2vodde.pdf
Setting Up Inspection For Software Quality
http://www.us.design-reuse.com/articles/article2669.html
16 Critical Software Practices
http://www.spmn.com/16CSP.html
Tool Support For Fine-Grained Software Inspection
http://doi.ieeecomputersociety.org/10.1109/MS.2003.1207453
Experiences of Painless Improvements In Software Inspection
http://www.tol.oulu.fi/i3/1999/Iisakka_ESCOM-SCOPE_1999.pdf
Usability Inspection Methods (Book 1994)
http://www.amazon.com/exec/obidos/tg/detail/-/0471018775?v=glance
Fagan Inspection
http://www.answers.com/topic/fagan-inspection
The Fagan Defect-Free Process
http://www.mfagan.com/process.html
Fagan Style Software Inspection
http://www.isixsigma.com/dictionary/Fagan_Style_Software_Inspection-415.htm
Inspections Evolution and History: 1972-2001
http://www.sdm.de/download/sdm-konf2001/f_7_fagan.pdf
Experience With Fagan’s Inspection Method
http://www.cs.ubc.ca/local/reading/proceedings/spe91-95/spe/vol22/issue2/spe753ed.pdf
Phased Inspections and Their Implementation
http://citeseer.ist.psu.edu/context/418503/0
Using The Phased Inspection Checklist
http://www.tpub.com/content/ahapache/TM-1-1520-238-PM/css/TM-1-1520-238-PM_007.htm
Formal Technical Review Methods
http://www.osix.net/modules/article/print.php?id=186
Active Design Reviews: Principles and Practices
http://citeseer.ist.psu.edu/context/55952/0
Active Design Reviews
http://www.cs.drexel.edu/~spiros/teaching/CS575/papers/activereviews.ppt
静态测试
http://www.51testing.com/html/9/33.html
http://www.cnitblog.com/qiuyangzh/category/375.html
http://www.yteng.com/room2/Article_Show.asp?ArticleID=1557
需求定义的静态测试
http://www.yteng.com/room2/Article_Show.asp?ArticleID=1559
“白盒”静动测试两齐全
http://www.51testing.com/html/9/8.html
PMD 静态测试工具学习笔记
http://blog.yesky.com/blog/tiantian911/archive/2005/02/10/73379.aspx
PGRelief 静态测试和度量统计工具
http://www.fujitsu.com/cn/fnst/products/pgr/
5 类软件测试工具
http://www.cstc.org.cn/anounce/show/show_viewtest.asp?id=50
软件测试基本内容: 12 帖静态测试
http://www.sdp.com.cn/aread.php?aid=144
静态测试与同行评审
http://www.51testing.com/cgi-bin/redirect.php?fid=42&tid=7698&goto=nextnewset
CMM 关键过程域:同行评审
http://www2.ccw.com.cn/01/0141/c/0141c12_1.asp
CMM 三级 KPA 同行评审的一个实施方案
http://www.bonoy.com/a/index.php?name=PNphpBB2&file=viewtopic&t=531&sid=995067cd422fb515f4b156fc503568bc
同行评审过程描述
http://www.51testing.com/html/58/1159.html
评审与同行评审实践
http://51cmm.csai.cn/pubcmm/no154.htm
http://51cmm.csai.cn/PubCMM/NO154.pdf
同行评审常见问题解答
http://topic.yesky.com/topic/153/834984.html
技术评审
http://www.higet.com.cn/5publication/pop/w051203.htm
同行评审方针
http://www.xssc.com.sg/cmm-ossp/Policies/prpolicy.htm
关于Walkthrough
http://www.uigarden.net/forums/archive/index.php?t-339.html
同行评审与SQA 评审
http://www.xssc.com.sg/cmm-ossp/RM/requirements_peer_and_sqa_review.htm
同行评审指南
http://vip.wondertek.com.cn:23/process-asset/OSSP/PR/GUEDELINE/PPR_PR20.doc
 

 友情链接: 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号
保留所有权益