The document provides several examples of phrases in Chinese that can be used when buying train tickets or discussing train travel. These include asking about ticket availability, inquiring about departure times, saying you need to buy a ticket soon, offering to accompany someone to the train, politely declining help, reassuring someone that accompanying them won't be troublesome, and explaining that you need to hurry to buy a ticket before they sell out. It also gives the phrase "我没办法" for saying something is not possible, and "好的" with various translations like "alright" or "okay" to indicate agreement.
The document provides several examples of phrases in Chinese that can be used when buying train tickets or discussing train travel. These include asking about ticket availability, inquiring about departure times, saying you need to buy a ticket soon, offering to accompany someone to the train, politely declining help, reassuring someone that accompanying them won't be troublesome, and explaining that you need to hurry to buy a ticket before they sell out. It also gives the phrase "我没办法" for saying something is not possible, and "好的" with various translations like "alright" or "okay" to indicate agreement.
「Automated Oracle Creation Support, or: How I Learned to Stop Worrying about ...nkazuki
研究室輪講用資料です.
発表論文は「Automated Oracle Creation Support, or: How I Learned
to Stop Worrying about Fault Propagation and Love Mutation Testing」で,ICSE2012に採択されています.
The document is an announcement for the 2012 Women's Conference being held at New Hope Missionary Baptist Church on September 28-29, 2012. The conference will feature three speakers discussing topics such as faith, roles of women, and purpose. Tickets are $125 with payment arrangements available. Continental breakfast and lunch will be provided. Contact information is given for ticket donations or inquiries.
The document discusses the author's plans to travel to Beijing from their hometown in northeast China. It has been 3 years since they last visited their hometown. They inquire about how long the train ride to Beijing takes and when they will arrive if they purchase a ticket for the 24th hour. The document also provides useful phrases for writing letters and expressing intentions to travel, pass through, or remember places.
Mutation Analysis for JavaScript Web Applicaiton Testing SEKE2013nkazuki
This slide is for a presentation at the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE'13) at Boston.
Abstract of the published paper:
When developers test modern web applications that use JavaScript, challenging issues lie in their event-driven, asynchronous, and dynamic features. Many researchers have assessed the adequacy of test cases with code coverage criteria; however, in this paper, we show that the code coverage-based approach possibly misses some faults in the applications. We propose a mutation analysis approach for estimating the fault-finding capability of test cases. We assume that developers can find overlooked fault instances and improve the test cases with the estimated capability. To create a set of faulty programs, i.e., mutants, we classify the JavaScript features in web applications and then define a comprehensive set of mutation operators. We conducted a case study on a real-world application and found that our approach supported the improvement of test cases to expose hand-seeded faults by an extra ten percent.
You can find the transcript used in the presentation from the link below:
https://docs.google.com/document/d/1CsqcYKyHZQL6Z7OkM_LVVyB-aMURMWl37lc03LOa4fI/edit?usp=sharing
Supporting View Transition Design of Smartphone Applications Using Web Templ...nkazuki
This slide is for presentation in International Conference on Web Engineering 2012 at Berlin.
The abstract from published paper is as follows;
Many developers have implemented native smartphone applications (NSAs) that have the same functionalities as those of existing web applications (WAs). They need to redesign web pages as views of NSAs owing to their constraints, such as compact displays. However, it can produce a NSA with low global navigability. We propose a framework that can support developers in designing view transitions of NSAs on the basis of WAs. We focus on web templates to leverage well-designed web page transitions. Our framework 1) extracts a page transition model from a WA to create candidate view transitions of a NSA, 2) provides an interface where developers design these views to solve the constraints, and 3) suggests design modifications to increase global navigability calculated by proposed criteria of navigation costs for users. After examining case studies, we concluded that our framework could support developers to design easy-to-navigate NSAs.
4. 問題:既存手法はカバレッジ低
テストケース自動生成の研究が盛ん[1][2]
→ しかし,複雑なオブジェクト指向の
プログラムに対してカバレッジが不十分
対象 カバレッジ
SvnBridge
56.2%
対象 カバレッジ xUnit
15.5%
Commons Math
61.6% Math.Net
62.8%
Commons Collections
53.0% QuickGraph
53.2%
[1]を用いた実験(著者たちによる) [2]を用いた実験 [3]
4
[1] C.Pacheso et al. Feedback-directed random test generation. ICSE 2007
[2] N. Tillmann and J. de Halleux. Pex-white box test generation for .NET. TAP 2008
[3] X.Xiao et al. Precise identification of problems for structural test generation. ICSE 2011
13. 2. 未到達分岐へ至るパス・値を計算
カバーしたい分岐から逆向きに SMTソルバ[5]で
満たすべき制約条件を収集 (記号的実行[4]) 制約を満たす
private pri(int n) { 値を求める
if (n * 3 < 20) {
// カバーしたい場所 pub(x)
} x> 0
} n == x + 5
n * 3 < 20
public pub(int x) {
if (x > 0) { x=1
解けない
pri(x + 5) 解ける
…… ③制約解決パズル
④オブジェクト変更パズル 13
[4] L. A. Clarke. A system to generate test data and symbolically execute programs. TSE, 1976
[5] B. Dutertre and L. de Moura. System description: Yices 1.0. In Proc. SMT-COMP, 2006.